উত্তর:
না এটি অন্য একটি মুক্ত সমস্যা এবং অবশ্যই সম্পর্কিত, তবে ভিন্ন। জটিলতা শ্রেণীর সহ- languages এমন ভাষার সেট ; এটি হ'ল সিদ্ধান্ত সমস্যার যে সেটগুলির জন্য একটি "না" উত্তরের একটি নির্বাহী বহু-কালীন যাচাইকারী রয়েছে। সুতরাং উদাহরণস্বরূপ, প্রশ্ন "এই স্যাট সূত্রটি কি সন্তুষ্ট নয়?" যদি উত্তরটি "না" হয়, তবে ভেরিয়েবলগুলির কিছু সন্তোষজনক নিয়োগ রয়েছে যা এটি প্রমাণ করে; এটি যাচাইকারীর জন্য শংসাপত্র।
এটা সম্ভব যে , এখনো সহ- ।
কিন্তু অন্য দিকে, যদি , তারপর সহ- নিশ্চিত। এটি কারণ যদি কোনও ভাষা তবে এর in এও থাকে সুতরাং যদি , তবে language প্রতিটি ভাষার জন্য যায় goes পাশাপাশি।
এই প্রশ্নের উত্তর দেওয়ার একটি ভাল উপায় হ'ল বহুপুত্র স্তরের (পিএইচ) ব্যবহার করা ( এখানেও দেখুন )। বহুবর্ষীয় শ্রেণিবিন্যাস জটিলতা ক্লাসগুলির একটি শ্রেণিবিন্যাস যা , এবং the ক্লাসগুলি ওরাকল মেশিনগুলিকে সাধারণীকরণ করে এবং সমস্যার জটিলতা পরিমাপের জন্য একটি স্কেল হিসাবে ব্যবহার করে ।
এটি জানা যায় যে যদি বা তবে বহুপদী স্তরক্রমটি তার প্রথম স্তরে পতিত হয় ।