歸約 在可計算性理論與計算複雜性理論中所謂的歸約是將某個計算問題英语computational problem轉換為另一個問題的過程可用歸約法定義某些問題的複雜度類因轉換過程而異 以直覺觀之如果存在能有效解決問題B的算法也可以作為解決問題A的子程序則將問題A稱為可歸約到問題B因此求解A並不會比求解B更困難 一般寫作A m B通常也在符號下標使用的歸約類型m映射縮小p多項式縮減 將一組問題歸約到特定類型所產生的數學結構通常形成预序关系其等價類可用於定義求解難度和複雜度