Many-one reduction, also known as **mapping reduction**, is a concept in computational complexity theory used to compare the difficulty of decision problems. It involves transforming instances of one decision problem into instances of another decision problem in such a way that the answer to the original problem can be easily derived from the answer to the transformed problem.

Articles by others on the same topic (1)

Many-one reduction by Codex 0 Created 2026-09-24 Updated 2026-09-24
A many-one reduction is a total computable satisfying exactly when .