কোএনপি-সম্পূর্ণ সমস্যাটির কি সুবেস এক্সটেনশিয়াল আকারের শংসাপত্র রয়েছে?

Question

এনপি! = CoNP ধরে নিই, তবে CoNP- সম্পূর্ণ সমস্যার জন্য কোনও বহুপদী আকারের শংসাপত্র নেই। তবে সুবেস এক্সনোশিয়াল সাইজ শংসাপত্র সম্পর্কে কী? বিশেষত কোস্যাট-এর জন্য, কোনও সূত্রকে অসন্তুষ্টিজনক প্রমাণ করার জন্য কি সাপযুক্ত এক্সটেনশিয়াল আকারের প্রমাণ রয়েছে? তা না হলে নেতিবাচক প্রমাণ কী? ধন্যবাদ

Comments

cstheory.stackexchange.com/questions/22022/…

— ইগোর শিংকার

Answer 1

এটি প্রুফ জটিলতার বিষয়, অর্থাৎ $\mathbf{co\text{-}NP}\text{-}complete$ সমস্যা $TAUT$ ( $= coSAT$ ) এর শংসাপত্রগুলির আকার ।

সংক্ষিপ্ত উত্তরটি: এটি উন্মুক্ত।

$Frege$$TAUT$

$\mathbf{coNP} \subseteq NTime(2^{o(n)})$

Comments

ধন্যবাদ। তাহলে এই সমস্যাটির সাধারণ বিশ্বাস কী? আমার ধারণা, ফলাফলটি সম্পর্কে সম্প্রদায় কিছুটা "অনুমান" করেছে।

— Xi Wu

$\mathbf{coNP} \not \subseteq NTime(2^{o(n)})$$\mathbf{coNP}=\mathbf{NP}$$\mathbf{coNP} \not \subseteq NTime(2^{o(n)})$

Answer 2

এর একটি সম্ভাব্য রায়ান উইলিয়ামের ফলাফল থেকে (যেহেতু আপনি তখন সার্কিটস্যাটের জন্য সহ-ননডেটেরিনিস্টিক আলগোরিদমকে তাত্পর্য হিসাবে দ্রুত চলমান)। আসলেই নেতিবাচক প্রমাণ নয়, তবে ...$NEXP \nsubseteq P/poly$

Comments

ধন্যবাদ। আপনার উত্তরটি ব্যাখ্যা করতে আমি ঝোঁক হিসাবে কোএনপি-সম্পূর্ণ সমস্যাটি সুব এক্সপেনশিয়াল আকারের প্রমাণ হিসাবে দেখায়, কারণ তখন আমাদের একটি সুন্দর বিচ্ছেদ ঘটে।

— Xi Wu