17-time-complexity

# 17-time-complexity - Cook-Levin Theorem In the 1970’s...

This preview shows pages 1–4. Sign up to view the full content.

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

View Full Document

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

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Cook-Levin Theorem In the 1970’s Stephen Cook and Leonid Levin independently discovered that there are problems in NP whose complexity are related to all other problems in NP – these problems are called NP-complete problems. As we have seen, NP-complete problems are related to other NP problems via polynomial reductions. The first and most famous NP-complete problem discovered was a problem around the satisfiability of logic formulas. – p. 1/ ? SAT A Boolean formula is an expression involving Boolean variables ( x , y , etc. ) and operations ( ∧ , ∨ , ¬ , where ¬ x = x ), φ = ( x ∧ y ) ∨ ( x ∧ z ) . A Boolean formula is satisfiable if some assignment of true and false to the variables of the formula makes the formula evaluate to true . For example, the assignment x = false y = true z = false will make φ above evaluate to true. The satisfiability problem is to test whether a Boolean formula is satisfiable, that is SAT = {h φ i| φ is a satisfiable Boolean formula } . – p. 2/ ? SAT Theorem: (Cook-Levin) SAT ∈ NP-complete . Proof Sketch: For an NP-complete problem we need to show that it is in NP and that all A ∈ NP reduce to it. (a) It is easy to see that a truth assignment to the variables of a formula can be checked in polynomial time. (b) We need to show that A ≤ p SAT for all A ∈ NP . This is done by simulating the computations of a NTM deciding A on some string w using Boolean formulas such that w ∈ A iff f ( w ) ∈ SAT where f converts the string w into the Boolean formula f ( w ) . a 2 Note: In some sense this reinforces our notion that first-order logic is a powerful language to reason about complex problems. a For details, please see the Cook-Levin Theorem in the book....
View Full Document

## This note was uploaded on 10/03/2011 for the course CSC 544 taught by Professor Staff during the Spring '11 term at Rhode Island.

### Page1 / 14

17-time-complexity - Cook-Levin Theorem In the 1970’s...

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

View Full Document
Ask a homework question - tutors are online