আমরা জানি যে যদি তবে পুরো পিএইচটি ধসে যায়। বহুবর্ষীয় শ্রেণিবিন্যাস আংশিকভাবে ভেঙে গেলে কী হবে? (বা কীভাবে বোঝবেন যে পিএইচ একটি নির্দিষ্ট পয়েন্টের উপরে এবং নীচে থেকে পড়ে যাবে?)
সংক্ষিপ্ত কথায়, এবং পরিণতি কী হবে ?
আমরা জানি যে যদি তবে পুরো পিএইচটি ধসে যায়। বহুবর্ষীয় শ্রেণিবিন্যাস আংশিকভাবে ভেঙে গেলে কী হবে? (বা কীভাবে বোঝবেন যে পিএইচ একটি নির্দিষ্ট পয়েন্টের উপরে এবং নীচে থেকে পড়ে যাবে?)
সংক্ষিপ্ত কথায়, এবং পরিণতি কী হবে ?
উত্তর:
আমার কাছে, এন পি = সি ও এন পি এর অন্যতম প্রাথমিক এবং আশ্চর্যজনক পরিণতি হ'ল সংক্ষিপ্ত প্রমাণগুলির অস্তিত্ব পুরো সমস্যার জন্য যেখানে তাদের সংক্ষিপ্ত প্রমাণ থাকতে হবে তা দেখতে খুব কঠিন is ("এই ধসের ফলে অন্যান্য জটিলতার কী কী প্রভাব পড়ে?" থেকে "এই পতনটি অবাক হওয়ার মতো অবাক হওয়ার মতো কি খুব মৌলিক, নিচে থেকে পৃথিবীর কারণগুলি কী?") থেকে এক ধাপ পিছনে নেওয়ার এই ধরণের বিষয়)
উদাহরণস্বরূপ, যদি , তবে প্রতিটি গ্রাফের জন্য যা হ্যামিলটোনিয়ান নয়, সে সত্যটির একটি সংক্ষিপ্ত প্রমাণ রয়েছে। একইভাবে গ্রাফগুলির জন্য যা 3-রঙিন নয়। একইভাবে জোড়া গ্রাফের জন্য যা আইসোমরফিক নয়। একইভাবে কোনও প্রস্তাবিত টোটোলজির জন্য ।
একটি বিশ্ব যেখানে সালে কারণ এই ধরনের একটি বিশ্বের - propositional tautologies প্রতিপাদন অসুবিধা যে কিছু সংক্ষিপ্ত tautologies দীর্ঘ প্রমাণাদি আছে নয় যে অনুলাপ একটি polynomially সংক্ষিপ্ত প্রমাণ আছে - কিন্তু কিছু হয় বরং যে অন্যান্য কারণ যে আমরা প্রমাণগুলি দক্ষতার সাথে খুঁজে পেতে পারি না।
আমরা যদি ধরে নিই , তবে অনুমানটি এলোমেলোভাবে শ্রেণীর পতনের কারণ হতে পারে: । যদিও এগুলি সমস্তই নিঃশর্তভাবে পি এর মধ্যে পড়ার অনুমান করা হয়েছে, তবে এটি সত্যই ঘটে কিনা তা এখনও উন্মুক্ত। যাই হোক না কেন, এন পি = সি ও এন পি নিজেই বোঝাচ্ছে না যে এই এলোমেলো শ্রেণীর পতন ঘটেছে।
যদি তারা না করে, অর্থাৎ আমাদের কমপক্ষে তবে কেবলমাত্র এন পি = সি ও এন পি অনুমানের সাথে এটির আরও একটি গুরুত্বপূর্ণ পরিণতি ঘটতে পারে: । এই যেখানে বলা Babai, Fortnow, নিশান এবং Wigderson, ফলে থেকে যা অনুসরণ করে যদি সব ইউনারী (ট্যালি) ভাষাগুলির পি এইচ পড়া পি , তারপর বি পি পি = পি । সুতরাং, যদি বি পি পি ≠ পি , তারপর তারা সমস্ত পড়তে পারে পি , যেমন এন পি = গ ণ এন পি ধৃষ্টতা বোঝা পি এইচ = এন পি । অতএব, এন পি - পি-তে অবশ্যই ট্যালি ভাষা থাকতে হবে। অবশেষে, টাল ভাষার উপস্থিতি E ≠ N E বোঝাতে সুপরিচিত ।
উপরের যুক্তিগুলি আকর্ষণীয় প্রভাবটি দেখায় যে অনুমানটি ধসের পরেও বাস্তবে বি পি পি ≠ পি এর বিভাজন শক্তিকে প্রশস্ত করে , কারণ একমাত্র পরেরটি E ≠ N ই বোঝায় না । এই "অসঙ্গতি" অনুমান B P P = P কে সমর্থন করে বলে মনে হচ্ছে ।
বাইরে ক্লাস গণনা করার জন্য দুটি সংজ্ঞা রয়েছে । একটিতে ভ্যালিয়েন্ট এবং অন্যটি টোডা দ্বারা সংজ্ঞায়িত হয়েছিল।
কোন শ্রেণীর জন্যসি, নির্ধারণ#সি=∪ একটি ∈ সি (#পি) একটি , যেখানে( # পি একটি)ফাংশন মানে nondeterministic বহুপদী টাইম টুরিং থাকার মেশিনে গ্রহণ পাথ বেড়ে চলেছেএকটি'তাদের ওরাকল s।
ভ্যালেন্টের সংজ্ঞা অনুসারে আমরা ইতিমধ্যে
যে কোনও শ্রেণিরC এর জন্য,#নির্ধারণ করুন। সিফাংশন শ্রেণী হতেচযেমন যে কিছুসি-গণনীয় দুই যুক্তি সম্পৃক্তআরকিছু বহুপদীপি, প্রতি স্ট্রিংxএটা ঝুলিতে যে:চ(এক্স)=| | {y| পি(|)এবং আর ( x , y ) } | | ।
তোদার সংজ্ঞা অনুসারে আমাদের যদি এবং কেবলমাত্র এন পি = সি ও এন পি ।
তারপরে যদি আমরাও ধরে নিই যে তবে আমাদের কাছে F P ≠ # P থাকবে ।
কের-ই কো দেখিয়েছেন যে এমন একটি অরাকল রয়েছে যা পি-কে-থ স্তরে পিএইচটি ভেঙে দেয়। "কের-আই কো: পুনরুদ্ধারকৃত বহুপক্ষীয় সময়ের হায়ারারচিগুলি যথাযথভাবে কে স্তর রয়েছে SI সিয়াম জে.কম্পুট। 18 (2): 392-408 (1989)"।