এটি সুপরিচিত যে এনপি- প্রবলেমের কয়েকটি শ্রেণিতে দ্বৈতত্ত্বের উপপাদ্য রয়েছে, যা গ্যারান্টি দেয় যে ক্লাসের প্রতিটি কাজ হয় এনপি- কমপ্লিট বা পি-তে রয়েছে । এরকম সর্বাধিক পরিচিত ফলাফল হ'ল বেশ কয়েকটি জেনারালাইজেশন সহ স্কেফারের দ্বৈতত্ত্বের উপপাদ্য ।
আমার বোধগম্যতা হল যে এই দ্বিবিজ্ঞানের উপপাদ্য প্রমাণ করা সত্যিই সহজ নয়। আমি অবাক হই, যদি নির্দিষ্ট শ্রেণীর দ্বিবিজ্ঞানের উপপাদ্য থাকে তার জন্য যদি তুলনামূলকভাবে সংক্ষিপ্ত ব্যাখ্যা থাকে তবে অন্যেরা নেই? এই প্রয়োজনীয় তাত্ত্বিকগুলি সম্ভব করে তোলে এমন প্রয়োজনীয় সমস্যা কাঠামো কী? অথবা সম্ভবত এরূপ পরিষ্কারভাবে বোঝা যায় এমন কোনও কাঠামো নেই, বরং এটি প্রতিটি ক্ষেত্রেই একটি রহস্য যা ক্লাসটি দ্বৈতত্ত্বের উপপাদ্য করে বা না করে?
2
দুর্দান্ত প্রশ্ন। আমি মনে করি একটি স্বজ্ঞাততা হ'ল আমরা সমস্যাগুলি এমন এক শ্রেণীর মধ্যে সীমাবদ্ধ করছি যার সুন্দর বিবরণ রয়েছে।
—
কাভেহ
এটি কোনও উত্তর নয়, তবে সম্ভবত যেখানে উত্তর হতে পারে (তা নয়) নির্দেশ করে: সমস্যাগুলির শ্রেণিটি যদি সমস্ত (বা এমনকি এটির একটি নির্দিষ্ট উপসেট) অন্তর্ভুক্ত করার জন্য যথেষ্ট পরিমাণে থাকে তবে ল্যাডনারের উপপাদ্য প্রয়োগ হবে এবং সেখানে দ্বিধাবিভক্তি থাকবে না। তাই
—
লাদনারকে
ডিকোটোমিজগুলি ঘটে যখন ভাষাটি খুব মোটা হয় সূক্ষ্ম পার্থক্য তৈরি করতে।
—
অ্যান্ড্রেস সালামন