Definition: Karp-Reduktion Eine Sprache AAA ist Karp reduzierbar auf eine Sprache BBB , wenn es eine Polynom-berechenbare Funktion ist f : { 0 , 1 } * → { 0 , 1 } *f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^* so dass für jeden xxx , x ∈ Ax∈Ax\in A , wenn und nur wenn f ( x ) ∈ Bf(x)∈Bf(x)\in B ....