আমি যখন ডানা মোশকভিত্জকে অন্য বিষয়ের উত্তর পেয়েছি তখন আমার কাছে প্রশ্নটি এসেছিল ।
যাক একটি হতে এন পি ভাষা, দিন নিজ নিজ হতে এন পি সম্পর্ক। আমরা জানি যে এখানে কিছু বহুবচনীয় রয়েছে যা:
উপরের বিবৃতিতে কেবল এই জাতীয় p এর অস্তিত্ব প্রয়োজন তবে এটি এটিকে সুস্পষ্টভাবে নির্ধারণ করতে বাধ্য করে না । বিপরীতে, আমি জানি প্রতিটি এনপি ভাষার জন্য , পি ইতিমধ্যে পরিচিত:
- স্যাট-এর জন্য সাক্ষীর আকার সূত্রে প্রদর্শিত পরমাণুর সংখ্যার সমান।
- হ্যামিলটোনিসিটির জন্য, সাক্ষীর আকার হ'ল , যেখানে ভার্সেক্স সেট।
- গ্রাফ 3-রঙ জন্য, সাক্ষী আকার , যেখানে প্রান্তবিন্দু সেট।
সেখানে কি কোনও এনপি ভাষা রয়েছে (এমনকি একটি কৃত্রিম ভাষাও), যার জন্য আমরা জানি যে সাক্ষীর আকারের সাথে বেঁধে কিছু বহুপদী রয়েছে , তবুও আমরা স্পষ্টভাবে নির্ধারণ করতে পারি না ?