08 - NP-complete partitioning problems- 3-dimensional matching

08 - NP-complete partitioning problems- 3-dimensional matching

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

View Full Document Right Arrow Icon
3/26/08 - NP-complete partitioning pro. .. Reduction from 3SAT to HAM. CYCLE Theorem. HAM CYCLE is NP-Complete Proof. (1) It’s in NP. Show me the cycle, and I can verify it in O(n) time. (2) The reduction runs in poly(n) time. Let b = length of each path = 3m + 3 O(b) work to construct each path. O(1) work to construct each clause gadget. O(1) work to create s, t and their edges. Total work is O(bn + m + 1) n = # vars m = # clauses = O(nm) (3) If 3SAT instance ϕ is satisFable, a Ham. cycle Proof. By construction (4) If a Ham. cycle in G, then ϕ has a satisfying assignment. (A) DeFne a notion of “intended cycles” 28-1 28
Background image of page 1

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

View Full DocumentRight Arrow Icon
(B) Show every Ham. cycle is intended. (C) From an intended Ham cycle you get a sat. assignment. Def. A cycle in G is intended if (a) 1 i < n the cycle visits every vtx in P i before visiting ±rst vertex of P i+1 (b) c i the cycle arrives at c i from some path P j and leaves c i by returning to P j . Prop. Every Hamiltonian cycle in G is an intended cycle.
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 10/02/2008 for the course CS 482 taught by Professor Kleinberg during the Spring '08 term at Cornell University (Engineering School).

Page1 / 4

08 - NP-complete partitioning problems- 3-dimensional matching

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

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