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


13

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


উত্তর:


12

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

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

FregeTAUT

coNPNTime(2o(n))


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

coNPNTime(2o(n))coNP=NPcoNPNTime(2o(n))

7

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


ধন্যবাদ। আপনার উত্তরটি ব্যাখ্যা করতে আমি ঝোঁক হিসাবে কোএনপি-সম্পূর্ণ সমস্যাটি সুব এক্সপেনশিয়াল আকারের প্রমাণ হিসাবে দেখায়, কারণ তখন আমাদের একটি সুন্দর বিচ্ছেদ ঘটে।
Xi Wu
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.