T: 1) polynomial time transformation
2) answer preserving
eg. SAT
K-Clique
T:
Clique size k = k number of clauses
T: polynomial in k and n.
SAT
length O(kn logn)
time for T: kn nodes
and
edges
total
If
NP-Complete (NPC)
A problem
is NP-complete if
and
for every other problem
If