next up previous
Next: Cook's Theorem Up: NON DETERMINISTIC ALGORITHM Previous: Graph Coloring

Polynomial Reduction

figure147

T: 1) polynomial time transformation
2) answer preserving

eg. SAT tex2html_wrap_inline340 K-Clique

figure153

T: tex2html_wrap_inline342

tex2html_wrap_inline344
Clique size k = k number of clauses
T: polynomial in k and n.

SAT
length O(kn logn)
time for T: kn nodes
and tex2html_wrap_inline346 edges
total tex2html_wrap_inline348

If tex2html_wrap_inline350

NP-Complete (NPC)

A problem tex2html_wrap_inline314 is NP-complete if tex2html_wrap_inline354 and for every other problem tex2html_wrap_inline345

If tex2html_wrap_inline347



Sushil Prasad
Thu May 13 13:03:52 EDT 1999