P and NP. Inge Li Gørtz. Thank you to Kevin Wayne, Philip Bille and Paul Fischer for inspiration to slides

Similar documents
P and NP. Warm Up: Super Hard Problems. Overview. Problem Classification. Tools for classifying problems according to relative hardness.

Polynomial-Time Reductions

COP 4531 Complexity & Analysis of Data Structures & Algorithms

8. INTRACTABILITY I. Lecture slides by Kevin Wayne Copyright 2005 Pearson-Addison Wesley. Last updated on 2/6/18 2:16 AM

Algorithm Design and Analysis

Intro to Theory of Computation

8.1 Polynomial-Time Reductions. Chapter 8. NP and Computational Intractability. Classify Problems

CS 583: Algorithms. NP Completeness Ch 34. Intractability

NP and Computational Intractability

NP and Computational Intractability

Lecture 4: NP and computational intractability

NP completeness and computational tractability Part II

Algorithms Design & Analysis. Approximation Algorithm

1. Introduction Recap

CS/COE

NP Complete Problems. COMP 215 Lecture 20

NP and NP Completeness

Algorithm Design and Analysis

SAT, NP, NP-Completeness

Chapter 8. NP and Computational Intractability. CS 350 Winter 2018

NP-Completeness. CptS 223 Advanced Data Structures. Larry Holder School of Electrical Engineering and Computer Science Washington State University

CSC 1700 Analysis of Algorithms: P and NP Problems

Algorithms and Theory of Computation. Lecture 22: NP-Completeness (2)

Chapter 2. Reductions and NP. 2.1 Reductions Continued The Satisfiability Problem (SAT) SAT 3SAT. CS 573: Algorithms, Fall 2013 August 29, 2013

NP-Completeness. Until now we have been designing algorithms for specific problems

Algorithm Design and Analysis

Design and Analysis of Algorithms

Data Structures in Java

NP Completeness and Approximation Algorithms

Computational Intractability 2010/4/15. Lecture 2

Computational Complexity and Intractability: An Introduction to the Theory of NP. Chapter 9

ECS122A Handout on NP-Completeness March 12, 2018

} } } Lecture 23: Computational Complexity. Lecture Overview. Definitions: EXP R. uncomputable/ undecidable P C EXP C R = = Examples

Summer School on Introduction to Algorithms and Optimization Techniques July 4-12, 2017 Organized by ACMU, ISI and IEEE CEDA.

7.8 Intractability. Overview. Properties of Algorithms. Exponential Growth. Q. What is an algorithm? A. Definition formalized using Turing machines.

Intro to Theory of Computation

CS 580: Algorithm Design and Analysis. Jeremiah Blocki Purdue University Spring 2018

3/22/2018. CS 580: Algorithm Design and Analysis. 8.3 Definition of NP. Chapter 8. NP and Computational Intractability. Decision Problems.

Lecture 19: Finish NP-Completeness, conp and Friends

Data Structures and Algorithms (CSCI 340)

VIII. NP-completeness

Theory of Computation CS3102 Spring 2014 A tale of computers, math, problem solving, life, love and tragic death

Analysis of Algorithms. Unit 5 - Intractable Problems

NP Completeness. CS 374: Algorithms & Models of Computation, Spring Lecture 23. November 19, 2015

Correctness of Dijkstra s algorithm

4/22/12. NP and NP completeness. Efficient Certification. Decision Problems. Definition of P

Chapter 11. Approximation Algorithms. Slides by Kevin Wayne Pearson-Addison Wesley. All rights reserved.

NP-COMPLETE PROBLEMS. 1. Characterizing NP. Proof

Easy Problems vs. Hard Problems. CSE 421 Introduction to Algorithms Winter Is P a good definition of efficient? The class P

Announcements. Analysis of Algorithms

Limitations of Algorithm Power

NP-Completeness. Subhash Suri. May 15, 2018

A difficult problem. ! Given: A set of N cities and $M for gas. Problem: Does a traveling salesperson have enough $ for gas to visit all the cities?

Computational Complexity. IE 496 Lecture 6. Dr. Ted Ralphs

Intractability. A difficult problem. Exponential Growth. A Reasonable Question about Algorithms !!!!!!!!!! Traveling salesperson problem (TSP)

Chapter 34: NP-Completeness

NP-Complete Reductions 1

8.5 Sequencing Problems

Reductions. Reduction. Linear Time Reduction: Examples. Linear Time Reductions

Essential facts about NP-completeness:

4/19/11. NP and NP completeness. Decision Problems. Definition of P. Certifiers and Certificates: COMPOSITES

More NP-Complete Problems

NP-Completeness. NP-Completeness 1

CS 301: Complexity of Algorithms (Term I 2008) Alex Tiskin Harald Räcke. Hamiltonian Cycle. 8.5 Sequencing Problems. Directed Hamiltonian Cycle

CS 320, Fall Dr. Geri Georg, Instructor 320 NP 1

Undecidable Problems. Z. Sawa (TU Ostrava) Introd. to Theoretical Computer Science May 12, / 65

10.3: Intractability. Overview. Exponential Growth. Properties of Algorithms. What is an algorithm? Turing machine.

NP-Complete Reductions 2

IE418 Integer Programming

Computer Science 385 Analysis of Algorithms Siena College Spring Topic Notes: Limitations of Algorithms

NP-Complete Problems. More reductions

CS 580: Algorithm Design and Analysis. Jeremiah Blocki Purdue University Spring 2018

CS 580: Algorithm Design and Analysis

3/22/2018. CS 580: Algorithm Design and Analysis. Circuit Satisfiability. Recap. The "First" NP-Complete Problem. Example.

SAT, Coloring, Hamiltonian Cycle, TSP

Some Algebra Problems (Algorithmic) CSE 417 Introduction to Algorithms Winter Some Problems. A Brief History of Ideas

Spring Lecture 21 NP-Complete Problems

CS Fall 2011 P and NP Carola Wenk

NP-Complete and Non-Computable Problems. COMP385 Dr. Ken Williams

Polynomial-time reductions. We have seen several reductions:

Computational Complexity

NP-Completeness. Dr. B. S. Panda Professor, Department of Mathematics IIT Delhi, Hauz Khas, ND-16

Non-Deterministic Time

Chapter 2 : Time complexity

Chapter 8. NP and Computational Intractability. Slides by Kevin Wayne. Copyright 2005 Pearson-Addison Wesley. All rights reserved.

8.5 Sequencing Problems. Chapter 8. NP and Computational Intractability. Hamiltonian Cycle. Hamiltonian Cycle

CMSC 441: Algorithms. NP Completeness

Chapter 8. NP and Computational Intractability

The P-vs-NP problem. Andrés E. Caicedo. September 10, 2011

Some Algebra Problems (Algorithmic) CSE 417 Introduction to Algorithms Winter Some Problems. A Brief History of Ideas

4/20/11. NP-complete problems. A variety of NP-complete problems. Hamiltonian Cycle. Hamiltonian Cycle. Directed Hamiltonian Cycle

P is the class of problems for which there are algorithms that solve the problem in time O(n k ) for some constant k.

CS 350 Algorithms and Complexity

CSL 356: Analysis and Design of Algorithms. Ragesh Jaiswal CSE, IIT Delhi

Introduction to Complexity Theory

Complexity Theory VU , SS The Polynomial Hierarchy. Reinhard Pichler

Outline. Complexity Theory EXACT TSP. The Class DP. Definition. Problem EXACT TSP. Complexity of EXACT TSP. Proposition VU 181.

Instructor N.Sadagopan Scribe: P.Renjith. Lecture- Complexity Class- P and NP

CSC 8301 Design & Analysis of Algorithms: Lower Bounds

Transcription:

P and NP Inge Li Gørtz Thank you to Kevin Wayne, Philip Bille and Paul Fischer for inspiration to slides 1

Overview Problem classification Tractable Intractable Reductions Tools for classifying problems according to relative hardness 2

Warm Up: Super Hard Problems Undecidable. No algorithm possible. Example. Halt (P, x) = true iff and only if P halts on input x. Claim. There is no general algorithm to solve Halt(P, x) Proof (by contradiction) Suppose algorithm for Halt(P, x) exists. Consider algorithm A(P) which loops infinitely if Halt(P,P) and otherwise halts. Since Halt(P,x) exists for all algorithms P we can use it on A(A) and the following happens: If Halt(A,A) then we loop infinitely. Else (not Halt(A,A)) we halt. 3

Problem Classification Q. Which problems will we be able to solve in practice? A. Those with polynomial-time algorithms. (working definition) [von Neumann 1953, Godel 1956, Cobham 1964, Edmonds 1965, Rabin 1966] Yes Shortest path Min cut Soccer championship (2-point rule) Primality testing No Longest path Max cut Soccer championship (3-point rule) Factoring 4

Problem Classification Ideally, classify problems according to those that can be solved in polynomial-time and those that cannot. Provably requires exponential-time. Given a board position in an n-by-n generalization of chess, can black guarantee a win? Provably undecidable. Given a program and input there is no algorithm to decide if program halts. Frustrating news. Huge number of fundamental problems have defied classification for decades. 5

Polynomial-time Reductions 6

Instances A problem (problem type) is the general, abstract term: Examples: Shortest Path, Maximum Flow, Closest Pair, Sequence Alignment, String Matching. A problem instance is the concrete realization of a problem. Maximum flow. The instance consists of a flow network. Closest Pair. The instance is a set of points String Matching. The instance consists of two strings. 7

Polynomial-time reduction Reduction. Problem X polynomial reduces to problem Y if arbitrary instances of problem X can be solved using: Polynomial number of standard computational steps, plus Polynomial number of calls to oracle that solves problem Y. Notation. X P Y. We pay for time to write down instances sent to black box instances of Y must be of polynomial size. 8

Maximum flow and bipartite matching Bipartite matching P Maximum flow 1 s 1 1 1 1 1 t 1 1 9

Maximum flow and maximum bipartite matching Bipartite matching P Maximum flow Matching M => flow of value M Flow of value v(f) => matching of size v(f) 1 s 1 1 1 1 1 t 1 1 10

Polynomial-time reductions Purpose. Classify problems according to relative difficulty. Design algorithms. If X P Y and Y can be solved in polynomial-time, then X can also be solved in polynomial time. Establish intractability. If X P Y and X cannot be solved in polynomial-time, then Y cannot be solved in polynomial time. Establish equivalence. If X P Y and Y P X, we use notation X =P Y. up to a polynomial factor 11

Independent set and vertex cover Independent set: A set S of vertices where no two vertices of S are neighbors (joined by an edge). Independent set problem: Given graph G and an integer k, is there an independent set of size k? Example: Is there an independent set of size 6? 12

Independent set and vertex cover Independent set: A set S of vertices where no two vertices of S are neighbors (joined by an edge). Independent set problem: Given graph G and an integer k, is there an independent set of size k? Example: Is there an independent set of size 6? Yes 13

Independent set and vertex cover Independent set: A set S of vertices where no two vertices of S are neighbors (joined by an edge). Independent set problem: Given graph G and an integer k, is there an independent set of size k? Example: Is there an independent set of size 6? Yes Is there an independent set of size 7? 14

Independent set and vertex cover Independent set: A set S of vertices where no two vertices of S are neighbors (joined by an edge). Independent set problem: Given graph G and an integer k, is there an independent set of size k? Example: Is there an independent set of size 6? Yes Is there an independent set of size 7? No 15

Independent set and vertex cover Vertex cover: A set S of vertices such that all edges have at least one endpoint in S. Independent set problem: Given graph G and an integer k, is there a vertex cover of size k? Example: Is there a vertex cover of size 4? 16

Independent set and vertex cover Vertex cover: A set S of vertices such that all edges have at least one endpoint in S. Independent set problem: Given graph G and an integer k, is there a vertex cover of size k? Example: Is there a vertex cover of size 4? Yes 17

Independent set and vertex cover Vertex cover: A set S of vertices such that all edges have at least one endpoint in S. Independent set problem: Given graph G and an integer k, is there a vertex cover of size k? Example: Is there a vertex cover of size 4? Yes Is there a vertex cover of size 3? 18

Independent set and vertex cover Vertex cover: A set S of vertices such that all edges have at least one endpoint in S. Independent set problem: Given graph G and an integer k, is there a vertex cover of size k? Example: Is there a vertex cover of size 4? Yes Is there a vertex cover of size 3? No 19

Independent set and vertex cover Claim. Let G=(V,E) be a graph. Then S is an independent set if and only if its complement V-S is a vertex cover. Proof. =>: S is an independent set. vertex cover independent set 20

Independent set and vertex cover Claim. Let G=(V,E) be a graph. Then S is an independent set if and only if its complement V-S is a vertex cover. Proof. =>: S is an independent set. e cannot have both endpoints in S => e have an endpoint in V-S. V-S is a vertex cover. e vertex cover independent set 21

Independent set and vertex cover Claim. Let G=(V,E) be a graph. Then S is an independent set if and only if its complement V-S is a vertex cover. Proof. =>: S is an independent set. e cannot have both endpoints in S => e have an endpoint in V-S. V-S is a vertex cover <=: V-S is a vertex cover. vertex cover independent set 22

Independent set and vertex cover Claim. Let G=(V,E) be a graph. Then S is an independent set if and only if its complement V-S is a vertex cover. Proof. =>: S is an independent set. e cannot have both endpoints in S => e have an endpoint in V-S. V-S is a vertex cover <=: V-S is a vertex cover. u and v not part of the vertex cover = > no edge between u and v S is an independent set. vertex cover independent set u v 23

Independent set and vertex cover Claim. Let G=(V,E) be a graph. Then S is an independent set if and only if its complement V-S is a vertex cover. Independent set P vertex cover Use one call to the black box vertex cover algorithm with k = n-k. There is an independent set of size k if and only if the vertex cover algorithm returns yes. vertex cover P independent set Use one call to the black box independent set algorithm with k = n-k. 24

Set cover Set cover. Given a set U of elements, a collection of sets S1, Sm of subsets of U, and an integer k. Does there exist a collection of at most k sets whose union is equal to all of U? 25

Set cover Set cover. Given a set U of elements, a collection of sets S1, Sm of subsets of U, and an integer k. Does there exist a collection of at most k sets whose union is equal to all of U? Example: Does there exist a set cover of size at most 6? S S1 S2 S3 S4 S5 S6 S7 S8 U e 1 e 2 e 3 e 4 e 5 e 6 e 7 e 8 e 9 e 10 e 11 e 12 e 13 e 14 26

Set cover Set cover. Given a set U of elements, a collection of sets S1, Sm of subsets of U, and an integer k. Does there exist a collection of at most k sets whose union is equal to all of U? Example: Does there exist a set cover of size at most 6? Yes S S1 S2 S3 S4 S5 S6 S7 S8 U e 1 e 2 e 3 e 4 e 5 e 6 e 7 e 8 e 9 e 10 e 11 e 12 e 13 e 14 27

Set cover Set cover. Given a set U of elements, a collection of sets S1, Sm of subsets of U, and an integer k. Does there exist a collection of at most k sets whose union is equal to all of U? Example: Does there exist a set cover of size at most 6? Yes S S1 S2 S3 S4 S5 S6 S7 S8 U e 1 e 2 e 3 e 4 e 5 e 6 e 7 e 8 e 9 e 10 e 11 e 12 e 13 e 14 28

Set cover Set cover. Given a set U of elements, a collection of sets S1, Sm of subsets of U, and an integer k. Does there exist a collection of at most k sets whose union is equal to all of U? Example: Does there exist a set cover of size at most 6? Yes Does there exist a set cover of size at most 4? S S1 S2 S3 S4 S5 S6 S7 S8 U e 1 e 2 e 3 e 4 e 5 e 6 e 7 e 8 e 9 e 10 e 11 e 12 e 13 e 14 29

Set cover Set cover. Given a set U of elements, a collection of sets S1, Sm of subsets of U, and an integer k. Does there exist a collection of at most k sets whose union is equal to all of U? Example: Does there exist a set cover of size at most 6? Yes Does there exist a set cover of size at most 4? Yes S S1 S2 S3 S4 S5 S6 S7 S8 U e 1 e 2 e 3 e 4 e 5 e 6 e 7 e 8 e 9 e 10 e 11 e 12 e 13 e 14 30

Set cover Set cover. Given a set U of elements, a collection of sets S1, Sm of subsets of U, and an integer k. Does there exist a collection of at most k sets whose union is equal to all of U? Example: Does there exist a set cover of size at most 6? Yes Does there exist a set cover of size at most 4? Yes Does there exist a set cover of size at most 3? No S S1 S2 S3 S4 S5 S6 S7 S8 U e 1 e 2 e 3 e 4 e 5 e 6 e 7 e 8 e 9 e 10 e 11 e 12 e 13 e 14 31

Reduction from vertex cover to set cover vertex cover P set cover 9 1 e2 e3 e1 3 2 e8 e9 e11 e10 e13 e12 8 e14 e4 4 7 10 5 e5 e7 6 e6 32

Reduction from vertex cover to set cover vertex cover P set cover U = {e1, e2, e3, e4, e5, e6, e7, e8, e9, e10, e11, e12, e13, e14,} S1 = {e1, e2, e3, e4} S2 = {e1, e11, e10} S3 = {e2, e8} S4 = {e3, e9} S5 = {e4, e5} S6 = {e5, e6, e7} S7 = {e7, e13} S8 = {e8, e9, e10, e12, e13, e14} S9 = {e11, e12} S10 = {e6, e14} e11 2 e1 1 e10 e2 e3 3 e4 4 e8 e9 e13 7 10 e7 e6 6 5 e5 9 e12 8 e14 33

Polynomial-time reductions Reduction. X P Y if arbitrary instances of problem X can be solved using: Polynomial number of standard computational steps, plus Polynomial number of calls to oracle that solves problem Y. Strategy to make a reduction if we only need one call to the oracle/black box to solve X: 1. Show how to turn (any) instance Sx of X into an instance of Sy of Y in polynomial time. 2. Show that: Sx a yes instance of X => Sy a yes instance of Y. 3. Show that: Sy a yes instance to Y => Sx a yes instance of X. Reductions that needs more than one call to black box: 1. Show how to turn (any) instance Sx of X into a polynomial number instance of Sy,i of Y in polynomial time. 2. Show: Sx a yes instance of X => one of the instances Sy,i is a yes instance of Y. 3. Show: one of the instances Sy,i is a yes instance of Y => Sx a yes instance of X.

P and NP 35

The class P P ~ problems solvable in deterministic polynomial time. Given a problem type X, there is a deterministic algorithm A which for every problem instance I X solves I in a time that is polynomial in I, the size of I. I.e., the running time of A is O( I k ) for all I X, where k is constant independent of the instance I. Examples. Closest pair: There is an algorithm A such that for every set S of points, A finds a closest pair in time O( S 2 ). Maximum flow: There is an algorithm A such that for any network, A finds a maximum flow in time O( V 3 ), where V is the set of vertices. 36

Hard problems: Example Problem [POTATO SOUP]. A recipe calls for B grams of potatoes. You have a K kilo bag with n potatoes. Can one select some of them such that their weight is exactly B grams? Best known solution: create all 2 n subsets and check each one. 37

Hard problems Many problems share the above features Can be solved in time 2 T (by trying all possibilities.) Given a potential solution, it can be checked in time O( I k ), whether it is a solution or not. These problems are called polynomially checkable. A solution can be guessed, and then verified in polynomial time. 38

The class NP Certifier. Algorithm B(s,t) is an efficient certifier for problem X if: 1. B(s,t) runs in polynomial time. 2. For every instance s: s is a yes instance of X there exists a certificate t of length polynomial in s and B(s,t) returns yes. Example. Independent set. s: a graph G and an integer k. t: a set of vertices from G. B(s,t) returns yes if and only if t is an independent set of G and S k. This can be checked in polynomial time by checking that no two vertices in t are neighbors and that the size is at least k. A problem X is in the class NP (Non-deterministic Polynomial time) if X has an efficient certifier. 39

Optimization vs decision problems Consider decision problems (yes-no-problems). Example. [POTATO SOUP]. A recipe calls for B grams of potatoes. You have a K kilo bag with n potatoes. Can one select some of them such that their weight is exactly B grams? Optimization vs decision problem [OPTIMIZATION LONGEST PATH] Given a graph G. What is the length of the longest simple path? [DECISION LONGEST PATH] Given a graph G and integer k. Is a there a simple path of length k? Exercise. Show that OPTIMIZATION LONGEST PATH can be solved in polynomial time if and only if DECISION LONGEST PATH can be solved in polynomial time. 40

P vs NP P solvable in deterministic polynomial time. NP solvable in non-deterministic polynomial time/ has an efficient (polynomial time) certifier. P NP (every problem T which is in P is also in NP). It is not known (but strongly believed) whether the inclusion is proper, that is whether there is a problem in NP which is not in P. There is subclass of NP which contains the hardest problems, NP-complete problems: X is NP-Complete if X NP Y P X for all Y NP 41

Examples of NP-complete problems Preparing potato soup Packing your suitcase Satisfiability of clauses Partition Subset-sum Hamilton Cycle Travelling Salesman Bin Packing Knapsack Clique Independent Set Vertex Cover Set Cover 42

NP-complete problems [SOCCER CHAMPIONSHIP 3-POINT RULE] In a football league n teams compete for the championship. The leagues uses the 3-point rule, i.e., the points of match are distributed as 3:0, 1:1, or 0:3. Input. The table with the points of every team at some point in the season, a list of the matches to be played in that season and the name of some team. Output. YES if the named team still can become champion NO otherwise. 43

NP-complete problems [SATISFIABILITY] Input: A set of clauses C = {c1,..., ck} over n boolean variables x1,,xn. Output: YES if there is a satisfying assignment, i.e., if there is an assignment a: {x1,...,xn} {0,1} such that every clause is satisfied, NO otherwise. ( x 1 x 2 x 3 ) ( x 1 x 2 x 3 ) ( x 1 x 2 x 4 ) ( x 1 x 3 x 4 ) instance s x 1 =1, x 2 =1, x 3 = 0, x 4 =1 proposed solution/certificate t 44

NP-complete problems [HAMILTONIAN CYCLE]. Input: Undirected graph G Output: YES if there exists a simple cycle that visits every node NO otherwise instance s certificate t 45

Traveling Salesperson Problem TSP: Given a set of n cities and a pairwise distance function d(u, v), is there a tour of length D? All 13,509 cities in US with a population of at least 500 Reference: http://www.tsp.gatech.edu 46

Traveling Salesperson Problem TSP: Given a set of n cities and a pairwise distance function d(u, v), is there a tour of length D? Optimal TSP tour Reference: http://www.tsp.gatech.edu 47

How to prove a problem is NP-complete 1. Prove Y NP (that it can be verified in polynomial time). 2. Select a known NP-complete problem X. 3. Give a polynomial time reduction from X to Y (prove X P Y): Explain how to turn an instance of X into one or more instances of Y Explain how to use a polynomial number of calls to the black box algorithm/ oracle for Y to solve X. Prove/argue that the reduction is correct. 48

Reduction example [HAMILTONIAN CYCLE]. Given a undirected graph G=(V,E), does there exists a simple cycle that visits every node? [TRAVELLING SALESMAN (TSP)] Given a set of n cities and a pairwise distance function d(u, v), is there a tour of length D? Show Hamiltonian Cycle P TSP: Idea: For every instance of Hamiltonian Cycle create an instance of TSP such that the TSP instance has tour of length n if and only if G has a Hamiltonian cycle. Reduction. Given instance G=(V,E) of Hamiltonian Cycle, create n cities with distance function $ 1 if (u, v) E d(u, v) = % & 2 if (u, v) E TSP instance has tour of length n if and only if G has a Hamiltonian cycle. 49

Reduction example [GLASSES IN A CUPBOARD]. You have n glasses of equal height. If glass gj is put into glass gi let dij be the amount of gj above the rim of gi. You want to stack them into a single stack, so they fit into a cupboard of height h; is that possible? Glasses in a Cupboard in NP: Proposed solution can be verified in polynomial time. NP-completeness: Reduction from Directed Hamiltonian Path (DHP). Directed Hamiltonian Path: Given a directed graph G, is there a directed simple path visiting all vertices. DHP is NP-complete Reduction: For every instance (graph) of DHP make a set of glasses and a cupboard, such that the glasses can be stacked into the cupboard if and only if the graph has a Hamiltonian path. 50

Reduction example Let G = (E, V) a directed graph. Make one glass for every node i V. If (i, j) E ensure: If (i, j) E ensure: Glass i is red, glass j is yellow. Height of the cupboard is V 1 + height of glass 51

Reduction Example 52

Reduction Example 53

The Main Question: P Versus NP Does P = NP? [Cook 1971, Edmonds, Levin, Yablonski, Gödel] Is the decision problem as easy as the certification problem? Clay $1 million prize. EXP P NP EXP P = NP If P NP If P = NP Consensus opinion on P = NP? Probably no. 54

The Simpsons: P = NP? Copyright 1990, Matt Groening 55

Longest path

The P versus NP page Lately several papers/notes claiming to resolve P versus NP problem have appeared (especially after $ 1 million reward in 2000) Gerhard Woeginger maintains a webpage collecting the contributions: www.win.tue.nl/~gwoegi/p-versus-np.htm Scott Aaronson on why you should believe P not equal to NP : http://www.scottaaronson.com/blog/?p=1720 57