20 likes | 187 Vues
The NP-Complete Landscape. All Turing machines in NP. Cook-Levin Theorem. SAT (cnf). L. CD. 3SAT. 3COLOR. CD. CD. CD. VC. CLIQUE. HAMPATH. L. R. Reduction Methods. UHAMPATH. CD = Component Design R = Restriction L = Local Replacement. HAMCIRC.
E N D
The NP-Complete Landscape All Turing machines in NP Cook-Levin Theorem SAT (cnf) L CD 3SAT 3COLOR CD CD CD VC CLIQUE HAMPATH L R Reduction Methods UHAMPATH CD = Component Design R = Restriction L = Local Replacement HAMCIRC