A polynomial-time mapping reduction from A to B is a function f that is computable in polynomial time such that, for every x, x ∈ A ⇔ f (x) ∈ B.