1 / 13

Polynomial Time Reductions

Polynomial Time Reductions. Polynomial Computable function :. For any computes in polynomial time. Language A is polynomial time reducible to language B if there is a polynomial computable function such that:. Theorem:. Suppose that is polynomial reducible to .

dewoody
Download Presentation

Polynomial Time Reductions

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Polynomial Time Reductions Polynomial Computable function : For any computes in polynomial time

  2. Language A is polynomial time reducible to language B if there is a polynomial computable function such that:

  3. Theorem: Suppose that is polynomial reducible to . If then . Proof: Let be the machine to accept Machine to accept in polynomial time: On input : 1. Compute 2. Run on input

  4. 3CNF formula: Each clause has three literals Language: 3SAT ={ : is a satisfiable 3CNF formula}

  5. Clique: A 5-clique CLIQUE = { : contains a -clique}

  6. Theorem: 3SAT is polynomial time reducible to CLIQUE Proof: give a polynomial time reduction of one problem to the other

  7. NP-Completeness A problem is NP-complete if: • It is in NP • Every NP problem is reduced to it (in polynomial time)

  8. Observation: If we can solve any NP-complete problem in Deterministic Polynomial Time (P time) then we know:

  9. Observation: If we prove that we cannot solve an NP-complete problem in Deterministic Polynomial Time (P time) then we know:

  10. Cook’s Theorem: The satisfiability problem is NP-complete Proof: Convert a Non-Deterministic Turing Machine to a Boolean expression in conjunctive normal form

  11. Other NP-Complete Problems: • The Traveling Salesperson Problem • Vertex cover • Hamiltonian Path All the above are reduced to the satisfiability problem

More Related