3SAT2VC - The following appears to be a little hand waving....

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
The following appears to be a little hand waving. But it's not really. It is, though, necessary to sit down and draw some pictures and follow it through. Not all "proofs" can be simply "read." Some take work to follow. 3–SAT Vertex Cover (VC) Let I 3-SAT be an arbitrary instance of 3-SAT. For integers n and m, U = {u 1 , u 2 , …, u n } and C i = [z i1 , z i2 , z i3 } for 1 ≤ i ≤ m, where each z ij is either a u k or u k ' for some k. Construct an instance of VC as follows. For 1 ≤ i ≤ n construct 2n vertices, u i and u i ' with an edge between them. For each clause C i = [z i1 , z i2 , z i3 }, 1 ≤ i ≤ m, construct three vertices z i1 , z i2 , and z i3 and form a "triangle on them. Each z ij is one of the Boolean variables u k or it's complement u k '. Draw an edge between z ij and the Boolean variable (whichever it is) Each z ij has degree 3. Finally, set k = n+2m. Theorem. The given instance of 3-SAT is satisfiable if and only if the constructed instance of VC has a vertex cover with at most k vertices. Proof:
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 07/14/2011 for the course COT 4610 taught by Professor Dutton during the Fall '10 term at University of Central Florida.

Page1 / 2

3SAT2VC - The following appears to be a little hand waving....

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online