উত্তরটি পরিমার্জন করতে প্রতিটি কে ≥ 1 এবং সি এর জন্য , হয়
* 3-স্যাট অনুসন্ধানে ˜ ও ( এন কে ) সার্কিট থাকে না, বা
* সময়ের সাথে ও 2 পি তে কিছু সমস্যা হয় (এবং সাক্ষীর আকার) অবধি সীমিত ~ হে ( ঢ k 2 ) io- নেই হে ( ঢ ট ( লগ ঢ ) গ ) সার্কিট (মানে IO অসীম প্রায়ই)।এস2পিকে ≥ 1গ
হে~( এন)ট)
হে2পিহে~( এন)ট2)ও ( এন)ট( লগএন )গ)
যদি 3-স্যাট অনুসন্ধানের সমস্যার জায়গায়, আমরা সিদ্ধান্তের সমস্যাটি টাইম ˜ ও ( এন কে 2 + কে ) ব্যবহার করি, এবং যদি আমরা 3-স্যাটের জন্য অভিধান সংক্রান্ত ন্যূনতম অ্যাসাইনমেন্টে বিট আইয়ের জন্য সমস্যাটি ব্যবহার করি , ˜ ও ( এন মিনিট ( কে 2 + কে , কে 3 ) ) পর্যাপ্ত।হে2পিহে~( এন)ট2+ কে)আমিহে~( এন)মিনিট ( কে2+ কে , কে3))
আইও- সার্কিটগুলির সাথে গণনাযোগ্য নয় এমন একটি সিদ্ধান্তের সমস্যা হ'ল কমপক্ষে N (তার বাইনারি অঙ্কগুলি ব্যবহার করে জিজ্ঞাসা করা) যা এন কে ⌊ ( লগ এন ) সি + সহ একটি সার্কিটের সত্য সারণী নয় is 1 ⌋ গেট তাহলে দ্বারা NP পি হয় / পলি, সমস্যা নিম্নলিখিত গঠিত একটি অকাট্য অন্যমনস্ক সাক্ষী রয়েছে:
(1) এন
(2) সার্কিট দেওয়া এন ' < এন , শো যে এন ' পর্যাপ্ত ছোট সার্কিট হয়েছে।ও ( এন)ট( লগএন )গ)এনএনট⌊ ( লগএন )সি + 1⌋
এন
এন'< এনএন'
(3) (কেবলমাত্র বাউন্ডের জন্য ব্যবহৃত) যাচাইকারী যা আমাদের প্রতিপক্ষের সার্কিট (2) কেবল ও ( 1 ) বারের জন্য চালাতে সক্ষম করে (রান প্রতি 1 বিট পাওয়ার জন্য)।হে~( এন)ট3)ও ( 1 )
একটি পৃথক নোটে, প্রতিটি জন্য (এমএ ∩ কোএমএ) / 1-এ সিদ্ধান্তের সমস্যা রয়েছে যা ও ( এন কে ) সার্কিট নেই। '/ 1' এর অর্থ হল যে মেশিনটি কিছুটা পরামর্শ দেয় যা কেবল ইনপুট আকারের উপর নির্ভর করে। এছাড়াও, মার্লিন প্রেরিত স্ট্রিংগুলি কেবল ইনপুট আকারের উপর নির্ভর করতে বেছে নেওয়া যেতে পারে (এই সীমাবদ্ধতার সাথে এমএ ও 2 পি এর একটি উপসেট ), এবং পরামর্শ জটিলতা Σ পি 2 । প্রমাণটি (সান্থানাম ২০০ 2007) আইপি = পিএসপিএসি এবং পিএসপিএসিপি / পলি ⇒ পিএসপিএসিই = এমএকে সাধারণভাবে ব্যবহার করে একটি নির্দিষ্ট আচরণযুক্ত পিএসপিএসিই-সম্পূর্ণ সমস্যা ব্যবহার করে এবং ইনপুটগুলিকে প্যাড করে ন্যূনতম সার্কিট মাপ পেতে থাকে যা প্রায়শই এন কে + 1 এর মধ্যে থাকে inটও ( এন)ট)হে2পিΣপি2এনকে + 1এবং , এ জাতীয় এন এর পর্যাপ্ত উদাহরণ সনাক্ত করার জন্য পরামর্শ ব্যবহার করে এবং এই এনগুলির জন্য , মের্লিনকে এ জাতীয় সার্কিট তৈরি করে প্যাডযুক্ত সমস্যা সমাধান করুন।এনকে + 2এনএন