polynomial-time many-one reduction

C44231 concept

A polynomial-time many-one reduction is a function computable in polynomial time that transforms instances of one decision problem into instances of another such that the original instance is a "yes" instance if and only if the transformed instance is a "yes" instance.