1 / 20

CSCI 3160 Design and Analysis of Algorithms Tutorial 12

CSCI 3160 Design and Analysis of Algorithms Tutorial 12. Zhou Hong. Outline. Decision, Search and Optimization Class P & Class NP Reductions NP-Completeness. Problems in Different Forms. Decision Problem , the answer is simply “ YES ” or “ NO ”.

otylia
Download Presentation

CSCI 3160 Design and Analysis of Algorithms Tutorial 12

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. CSCI 3160 Design and Analysis of AlgorithmsTutorial 12 Zhou Hong

  2. Outline • Decision, Search and Optimization • Class P & Class NP • Reductions • NP-Completeness

  3. Problems in Different Forms Decision Problem, the answer is simply “YES” or “NO” Search Problem, find a solution satisfying some propertiesif one exists, else return it doesn’t exist Optimization Problem, each solution has an associated value, find a solution with best value (min / max)

  4. Three Forms of CLIQUE Usually, it’s enough to consider Decision Problem in complexity theory Decision Problem Given a graph G and a number k, decide whetherG has a clique of size k no harder than Search Problem Given a graph G and a number k, find a clique with size k in G if one exists, else return it doesn’t exist no harder than Optimization Problem Given a graph G, find a largestclique in G

  5. Language and Decision Problem are Equivalent Language A language is just a subset of , the set of all strings of bits Language to Decision Problem • Given a bit string , decide whether Decision Problem to Language • Given a Decision Problem • Encode all the instances into bit strings • The corresponding language contains all the strings of “YES” instances

  6. Class P V.S. Class NP • P stands for what? Polynomial! • Class P: Problems solvable in deterministic polynomial time • What about NP? • No Problem? • Not Polynomial (i.e. polynomial time unsolvable)? Nondeterministic Polynomial! • Class NP: Problems solvable in nondeterministic polynomial time

  7. Deterministic/Nondeterministic Polynomial time? • Where do these terms come from? • They’re based on different computation models • DeterministicTuring Machine • NondeterministicTuring Machine • We will NOT talk about Turing Machine in this course • Details of these computation models, please refer to the following course • CSCI3130 (Formal Languages and Automata Theory)

  8. An Equivalent Definition of Class NP Class NP: Problems checkable or verifiable in polynomial time Verification: • Given a “certificate” of a solution, we could verify that the certificate is correct, e.g. • Certificate for SAT would be an assignment • Certificate for Hamiltonian Cycle would be a sequence of n vertices, v1, v2, …, vn

  9. Solvable V.S. Verifiable • For a problem in P, we have polynomial time algorithm to solve it • For a problem in NP, we have polynomial time verification algorithm to verifya certificate

  10. Reductions Reduction: a transformation between instance α of Problem A and instance β of Problem B such that • The transformation takes polynomial time • Polynomial in size of the input instance • The answer for α is “YES” if and only if the answer for β is also “YES”

  11. Reductions Yes Yes α Polynomial Time Reduction β Polynomial Time Algorithm for Problem B No No Polynomial Time Algorithm for Problem A If problem A is reducibleto problem B in polynomial time, then which problem is easier? A Or B ? Problem B is at least as hard as ProblemA!

  12. Two Ways to Use Reductions Suppose Problem A is reducible to Problem B • Solve problem • If there exists efficient algorithm for Problem B, then we can solve Problem A efficiently • Prove Hardness • If Problem A is hard, then Problem B is also hard Efficient algorithms Problem A Reduction Problem B Hardness

  13. NP-Completeness Problem A is NP-complete if • Problem A is in NP • For anyProblem A’ in NP, A’ is reducibleto A in polynomial time • Class NPC: The class of all NP-complete problems, which is a subclass of NP • The hardestproblems in NP • Solve a problem in NPC, you can solve ALLproblems in NP

  14. NP = P ? If NPCP is not empty, then NP = P NP ? P NPC

  15. Proof of NP-Completeness Given a Problem A, prove that A is NP-complete Proof Scheme 1 • Show Problem A is in NP (easier part) • For all Problems in NP, reduce them to A in polynomial time • This has been done for 3SAT, the first NP-complete problem Proof Scheme 2 • Show Problem A is in NP (easier part) • For arbitrary problem A’ in NPC, reduce A’ to A in polynomial time • This would be much easier

  16. NP-completeness of Longest Path Longest Path (Decision Version) Given a graph G and an integer k, decide whether G contains a simple path of length greater than k • Part 1 (Longest Path in NP) Given any sequence of vertices, it’s easyto check the length and whether the sequence is a path, so Longest Path is in NP • Part 2 (reduce special case to general form) The Longest Path contains Hamiltonian Path (k = n) as a special case, so we can reduce Hamiltonian Path (known in NPC) to Longest Path directly

  17. Reduce SAT to 3SAT • What about reduce general form to special case? • This implies that even for the special case, the problem will NOT be easier • This may also give clues where the hardness lies in Given an instance φ(x) of SAT, we transform it to an instance φ’(x,y) of 3SAT Clause in φ(x) Set of clauses in φ’(x,y)

  18. Equivalence in Satisfiability () True False • Suppose is satisfied by , then some must be true • Set to true, and other to false, then the set of clauses are satisfied by and False False Clause in φ(x) True True Set of clauses in φ’(x,y)

  19. Equivalence in Satisfiability () Clause in φ(x) Set of clauses in φ’(x,y) • Suppose the set of clauses are satisfied by and , if some is true, then is satisfiedby • Otherwise, should be true, then is forced to be true and so on. Finally, is also forced to be true, the last clause is not satisfied, contradiction

  20. Thank You! Q & A ?

More Related