বহুবর্ষীয় সময় হ্রাস (কুক হ্রাস) ধারণাটি একটি খুব স্বজ্ঞাত ধারণাটির একটি বিমূর্ততা: একটি ভিন্ন সমস্যার জন্য অ্যালগরিদম ব্যবহার করে দক্ষতার সাথে কোনও সমস্যা সমাধান করা।
যাইহোক, তত্ত্বে -completeness, ধারণা এন পি -hardness ম্যাপিং হ্রাস (Karp কমানোর) মাধ্যমে দখল করা হয়। "সীমাবদ্ধ" হ্রাসের এই ধারণাটি অনেক কম স্বজ্ঞাত (কমপক্ষে আমার কাছে)। এমনকি এটি কিছুটা সংশ্লেষিত বলে মনে হয়, কারণ এটি কঠোরতার কিছুটা কম স্বজ্ঞাত ধারণা তৈরি করে; এর মাধ্যমে আমি এই ঘটনার উল্লেখ করছি যে এন পি তুচ্ছভাবে সি ও - এন পি থাকে না । যদিও জটিলতার তত্ত্বে আমরা এই ধারণার প্রতি খুব অভ্যস্ত যে এস এ টি এর মতো কোনও সমস্যা সমাধান করতে সক্ষম হওয়া বোঝায় না যে আমরা solve এস এ টি সমাধান করতে পারি, প্রাকৃতিক সেটিংগুলিতে (যা কুক হ্রাস দ্বারা ধারণ করা হয়) ধরে নেওয়া, সমাধান করার জন্য আমাদের কাছে একটি অ্যালগরিদম রয়েছে , আমরা কেবল এস এ টির জন্য অ্যালগোরিদম চালিয়ে এবং বিপরীত দিকে ফিরে ¯ S A T সমাধান করতে পারি ।
আমার প্রশ্ন হ'ল কমপ্লিটনেস তত্ত্বের জন্য আমাদের কার্পের হ্রাস কেন ব্যবহার করা উচিত ? এটি কোন স্বজ্ঞাত ধারণাটি ধারণ করে? এটি বাস্তব জগতে "গণনার কঠোরতা" বোঝার উপায়ের সাথে কীভাবে সম্পর্কিত?