多対一還元(たたいいちかんげん、many-one reduction)とは、計算理論と計算量理論におけるある種の操作の名前。何らかの決定問題を他の決定問題に変換する働きを持つ。 多対一還元はチューリング還元の特殊ケースであり、チューリング還元よりも弱い(多対一還元可能であるという主張はチューリング還元可能よりも強い)。多対一還元においては、オラクルの使用(神託機械参照)は一度だけ、そして最後にだけ許される。 多対一還元は1944年、エミール・ポストによって初めて導入された。1956年、Norman Shapiro は同じ概念を strong reducibility という名前で適用した。