歸約

歸約（英文：reduction）喺運算理論上係指將一個複雜嘅問題 $A$ 轉化成一個比較簡單嘅問題 $B$ 嘅演算法。

如果 $A$ 同 $B$ 嘅答案一樣，而解 $B$ 容易過（要嘥嘅時間同空間少啲）。