This preview shows pages 1–8. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: CS 473: Algorithms Chandra Chekuri chekuri@cs.illinois.edu 3228 Siebel Center University of Illinois, UrbanaChampaign Fall 2009 Chekuri CS473ug Complementation Self Reduction Part I Complementation and SelfReduction Chekuri CS473ug Complementation Self Reduction Recap Motivation co NP Definition Relationship between P , NP and co NP The class P A language L (equivalently decision problem) is in the class P if there is a polynomial time algorithm A for deciding L ; that is given a string x , A correctly decides if x L and running time of A on x is polynomial in  x  , the length of x . Chekuri CS473ug Complementation Self Reduction Recap Motivation co NP Definition Relationship between P , NP and co NP The class NP Two equivalent definitions: Language L is in NP if there is a nondeterministic polynomial time algorithm A (Turing Machine) that decides L . For x L , A has some nondeterministic choice of moves that will make A accept x For x 6 L , no choice of moves will make A accept x L has an efficient certifier C ( , ). C is a polynomial time deterministic algorithm For x L there is a string y (proof) of length polynomial in  x  such that C ( x , y ) accepts For x 6 L , no string y will make C ( x , y ) accept Chekuri CS473ug Complementation Self Reduction Recap Motivation co NP Definition Relationship between P , NP and co NP Complementation Definition Given a decision problem X , its complement X is the collection of all instances s such that s 6 X Equivalently, in terms of languages: Definition Given a language L over alphabet , its complement L is the language * L . Chekuri CS473ug Complementation Self Reduction Recap Motivation co NP Definition Relationship between P , NP and co NP Examples PRIME = { n  n is an integer and n is prime } PRIME = { n  n is an integer and n is not a prime } PRIME = COMPOSITE SAT = {  is a SAT formula and is satisfiable } SAT = {  is a SAT formula and is not satisfiable } SAT = UnSAT Chekuri CS473ug Complementation Self Reduction Recap Motivation co NP Definition Relationship between P , NP and co NP Examples PRIME = { n  n is an integer and n is prime } PRIME = { n  n is an integer and n is not a prime } PRIME = COMPOSITE SAT = {  is a SAT formula and is satisfiable } SAT = {  is a SAT formula and is not satisfiable } SAT = UnSAT Technicality: SAT also includes strings that do not encode any valid SAT formula. Typically we ignore those strings because they are not interesting. In all problems of interest, we assume that it is easy to check whether a given string is a valid instance or not....
View
Full
Document
This note was uploaded on 01/22/2012 for the course CS 573 taught by Professor Chekuri,c during the Fall '08 term at University of Illinois, Urbana Champaign.
 Fall '08
 Chekuri,C
 Algorithms

Click to edit the document details