Professional Documents
Culture Documents
Vertex Cover NPC
Vertex Cover NPC
NP
P NPC
The 4-Step Proof
Vc
V
I
−→ u, v ∈ VI cannot be neighbors.
I The Independent Set (IS) decision problem:
Does G have an independent set of size k?
Prove Vertex Cover is N P-complete
Reduction
Known NP-C Class unknown
IS VC
Prove Vertex Cover is N P-complete (3)
V1
V1 V2
I
V2 V3 (V I)
J
V4 V3
(V c)
V4 V5
V5
V1
V1 V2
I
V2 V3
J (V I)
(V c) V4 V3
V4 V5
V5