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