2
লেভিন হ্রাসের মতো করপ হ্রাস কি সমান
সংজ্ঞা: কার্প হ্রাস একটি ভাষা একটি ভাষা কার্প হ্রাসযোগ্য হয় যদি একটি বহুবর্ষীয় সময়ের গণনীয় ফাংশন থাকে তবে যেমন প্রতিটি , যদি এবং কেবলমাত্র ।AAABBBf:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^*xxxx∈Ax∈Ax\in Af(x)∈Bf(x)∈Bf(x)\in B সংজ্ঞা: লেভিন হ্রাস সার্চ সমস্যা লেভিন একটি সার্চ সমস্যা রূপান্তরযোগ্য হয় আছে যদি বহুপদী সময় ফাংশন যে Karp হ্রাস থেকে এবং বহুপদী টাইম …