অনুমান করুন যে এনপি = সহ-এনপি এবং বহুপদী একটি 3-সিএনএফ উদাহরণ জন্য অসন্তুষ্টির প্রমাণের দৈর্ঘ্যকে সীমাবদ্ধ করে । তাহলে দৈর্ঘ্যের এর জন্য অসন্তুষ্টির কোনও প্রমাণ কী রূপ নিতে পারে তার কোনও ফলাফল রয়েছে ?
উদাহরণস্বরূপ, এই জাতীয় প্রমাণের জন্য কি উদাহরণস্বরূপ, অসীম কাঠামোর উপর দ্বিতীয়-আদেশের যুক্তির সম্পূর্ণ শক্তি ব্যবহার করতে হবে (আমি সচেতন যে প্রস্তাবটি প্রমাণ করার জন্য - যে কোনও সূত্র অপ্রত্যাশিত) দ্বিতীয়-ক্রমের যুক্তিতে প্রকাশ করা যেতে পারে সীমাবদ্ধ কাঠামো তবে প্রমাণের মধ্যবর্তী পদক্ষেপগুলির জন্য সীমাহীন কাঠামোর উপর যুক্তির প্রয়োজন হতে পারে)।
যেহেতু সেকেন্ড-অর্ডার যুক্তির জন্য কার্যকর, সম্পূর্ণ এবং সাউন্ড সিস্টেমের অনুক্রমের কোনও বিকল্প নেই, এনপি - কো-এনপি প্রমাণের জন্য কি এই জাতীয় ফলাফল ব্যবহার করা সম্ভব হবে ?
2
সম্পর্কিত (তবে সঠিক সদৃশ নয়): cstheory.stackexchange.com/questions/3064/…
—
ইতো