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?
                            
                        
                    