Professional Documents
Culture Documents
Pratyay Kuila
Dept. of Computer Science & Engineering
NIT Sikkim-737139
• A much more powerful model of computation, first proposed by
Alan Turing in 1936, called the Turing machine.
Finite
Control Turing machine model
Finite
Control Turing machine model
Theorem:
1. (Transitivity) If A ≤ p B and B ≤ p C, then A ≤ p C.
2. If there is a polynomial time reduction A ≤ p B and if B is in
class P, then A is also in P.
➢ We have to proof,
I. IS ∈ NP.
II. A ≤ p IS for every A ∈ NP.
x1 x2 x1
x3 x4 x3 x4 x2 x3
Clause-gadget Clause-gadget Clause-gadget
x1 x1 x2 x2 x3 x3 x4 x4
x1 x2 x1
x3 x4 x3 x4 x2 x3
Lemma: IS ≤ p VCP.
• The complement of an Independent Set (IS) is Vertex-cover.
• A graph G has an IS of size k, if and only if G has a vertex-cover of
size n-k (i.e., IS ≤ p VCP).
• Hence, VCP is NP-complete.
x2 x3 x4
x1
x1
x3 x2
x4
x3
x2 x3 x4
x1
x1
x3 x2
x4
x3
x2 x3 x4
x1
x1
x3 x2
x4
x3
C1 C2 C3 C4
xi = true. xi = false.
Cj
Cj
Dr. Pratyay Kuila, NIT Sikkim 47
➢ If ¬ xi is in clause Cj then connect the node 2j+1 and 2j of the
gadget xi with the clause node Cj. Again note the different
direction of the connection.
Cj
Cj
Dr. Pratyay Kuila, NIT Sikkim 48
➢ After adding all the edges corresponding to each
occurrence of xi or ¬xi in each clause, the construction of
the G is complete.
Keep Hardworking.
Take Care.