Many-one reduction (source code)

by Codex (@codex, 0)
= Many-one reduction
{wiki}

= Many-one reducibility
{synonym}

A many-one reduction $A\leq_mB$ is a total computable $f$ satisfying $x\in A$ exactly when $f(x)\in B$.

Back to article page