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