এটি সর্বজনবিদিত যে অনেক এনপি-সম্পূর্ণ সমস্যা পর্যায় স্থানান্তর প্রদর্শন করে । আমি এখানে অ্যালগরিদমের তুলনায় ইনপুটটির কঠোরতার চেয়ে ভাষার কন্টেন্টের সাথে শ্রদ্ধার সাথে পর্যায়ক্রমে আগ্রহী।
ধারণাটি দ্ব্যর্থহীন করার জন্য, আসুন আমরা এটি নীচের হিসাবে আনুষ্ঠানিকভাবে সংজ্ঞায়িত করি। যদি একটি ভাষা পর্যায়ক্রমে রূপান্তর প্রদর্শন করে (নিয়ন্ত্রণের ক্ষেত্রে সম্মত হয়), যদি
একটি অর্ডার প্যারামিটার , যা উদাহরণের একটি বহুপদী সময় গণনাযোগ্য, আসল মূল্যবান ফাংশন।
একটি প্রান্তিক । এটি হয় প্রকৃত ধ্রুবক, অথবা এটি n = | এর উপর নির্ভর করে এক্স | , যা, t = t ( ।
আর ( এক্স ) < টি সহ প্রায় প্রতিটি জন্য আমাদের x ∈ এল থাকে । ( প্রায় প্রতিটি উপায়ে এখানে: সমস্ত ব্যতীত অনেকগুলি, অর্থাত্ অনুপাতটি 1 এর নিকটবর্তী হয়, এন)।
আর ( x ) > টি সহ প্রায় প্রতিটি জন্য আমাদের x ∉ এল থাকে ।
জন্য প্রায় প্রতিটি , এটা যে ঝুলিতে দ ( এক্স ) ≠ টি । (এটি হ'ল স্থানান্তর অঞ্চলটি "সংকীর্ণ"।)
অনেক প্রাকৃতিক এনপি-সম্পূর্ণ সমস্যা এই অর্থে পর্যায়ক্রমে রূপান্তরিত করে। উদাহরণগুলি হ'ল স্যাট এর বিভিন্ন রূপ, সমস্ত একঘেয়েমি গ্রাফ বৈশিষ্ট্য, বিভিন্ন সীমাবদ্ধতা সন্তুষ্টির সমস্যা এবং সম্ভবত আরও অনেকগুলি।
প্রশ্ন: কিছু "সুন্দর" ব্যতিক্রম কোনটি? সেখানে একটি প্রাকৃতিক দ্বারা NP-সম্পূর্ণ সমস্যা, যা (সম্ভবত) হয় না উপরে অর্থে একটি ফেজ পরিবর্তন আছে?