زیروندی

به‌طور شهودی، مسئلهٔ A قابل کاهش به مسئلهٔ B است اگر الگوریتم کارای حل مسئله ی B بتواند به عنوان یک زیر روال برای حل کارای مسئلهٔ A نیز استفاده شود. اگر این اتفاق بیفتد، حل A نمی‌تواند از حل B مشکلتر باشد. ما معمولاً A ≤m B را با زیروندی در ≤ می‌نویسیم که نوع کاهش استفاده شده را نشان دهیم (m:کاهش نگاشت، p : کاهش چندجمله‌ای)