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