多對一歸約A≤mB表示存在total computable f，使每個x皆滿足x∈A恰當f(x)∈B。atlas-many-one-reduction · canonical_mko多對一歸約前置節點決定問題函數映射函數合成Turing機判定模型