NPC problemer

CIRCUIT-SAT SAT 3-CNF-SAT CLIQUE VERTEX-COVER Hamiltonian cycle problemet (HAM-CYCLE) Traveling Salesman Problem (TSP) SUBSET-SUM