Definición: Reducción de Karp Un lenguaje es Karp reducible a un lenguaje si hay una función computable de tiempo polinomial f: \ {0,1 \} ^ * \ rightarrow \ {0,1 \} ^ * tal que para cada x , x \ in a si y sólo si f (x) \ in B .BAAABBB x x ∈ A f ( x ) ∈
12
¿Es Karp Reduction idéntica a Levin Reduction?