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