CSE 326: Data Structures Lecture #20 Really, Really Hard Problems Henry Kautz Winter Quarter 2002.

Slides:



Advertisements
Similar presentations
Analysis of Algorithms
Advertisements

Reducibility Class of problems A can be reduced to the class of problems B Take any instance of problem A Show how you can construct an instance of problem.
1 NP-completeness Lecture 2: Jan P The class of problems that can be solved in polynomial time. e.g. gcd, shortest path, prime, etc. There are many.
CPE702 Complexity Classes Pruet Boonma Department of Computer Engineering Chiang Mai University Based on Material by Jenny Walter.
CSE332: Data Abstractions Lecture 27: A Few Words on NP Dan Grossman Spring 2010.
Complexity Theory CSE 331 Section 2 James Daly. Reminders Project 4 is out Due Friday Dynamic programming project Homework 6 is out Due next week (on.
1 CSE 326: Data Structures: Graphs Lecture 22: Monday, March 3 rd, 2003.
1 CSE 417: Algorithms and Computational Complexity Winter 2001 Lecture 21 Instructor: Paul Beame.
Approximation Algorithms Lecture for CS 302. What is a NP problem? Given an instance of the problem, V, and a ‘certificate’, C, we can verify V is in.
The Theory of NP-Completeness
CSE 326: Data Structures NP Completeness Ben Lerner Summer 2007.
Analysis of Algorithms CS 477/677
CSE 421 Algorithms Richard Anderson Lecture 27 NP Completeness.
Circuits CSE 373 Data Structures Lecture 22. 3/12/03Circuits - Lecture 222 Readings Reading ›Sections and 9.7.
Chapter 11: Limitations of Algorithmic Power
Chapter 11 Limitations of Algorithm Power Copyright © 2007 Pearson Addison-Wesley. All rights reserved.
Complexity ©D.Moshkovitz 1 Paths On the Reasonability of Finding Paths in Graphs.
P, NP, and NP-Complete Suzan Köknar-Tezel.
The Theory of NP-Completeness 1. Nondeterministic algorithms A nondeterminstic algorithm consists of phase 1: guessing phase 2: checking If the checking.
Programming & Data Structures
NP-Complete Problems CSC 331: Algorithm Analysis NP-Complete Problems.
CSCE350 Algorithms and Data Structure
Computational Complexity Polynomial time O(n k ) input size n, k constant Tractable problems solvable in polynomial time(Opposite Intractable) Ex: sorting,
1 The Theory of NP-Completeness 2012/11/6 P: the class of problems which can be solved by a deterministic polynomial algorithm. NP : the class of decision.
Nattee Niparnan. Easy & Hard Problem What is “difficulty” of problem? Difficult for computer scientist to derive algorithm for the problem? Difficult.
Complexity Classes (Ch. 34) The class P: class of problems that can be solved in time that is polynomial in the size of the input, n. if input size is.
Advanced Algorithm Design and Analysis (Lecture 13) SW5 fall 2004 Simonas Šaltenis E1-215b
Tonga Institute of Higher Education Design and Analysis of Algorithms IT 254 Lecture 8: Complexity Theory.
CSE 326: Data Structures NP Completeness Ben Lerner Summer 2007.
CSC 172 P, NP, Etc. “Computer Science is a science of abstraction – creating the right model for thinking about a problem and devising the appropriate.
CSCI 2670 Introduction to Theory of Computing November 29, 2005.
Week 10Complexity of Algorithms1 Hard Computational Problems Some computational problems are hard Despite a numerous attempts we do not know any efficient.
CSE 024: Design & Analysis of Algorithms Chapter 9: NP Completeness Sedgewick Chp:40 David Luebke’s Course Notes / University of Virginia, Computer Science.
NP-COMPLETENESS PRESENTED BY TUSHAR KUMAR J. RITESH BAGGA.
1 Lower Bounds Lower bound: an estimate on a minimum amount of work needed to solve a given problem Examples: b number of comparisons needed to find the.
CSE332: Data Abstractions Lecture 24.5: Interlude on Intractability Dan Grossman Spring 2012.
1 The Theory of NP-Completeness 2 Cook ’ s Theorem (1971) Prof. Cook Toronto U. Receiving Turing Award (1982) Discussing difficult problems: worst case.
CSE 589 Part VI. Reading Skiena, Sections 5.5 and 6.8 CLR, chapter 37.
CSE373: Data Structures & Algorithms Lecture 22: The P vs. NP question, NP-Completeness Lauren Milne Summer 2015.
1 Chapter 34: NP-Completeness. 2 About this Tutorial What is NP ? How to check if a problem is in NP ? Cook-Levin Theorem Showing one of the most difficult.
NP-COMPLETE PROBLEMS. Admin  Two more assignments…  No office hours on tomorrow.
CSE 421 Algorithms Richard Anderson Lecture 27 NP-Completeness and course wrap up.
Lecture 6 NP Class. P = ? NP = ? PSPACE They are central problems in computational complexity.
NP-Complete problems.
Lecture 12 P and NP Introduction to intractability Class P and NP Class NPC (NP-complete)
NP-Completeness (Nondeterministic Polynomial Completeness) Sushanth Sivaram Vallath & Z. Joseph.
CS 3343: Analysis of Algorithms Lecture 25: P and NP Some slides courtesy of Carola Wenk.
CSE 589 Part V One of the symptoms of an approaching nervous breakdown is the belief that one’s work is terribly important. Bertrand Russell.
Fundamentals of Informatics Lecture 14 Intractability and NP-completeness Bas Luttik.
CS6045: Advanced Algorithms NP Completeness. NP-Completeness Some problems are intractable: as they grow large, we are unable to solve them in reasonable.
Lecture 25 NP Class. P = ? NP = ? PSPACE They are central problems in computational complexity.
1 CSE 326: Data Structures: Graphs Lecture 24: Friday, March 7 th, 2003.
1 CPSC 320: Intermediate Algorithm Design and Analysis July 30, 2014.
NPC.
CSC 413/513: Intro to Algorithms
1 Ch 10 - NP-completeness Tractable and intractable problems Decision/Optimization problems Deterministic/NonDeterministic algorithms Classes P and NP.
Lecture. Today Problem set 9 out (due next Thursday) Topics: –Complexity Theory –Optimization versus Decision Problems –P and NP –Efficient Verification.
CSE 421 Algorithms Richard Anderson Lecture 27 NP-Completeness Proofs.
The Theory of NP-Completeness 1. Nondeterministic algorithms A nondeterminstic algorithm consists of phase 1: guessing phase 2: checking If the checking.
COSC 3101A - Design and Analysis of Algorithms 14 NP-Completeness.
1 CSE 326: Data Structures: Graphs Lecture 23: Wednesday, March 5 th, 2003.
CSE 332: NP Completeness, Part II Richard Anderson Spring 2016.
CSC 172 P, NP, Etc.
The Theory of NP-Completeness
NP-completeness Ch.34.
Richard Anderson Spring 2016
Richard Anderson Lecture 26 NP-Completeness
Lecture 2-2 NP Class.
Chapter 11 Limitations of Algorithm Power
The Theory of NP-Completeness
Presentation transcript:

CSE 326: Data Structures Lecture #20 Really, Really Hard Problems Henry Kautz Winter Quarter 2002

Today’s Agenda Solving pencil-on-paper puzzles –A “deep” algorithm for Euler Circuits Euler with a twist: Hamiltonian circuits Hamiltonian circuits and NP complete problems The NP =? P problem –Your chance to win a Turing award! –Any takers? Weiss Chapter 9.7 W. R. Hamilton ( ) L. Euler ( )

It’s Puzzle Time! Which of these can you draw without lifting your pencil, drawing each line only once? Can you start and end at the same point?

Historical Puzzle: Seven Bridges of Königsberg KNEIPHOFF PREGEL Want to cross all bridges but… Can cross each bridge only once (High toll to cross twice?!)

A “Multigraph” for the Bridges of Königsberg Find a path that traverses every edge exactly once

Euler Circuits and Tours Euler tour: a path through a graph that visits each edge exactly once Euler circuit: an Euler tour that starts and ends at the same vertex Named after Leonhard Euler ( ), who cracked this problem and founded graph theory in 1736 Some observations for undirected graphs: –An Euler circuit is only possible if the graph is connected and each vertex has even degree (= # of edges on the vertex) [Why?] –An Euler tour is only possible if the graph is connected and either all vertices have even degree or exactly two have odd degree [Why?]

Euler Circuits and Tours Euler tour: a path through a graph that visits each edge exactly once Euler circuit: an Euler tour that starts and ends at the same vertex Named after Leonhard Euler ( ), who cracked this problem and founded graph theory in 1736 Some observations for undirected graphs: –An Euler circuit is only possible if the graph is connected and each vertex has even degree (= # of edges on the vertex) Need one edge to get into vertex and one edge to get out –An Euler tour is only possible if the graph is connected and either all vertices have even degree or exactly two have odd degree Could start at one odd vertex and end at the other

Euler Circuit Problem Problem: Given an undirected graph G = (V,E), find an Euler circuit in G Note: Can check if one exists in linear time (how?) Given that an Euler circuit exists, how do we construct an Euler circuit for G? Hint: Think deep! We’ve discussed the answer in depth before…

Finding Euler Circuits: DFS and then Splice Given a graph G = (V,E), find an Euler circuit in G –Can check if one exists in O(|V|) time (check degrees) Basic Euler Circuit Algorithm: 1.Do a depth-first search (DFS) from a vertex until you are back at this vertex 2.Pick a vertex on this path with an unused edge and repeat 1. 3.Splice all these paths into an Euler circuit Running time = O(|V| + |E|)

Euler Circuit Example A B C D E F B C D E G G D E G DFS(A) : A B D F E C A DFS(B) : B G C B DFS(G) : G D E G A B G C B D F E C A A B G D E G C B D F E C A Splice at B Splice at G

Euler with a Twist: Hamiltonian Circuits Euler circuit: A cycle that goes through each edge exactly once Hamiltonian circuit: A cycle that goes through each vertex exactly once Does graph I have: –An Euler circuit? –A Hamiltonian circuit? Does graph II have: –An Euler circuit? –A Hamiltonian circuit? B C D E G B C D E G I II

Finding Hamiltonian Circuits in Graphs Problem: Find a Hamiltonian circuit in a graph G = (V,E) –Sub-problem: Does G contain a Hamiltonian circuit? –No known easy algorithm for checking this… One solution: Search through all paths to find one that visits each vertex exactly once –Can use your favorite graph search algorithm (DFS!) to find various paths This is an exhaustive search (“brute force”) algorithm Worst case  need to search all paths –How many paths??

Analysis of our Exhaustive Search Algorithm Worst case  need to search all paths –How many paths? Can depict these paths as a search tree Let the average branching factor of each node in this tree be B |V| vertices, each with  B branches Total number of paths  B·B·B … ·B = O(B |V| ) Worst case  Exponential time! B C D E G B D G C G E D E C G E Etc. Search tree of paths from B

How bad is exponential time? Nlog NN log NN2N2 2N2N ,0001,000,000,000,00 0,00,000,000,000, 000, ,0001,000,000Fo’gettaboutit! 1,000, ,000,0001,000,000,000,000ditto

Review: Polynomial versus Exponential Time Most of our algorithms so far have been O(log N), O(N), O(N log N) or O(N 2 ) running time for inputs of size N –These are all polynomial time algorithms –Their running time is O(N k ) for some k > 0 Exponential time B N is asymptotically worse than any polynomial function N k for any k –For any k, N k is  (B N ) for any constant B > 1

The Complexity Class P The set P is defined as the set of all problems that can be solved in polynomial worse case time –Also known as the polynomial time complexity class –All problems that have some algorithm whose running time is O(N k ) for some k Examples of problems in P: tree search, sorting, shortest path, Euler circuit, etc.

The Complexity Class NP Definition: NP is the set of all problems for which a given candidate solution can be tested in polynomial time Example of a problem in NP: –Hamiltonian circuit problem : Why is it in NP?

The Complexity Class NP Definition: NP is the set of all problems for which a given candidate solution can be tested in polynomial time Example of a problem in NP: –Hamiltonian circuit problem : Why is it in NP? Given a candidate path, can test in linear time if it is a Hamiltonian circuit – just check if all vertices are visited exactly once in the candidate path (except start/finish vertex)

Why NP? NP stands for Nondeterministic Polynomial time –Why “nondeterministic”? Corresponds to algorithms that can search all possible solutions in parallel and pick the correct one  each solution can be checked in polynomial time –Nondeterministic algorithms don’t exist – purely theoretical idea invented to understand how hard a problem could be Examples of problems in NP: –Hamiltonian circuit: Given a candidate path, can test in linear time if it is a Hamiltonian circuit –Sorting: Can test in linear time if a candidate ordering is sorted –Are any other problems in P also in NP?

More Revelations About NP Are any other problems in P also in NP? –YES! All problems in P are also in NP Notation: P  NP If you can solve a problem in polynomial time, can definitely verify a solution in polynomial time Question: Are all problems in NP also in P? –Is NP  P?

Your Chance to Win a Turing Award: P = NP? Nobody knows whether NP  P –Proving or disproving this will bring you instant fame! It is generally believed that P  NP, i.e. there are problems in NP that are not in P –But no one has been able to show even one such problem! –Practically all of modern complexity theory is premised on the assumption that P  NP A very large number of useful problems are in NP Alan Turing ( )

NP-Complete Problems The “hardest” problems in NP are called NP-complete problems (NPC) Why “hardest”? A problem X is NP-complete iff: 1.X is in NP and 2.Any problem Y in NP can be converted to an instance of X in polynomial time, such that solving X also provides a solution for Y In other words: Can use algorithm for X as a subroutine to solve Y Thus, if you find a poly time algorithm for just one NPC problem, all problems in NP can be solved in poly time –Example: The Hamiltonian circuit problem can be shown to be NP- complete (not so easy to prove!)

Searching Really Big Graphs Any kind of search (DFS, BFS, A*) is polynomial in the size of the graph (number of vertices) But a search problem might be NP-complete in terms of a small description of a very large graph Example: Blocks World –O(|V|) to find a shortest path between any two vertices –But if given only the initial and final states (size of these descriptions is  number of blocks), problem is NP-complete

P, NP, and Exponential Time Problems All currently known algorithms for NP-complete problems run in exponential worst case time –Finding a polynomial time algorithm for any NPC problem would mean: Diagram depicts relationship between P, NP, and EXPTIME (class of problems that provably require exponential time to solve) It is believed that P  NP  EXPTIME EXPTIME NP P NPC

The Graph of NP-Completeness Stephen Cook first showed (1971) that satisfiability of Boolean formulas (SAT) is NP- complete Hundreds of other problems (from scheduling and databases to optimization theory) have since been shown to be NPC How? By showing an algorithm that converts a known NPC problem to your pet problem in poly time  then, your problem is also NPC!

Showing NP-completeness: An example Consider the Traveling Salesperson (TSP) Problem: Given a fully connected, weighted graph G = (V,E), is there a cycle that visits all vertices exactly once and has total cost  K? TSP is in NP (why?) Can we show TSP is NP- complete? –Hamiltonian Circuit (HC) is NPC –Can show TSP is also NPC if we can convert any input for HC to an input for TSP in poly time B C D E G Input for HC B C D E Convert to input for TSP Cycle with cost  8  BDCEB

TSP is NP-complete! We can show TSP is also NPC if we can convert any input for HC to an input for TSP in polynomial time. Here’s one way: B C D E G B C D E G This graph has a Hamiltonian circuit iff this fully-connected graph has a TSP cycle of total cost  K, where K = |V| (here, K = 5) HC TSP

Coping with NP-Completeness 1.Settle for algorithms that are fast on average: Worst case still takes exponential time, but doesn’t occur very often. But some NP-Complete problems are also average-time NP-Complete! 2.Settle for fast algorithms that give near-optimal solutions: In TSP, may not give the cheapest tour, but maybe good enough. But finding even approximate solutions to some NP-Complete problems is NP-Complete! 3.Just get the exponent as low as possible! Much work on exponential algorithms for Boolean satisfiability: in practice can usually solve problem with 1,000+ variables - Hot Application: Microprocessor Design Verification

Calendar Coming Up – Specialized Data Structures –Search Trees for Spatial Data (Class notes) –Binomial Queues (Ch 6.8) –Randomized Data Structures (Ch , 12.5) –Huffman Codes (10.1.2) Friday, March 8 th – Practice homework –Not to be turned in – a solution set will be handed out on the last day of class –Doing this assignment will be a very good way to prepare for the midterm! Homework #7 (Mazes) due Wednesday, March 13 th –NO late assignments accepted after Friday, March 15 th – we mean it! Friday, March 15 th – Last day of class – party – demos – celebration Monday, March 18 th, 2:30 – 4:20 pm – Final Exam