Lecture 20: conp and Friends, Oracles in Complexity Theory


 Rosamond Lambert
 10 months ago
 Views:
Transcription
1 6.045 Lecture 20: conp and Friends, Oracles in Complexity Theory 1
2 Definition: conp = { L L NP } What does a conp computation look like? In NP algorithms, we can use a guess instruction in pseudocode: Guess string y of x k length and the machine accepts iff some y leads to an accept state In conp algorithms, we can use a try all instruction: Try all strings y of x k length and the machine accepts iff every y leads to an accept state 2
3 conp P NP 3
4 Definition: A language B is conpcomplete if 1. B conp 2. For every A in conp, there is a polynomialtime reduction from A to B (B is conphard) 4
5 UNSAT = { is a Boolean formula and no variable assignment satisfies } Theorem: UNSAT is conpcomplete TAUTOLOGY = { is a Boolean formula and every variable assignment satisfies } = { UNSAT} Theorem: TAUTOLOGY is conpcomplete 5
6 Is P = NP conp? THIS IS AN OPEN QUESTION! 6
7 An Interesting Problem in NP conp FACTORING = { (m, n) m > n > 1 are integers, there is a prime factor p of m where n p < m } If FACTORING P, we could expect to break most publickey cryptography currently in use! Theorem: FACTORING 2 NP conp 7
8 FACTORING = { (m, n) m, n > 1 are integers, there is a prime factor p of m where n p < m } Theorem: FACTORING NP conp Proof: (1) FACTORING NP A prime factor p of m such that p n is a proof that (m,n) is in FACTORING (2) FACTORING conp The prime factorization p 1 e1 p k ek of m is a proof that (m,n) is not in FACTORING: Verify each p i is prime, and p 1 e1 p k ek = m Verify that for all i=1,,k that p i < n
9 FACTORING = { (n, m) m, n > 1 are integers, there is a prime factor p of m where n p < m } Theorem: If FACTORING P, then there is a polynomialtime algorithm which, given an integer n, outputs either n is PRIME or a prime factor of n. Idea: Binary search for the prime factor! Given binary integer m, initialize an interval [2,m]. If (2, m) is not in FACTORING then output PRIME If ( m/2, m) is in FACTORING then shrink interval to [ m/2,m] else, shrink interval to [2, m/2 ] Keep picking n to halve the interval with each call to FACTORING. Takes O(log n) calls to FACTORING!
10 conp TAUTOLOGY UNSAT FACTORING P NP SAT CLIQUE Decidable 11
11 NPcomplete problems: SAT, 3SAT, CLIQUE, VC, SUBSETSUM, conpcomplete problems: UNSAT, TAUTOLOGY, NOHAMPATH, (NP conp)complete problems: Nobody knows if they exist! P, NP, conp can be defined in terms of specific machine models, and for every possible machine we can give an encoding of it. NP conp is not known to have a corresponding machine model! 12
12 Polynomial Time With Oracles P NP NP NP conp NP *We do not condone smoking. Don t do it. It s bad. Kthxbye 13
13 Oracle Turing Machines FINITE STATE qq YES? CONTROL Is formula F in SAT? yes AI N P U T INFINITE TAPE 14
14 Oracle Turing Machines An oracle Turing machine M B is equipped with a set B Γ* to which a TM M may ask membership queries on a special oracle tape [Formally, M B enters a special state q? ] and the TM receives a query answer in one step [Formally, the transition function on q? is defined in terms of the entire oracle tape: if the string y written on the oracle tape is in B, then state q? is changed to q YES, otherwise q NO ] This notion makes sense even when M runs in polynomial time and B is not in P! 15
15 How to Think about Oracles? Think in terms of Turing Machine pseudocode! An oracle Turing machine M with oracle B Γ* lets you include the following kind of branching instructions: if (z in B) then <do something> else <do something else> where z is some string defined earlier in pseudocode. By definition, the oracle TM can always check the condition (z in B) in one step 16
16 Some Complexity Classes With Oracles Let B be a language. P B = { L L can be decided by some polynomialtime TM with an oracle for B } P SAT P NP = the class of languages decidable in polynomial time with an oracle for SAT = the class of languages decidable by some polynomialtime oracle TM with an oracle for some B in NP 17
17 Is P SAT P NP? Yes! By definition Is P NP P SAT? Yes! Every NP language can be reduced to SAT! Let M B be a polytime TM with oracle B NP. We define N SAT that simulates M B step for step. When the sim of M B makes query w to oracle B, N SAT reduces w to a formula φ w in polytime, then calls its oracle for SAT on φ w
18 Is NP P NP? Yes! Just ask the oracle for the answer! For every L NP define an oracle TM M L which asks the oracle if the input is in L, and outputs the answer.
19 Is conp P NP? Yes! Again, just ask the oracle for the answer! For every L conp we know L NP Define an oracle TM M L which asks the oracle if the input is in L accept if the answer is no, reject if the answer is yes In general, P NP = P conp
20 P B = { L L can be decided by a polynomialtime TM with an oracle for B } Suppose B is in P. Is P B P? Yes! For every polytime TM M with oracle B P, we can simulate every query z to oracle B by simply running a polynomialtime decider for B. The resulting machine runs in polynomial time! 21
21 P NP = the class of languages decidable by some polynomialtime oracle TM M B for some B in NP Informally: P NP is the class of problems you can solve in polynomial time, assuming SAT solvers work 22
22 P NP = the class of languages decidable by some polynomialtime oracle TM M B for some B in NP Informally, P NP is the class of problems you can solve in polynomial time, if SAT solvers work A problem in P NP that looks harder than SAT or TAUT: FIRSTSAT = { (, i) SAT and the ith bit of the lexicographically first SAT assignment of is 1} Using polynomially many calls to SAT, we can compute the lex. first satisfying assignment
23 NP B = { L L can be decided by a polynomialtime nondeterministic TM with an oracle for B } conp B = { L L can be decided by a polytime conondeterministic TM with an oracle for B } Is NP = NP NP? Is conp NP = NP NP? THESE ARE OPEN QUESTIONS! It is believed the answers are NO
24 Logic Minimization is in conp NP Two Boolean formulas and over the variables x 1,,x n are equivalent if they have the same value on every assignment to the variables Are x and x x equivalent? Are x and x x equivalent? Yes No Are (x y) ( x y) and x y equivalent? Yes A Boolean formula is minimal if no smaller formula is equivalent to MINFORMULA = { is minimal }
25 Proof: Theorem: MINFORMULA conp NP Define NEQUIV = { (, ) and are not equivalent } Observation: NEQUIV NP (Why?) Here is a conp NEQUIV machine for MINFORMULA: Given a formula, Try all formulas such that is smaller than. If ((, ) NEQUIV) then accept else reject Note: MINFORMULA is not known to be in conp!
26 The Difficulty of Formula Minimization MINCNFFORMULA = { is CNF and is minimal } Theorem: MINCNFFORMULA is conp NP complete Proof: Beyond the scope of this course Note: We don t know if MINFORMULA is conp NP complete!
27 conp NP MINFORMULA conp P NP TAUT P FACTORING SAT NP NP NP
28 Oracles and P vs NP Theorem: (1) There is an oracle B where P B = NP B (2) There is an oracle A where P A NP A See Sipser 9.2 Moral: Any proof technique that extends to Turing Machines with arbitrary oracles won t be able to resolve P versus NP!
Definition: conp = { L L NP } What does a conp computation look like?
Space Complexity 28 Definition: conp = { L L NP } What does a conp computation look like? In NP algorithms, we can use a guess instruction in pseudocode: Guess string y of x k length and the machine accepts
More informationCS154, Lecture 10: Rice s Theorem, Oracle Machines
CS154, Lecture 10: Rice s Theorem, Oracle Machines Moral: Analyzing Programs is Really, Really Hard But can we more easily tell when some program analysis problem is undecidable? Problem 1 Undecidable
More informationLecture 16: Time Complexity and P vs NP
6.045 Lecture 16: Time Complexity and P vs NP 1 TimeBounded Complexity Classes Definition: TIME(t(n)) = { L there is a Turing machine M with time complexity O(t(n)) so that L = L(M) } = { L L is a language
More informationLecture 22: PSPACE
6.045 Lecture 22: PSPACE 1 VOTE VOTE VOTE For your favorite course on automata and complexity Please complete the online subject evaluation for 6.045 2 Final Exam Information Who: You On What: Everything
More informationFinish KComplexity, Start Time Complexity
6.045 Finish KComplexity, Start Time Complexity 1 Kolmogorov Complexity Definition: The shortest description of x, denoted as d(x), is the lexicographically shortest string such that M(w) halts
More informationEssential facts about NPcompleteness:
CMPSCI611: NP Completeness Lecture 17 Essential facts about NPcompleteness: Any NPcomplete problem can be solved by a simple, but exponentially slow algorithm. We don t have polynomialtime solutions
More informationLecture 17: CookLevin Theorem, NPComplete Problems
6.045 Lecture 17: CookLevin Theorem, NPComplete Problems 1 Is SAT solvable in O(n) time on a multitape TM? Logic circuits of 6n gates for SAT? If yes, then not only is P=NP, but there would be a dream
More information6.045: Automata, Computability, and Complexity (GITCS) Class 15 Nancy Lynch
6.045: Automata, Computability, and Complexity (GITCS) Class 15 Nancy Lynch Today: More Complexity Theory Polynomialtime reducibility, NPcompleteness, and the Satisfiability (SAT) problem Topics: Introduction
More informationSpace Complexity. The space complexity of a program is how much memory it uses.
Space Complexity The space complexity of a program is how much memory it uses. Measuring Space When we compute the space used by a TM, we do not count the input (think of input as readonly). We say that
More informationA.Antonopoulos 18/1/2010
Class DP Basic orems 18/1/2010 Class DP Basic orems 1 Class DP 2 Basic orems Class DP Basic orems TSP Versions 1 TSP (D) 2 EXACT TSP 3 TSP COST 4 TSP (1) P (2) P (3) P (4) DP Class Class DP Basic orems
More informationThe Polynomial Hierarchy
The Polynomial Hierarchy Slides based on S.Aurora, B.Barak. Complexity Theory: A Modern Approach. Ahto Buldas Ahto.Buldas@ut.ee Motivation..synthesizing circuits is exceedingly difficulty. It is even
More informationThe Complexity of Optimization Problems
The Complexity of Optimization Problems Summary Lecture 1  Complexity of algorithms and problems  Complexity classes: P and NP  Reducibility  Karp reducibility  Turing reducibility Uniform and logarithmic
More informationNP Complete Problems. COMP 215 Lecture 20
NP Complete Problems COMP 215 Lecture 20 Complexity Theory Complexity theory is a research area unto itself. The central project is classifying problems as either tractable or intractable. Tractable Worst
More informationP, NP, NPComplete, and NPhard
P, NP, NPComplete, and NPhard Problems Zhenjiang Li 21/09/2011 Outline Algorithm time complicity P and NP problems NPComplete and NPHard problems Algorithm time complicity Outline What is this course
More informationIntro to Theory of Computation
Intro to Theory of Computation LECTURE 24 Last time Relationship between models: deterministic/nondeterministic Class P Today Class NP Sofya Raskhodnikova Homework 9 due Homework 0 out 4/5/206 L24. Iclicker
More informationNotes on Complexity Theory Last updated: October, Lecture 6
Notes on Complexity Theory Last updated: October, 2015 Lecture 6 Notes by Jonathan Katz, lightly edited by Dov Gordon 1 PSPACE and PSPACECompleteness As in our previous study of N P, it is useful to identify
More informationQ = Set of states, IE661: Scheduling Theory (Fall 2003) Primer to Complexity Theory Satyaki Ghosh Dastidar
IE661: Scheduling Theory (Fall 2003) Primer to Complexity Theory Satyaki Ghosh Dastidar Turing Machine A Turing machine is an abstract representation of a computing device. It consists of a read/write
More information6.840 Language Membership
6.840 Language Membership Michael Bernstein 1 Undecidable INP Practice final Use for A T M. Build a machine that asks EQ REX and then runs M on w. Query INP. If it s in P, accept. Note that the language
More information1 Computational problems
80240233: Computational Complexity Lecture 1 ITCS, Tsinghua Univesity, Fall 2007 9 October 2007 Instructor: Andrej Bogdanov Notes by: Andrej Bogdanov The aim of computational complexity theory is to study
More information1 Reductions and Expressiveness
15451/651: Design & Analysis of Algorithms November 3, 2015 Lecture #17 last changed: October 30, 2015 In the past few lectures we have looked at increasingly more expressive problems solvable using efficient
More informationDRAFT. Diagonalization. Chapter 4
Chapter 4 Diagonalization..the relativized P =?NP question has a positive answer for some oracles and a negative answer for other oracles. We feel that this is further evidence of the difficulty of the
More information6.045 Final Exam Solutions
6.045J/18.400J: Automata, Computability and Complexity Prof. Nancy Lynch, Nati Srebro 6.045 Final Exam Solutions May 18, 2004 Susan Hohenberger Name: Please write your name on each page. This exam is open
More informationMTAT Complexity Theory October 13th14th, Lecture 6
MTAT.07.004 Complexity Theory October 13th14th, 2011 Lecturer: Peeter Laud Lecture 6 Scribe(s): Riivo Talviste 1 Logarithmic memory Turing machines working in logarithmic space become interesting when
More informationLecture Notes: The Halting Problem; Reductions
Lecture Notes: The Halting Problem; Reductions COMS W3261 Columbia University 20 Mar 2012 1 Review Key point. Turing machines can be encoded as strings, and other Turing machines can read those strings
More informationLecture 3: Reductions and Completeness
CS 710: Complexity Theory 9/13/2011 Lecture 3: Reductions and Completeness Instructor: Dieter van Melkebeek Scribe: Brian Nixon Last lecture we introduced the notion of a universal Turing machine for deterministic
More informationLecture 18: More NPComplete Problems
6.045 Lecture 18: More NPComplete Problems 1 The Clique Problem a d f c b e g Given a graph G and positive k, does G contain a complete subgraph on k nodes? CLIQUE = { (G,k) G is an undirected graph with
More information1 Computational Problems
Stanford University CS254: Computational Complexity Handout 2 Luca Trevisan March 31, 2010 Last revised 4/29/2010 In this lecture we define NP, we state the P versus NP problem, we prove that its formulation
More informationCS5371 Theory of Computation. Lecture 19: Complexity IV (More on NP, NPComplete)
CS5371 Theory of Computation Lecture 19: Complexity IV (More on NP, NPComplete) Objectives More discussion on the class NP CookLevin Theorem The Class NP revisited Recall that NP is the class of language
More informationTIME COMPLEXITY AND POLYNOMIAL TIME; NON DETERMINISTIC TURING MACHINES AND NP. THURSDAY Mar 20
TIME COMPLEXITY AND POLYNOMIAL TIME; NON DETERMINISTIC TURING MACHINES AND NP THURSDAY Mar 20 COMPLEXITY THEORY Studies what can and can t be computed under limited resources such as time, space, etc Today:
More information6.045J/18.400J: Automata, Computability and Complexity Final Exam. There are two sheets of scratch paper at the end of this exam.
6.045J/18.400J: Automata, Computability and Complexity May 20, 2005 6.045 Final Exam Prof. Nancy Lynch Name: Please write your name on each page. This exam is open book, open notes. There are two sheets
More informationFurther discussion of Turing machines
Further discussion of Turing machines In this lecture we will discuss various aspects of decidable and Turingrecognizable languages that were not mentioned in previous lectures. In particular, we will
More informationDecidability and Undecidability
Decidability and Undecidability Major Ideas from Last Time Every TM can be converted into a string representation of itself. The encoding of M is denoted M. The universal Turing machine U TM accepts an
More informationComputer Sciences Department
Computer Sciences Department 1 Reference Book: INTRODUCTION TO THE THEORY OF COMPUTATION, SECOND EDITION, by: MICHAEL SIPSER Computer Sciences Department 3 ADVANCED TOPICS IN C O M P U T A B I L I T Y
More informationNotes for Lecture 2. Statement of the PCP Theorem and Constraint Satisfaction
U.C. Berkeley Handout N2 CS294: PCP and Hardness of Approximation January 23, 2006 Professor Luca Trevisan Scribe: Luca Trevisan Notes for Lecture 2 These notes are based on my survey paper [5]. L.T. Statement
More information1 Deterministic Turing Machines
Time and Space Classes Exposition by William Gasarch 1 Deterministic Turing Machines Turing machines are a model of computation. It is believed that anything that can be computed can be computed by a Turing
More informationComplexity and NPcompleteness
Lecture 17 Complexity and NPcompleteness Supplemental reading in CLRS: Chapter 34 As an engineer or computer scientist, it is important not only to be able to solve problems, but also to know which problems
More informationNPComplete problems
NPComplete problems NPcomplete problems (NPC): A subset of NP. If any NPcomplete problem can be solved in polynomial time, then every problem in NP has a polynomial time solution. NPcomplete languages
More information6.841/18.405J: Advanced Complexity Wednesday, February 12, Lecture Lecture 3
6.841/18.405J: Advanced Complexity Wednesday, February 12, 2003 Lecture Lecture 3 Instructor: Madhu Sudan Scribe: Bobby Kleinberg 1 The language MinDNF At the end of the last lecture, we introduced the
More informationComputability Theory. CS215, Lecture 6,
Computability Theory CS215, Lecture 6, 2000 1 The Birth of Turing Machines At the end of the 19th century, Gottlob Frege conjectured that mathematics could be built from fundamental logic In 1900 David
More informationLecture 23: More PSPACEComplete, Randomized Complexity
6.045 Lecture 23: More PSPACEComplete, Randomized Complexity 1 Final Exam Information Who: You On What: Everything through PSPACE (today) With What: One sheet (doublesided) of notes are allowed When:
More information1 Acceptance, Rejection, and I/O for Turing Machines
1 Acceptance, Rejection, and I/O for Turing Machines Definition 1.1 (Initial Configuration) If M = (K,Σ,δ,s,H) is a Turing machine and w (Σ {, }) then the initial configuration of M on input w is (s, w).
More informationA Collection of Problems in Propositional Logic
A Collection of Problems in Propositional Logic Hans Kleine Büning SS 2016 Problem 1: SAT (respectively SAT) Instance: A propositional formula α (for SAT in CNF). Question: Is α satisfiable? The problems
More informationThe space complexity of a standard Turing machine. The space complexity of a nondeterministic Turing machine
298 8. Space Complexity The space complexity of a standard Turing machine M = (Q,,,, q 0, accept, reject) on input w is space M (w) = max{ uav : q 0 w M u q av, q Q, u, a, v * } The space complexity of
More informationTuring Machines Part III
Turing Machines Part III Announcements Problem Set 6 due now. Problem Set 7 out, due Monday, March 4. Play around with Turing machines, their powers, and their limits. Some problems require Wednesday's
More informationDRAFT. Algebraic computation models. Chapter 14
Chapter 14 Algebraic computation models Somewhat rough We think of numerical algorithms rootfinding, gaussian elimination etc. as operating over R or C, even though the underlying representation of the
More informationTopics in Complexity Theory
Topics in Complexity Theory Announcements Final exam this Friday from 12:15PM3:15PM Please let us know immediately after lecture if you want to take the final at an alternate time and haven't yet told
More informationDe Morgan s a Laws. De Morgan s laws say that. (φ 1 φ 2 ) = φ 1 φ 2, (φ 1 φ 2 ) = φ 1 φ 2.
De Morgan s a Laws De Morgan s laws say that (φ 1 φ 2 ) = φ 1 φ 2, (φ 1 φ 2 ) = φ 1 φ 2. Here is a proof for the first law: φ 1 φ 2 (φ 1 φ 2 ) φ 1 φ 2 0 0 1 1 0 1 1 1 1 0 1 1 1 1 0 0 a Augustus DeMorgan
More informationComputational Complexity CSCIGA Subhash Khot Transcribed by Patrick Lin
Computational Complexity CSCIGA 3350 Subhash Khot Transcribed by Patrick Lin Abstract. These notes are from a course in Computational Complexity, as offered in Spring 2014 at the Courant Institute of
More informationLecture 12: Interactive Proofs
princeton university cos 522: computational complexity Lecture 12: Interactive Proofs Lecturer: Sanjeev Arora Scribe:Carl Kingsford Recall the certificate definition of NP. We can think of this characterization
More informationLecture 17. In this lecture, we will continue our discussion on randomization.
ITCS:CCT09 : Computational Complexity Theory May 11, 2009 Lecturer: Jayalal Sarma M.N. Lecture 17 Scribe: Hao Song In this lecture, we will continue our discussion on randomization. 1 BPP and the Polynomial
More informationDecision Problems with TM s. Lecture 31: Halting Problem. Universe of discourse. Semidecidable. Look at following sets: CSCI 81 Spring, 2012
Decision Problems with TM s Look at following sets: Lecture 31: Halting Problem CSCI 81 Spring, 2012 Kim Bruce A TM = { M,w M is a TM and w L(M)} H TM = { M,w M is a TM which halts on input w} TOTAL TM
More informationENEE 459E/CMSC 498R Inclass exercise February 10, 2015
ENEE 459E/CMSC 498R Inclass exercise February 10, 2015 In this inclass exercise, we will explore what it means for a problem to be intractable (i.e. it cannot be solved by an efficient algorithm). There
More informationsatisfiability (sat) Satisfiability unsatisfiability (unsat or sat complement) and validity Any Expression φ Can Be Converted into CNFs and DNFs
Any Expression φ Can Be Converted into CNFs and DNFs φ = x j : This is trivially true. φ = φ 1 and a CNF is sought: Turn φ 1 into a DNF and apply de Morgan s laws to make a CNF for φ. φ = φ 1 and a DNF
More informationRandomized Complexity Classes; RP
Randomized Complexity Classes; RP Let N be a polynomialtime precise NTM that runs in time p(n) and has 2 nondeterministic choices at each step. N is a polynomial Monte Carlo Turing machine for a language
More informationComplexity Theory: The P vs NP question
The $1M question Complexity Theory: The P vs NP question Lecture 28 (December 1, 2009) The Clay Mathematics Institute Millenium Prize Problems 1. Birch and SwinnertonDyer Conjecture 2. Hodge Conjecture
More informationComputational Models Lecture 9, Spring 2009
Slides modified by Benny Chor, based on original slides by Maurice Herlihy, Brown University. p. 1 Computational Models Lecture 9, Spring 2009 Reducibility among languages Mapping reductions More undecidable
More information15855: Intensive Intro to Complexity Theory Spring Lecture 7: The Permanent, Toda s Theorem, XXX
15855: Intensive Intro to Complexity Theory Spring 2009 Lecture 7: The Permanent, Toda s Theorem, XXX 1 #P and Permanent Recall the class of counting problems, #P, introduced last lecture. It was introduced
More information3 Probabilistic Turing Machines
CS 252  Probabilistic Turing Machines (Algorithms) Additional Reading 3 and Homework problems 3 Probabilistic Turing Machines When we talked about computability, we found that nondeterminism was sometimes
More informationLecture 12: Mapping Reductions
Lecture 12: Mapping Reductions October 18, 2016 CS 1010 Theory of Computation Topics Covered 1. The Language EQ T M 2. Mapping Reducibility 3. The Post Correspondence Problem 1 The Language EQ T M The
More informationTheory of Computation
Theory of Computation Dr. Sarmad Abbasi Dr. Sarmad Abbasi () Theory of Computation 1 / 33 Lecture 20: Overview Incompressible strings Minimal Length Descriptions Descriptive Complexity Dr. Sarmad Abbasi
More informationDefinition: Alternating time and space Game Semantics: State of machine determines who
CMPSCI 601: Recall From Last Time Lecture Definition: Alternating time and space Game Semantics: State of machine determines who controls, White wants it to accept, Black wants it to reject. White wins
More informationIdentifying an Honest EXP NP Oracle Among Many
Identifying an Honest EXP NP Oracle Among Many Shuichi Hirahara The University of Tokyo CCC 18/6/2015 Overview Dishonest oracle Honest oracle Queries Which is honest? Our Contributions Selector 1. We formulate
More informationU.C. Berkeley CS278: Computational Complexity Professor Luca Trevisan 9/6/2004. Notes for Lecture 3
U.C. Berkeley CS278: Computational Complexity Handout N3 Professor Luca Trevisan 9/6/2004 Notes for Lecture 3 Revised 10/6/04 1 SpaceBounded Complexity Classes A machine solves a problem using space s(
More informationComputational Complexity: A Modern Approach. Draft of a book: Dated January 2007 Comments welcome!
i Computational Complexity: A Modern Approach Draft of a book: Dated January 2007 Comments welcome! Sanjeev Arora and Boaz Barak Princeton University complexitybook@gmail.com Not to be reproduced or distributed
More informationChomsky Normal Form and TURING MACHINES. TUESDAY Feb 4
Chomsky Normal Form and TURING MACHINES TUESDAY Feb 4 CHOMSKY NORMAL FORM A contextfree grammar is in Chomsky normal form if every rule is of the form: A BC A a S ε B and C aren t start variables a is
More informationLecture 20: PSPACE. November 15, 2016 CS 1010 Theory of Computation
Lecture 20: PSPACE November 15, 2016 CS 1010 Theory of Computation Recall that PSPACE = k=1 SPACE(nk ). We will see that a relationship between time and space complexity is given by: P NP PSPACE = NPSPACE
More information2 Natural Proofs: a barrier for proving circuit lower bounds
Topics in Theoretical Computer Science April 4, 2016 Lecturer: Ola Svensson Lecture 6 (Notes) Scribes: Ola Svensson Disclaimer: These notes were written for the lecturer only and may contain inconsistent
More informationCSCI 1010 Models of Computa3on. Lecture 11 Proving Languages NPComplete
CSCI 1010 Models of Computa3on Lecture 11 Proving Languages NPComplete Overview P3me reduc3ons Composi3on of P3me reduc3ons Reduc3on from CIRCUIT SAT to SAT SAT is NPcomplete. 3SAT is NPcomplete.
More informationFORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY
15453 FORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY Chomsky Normal Form and TURING MACHINES TUESDAY Feb 4 CHOMSKY NORMAL FORM A contextfree grammar is in Chomsky normal form if every rule is of the form:
More informationCS154, Lecture 12: Kolmogorov Complexity: A Universal Theory of Data Compression
CS154, Lecture 12: Kolmogorov Complexity: A Universal Theory of Data Compression Rosencrantz & Guildenstern Are Dead (Tom Stoppard) Rigged Lottery? And the winning numbers are: 1, 2, 3, 4, 5, 6 But is
More informationIn this chapter we will show that certain classical algorithmic problems are NPcomplete.
Chapter 10 Some NPComplete Problems 10.1 Statements of the Problems In this chapter we will show that certain classical algorithmic problems are NPcomplete. This chapter is heavily inspired by Lewis
More information2 P vs. NP and Diagonalization
2 P vs NP and Diagonalization CS 6810 Theory of Computing, Fall 2012 Instructor: David Steurer (sc2392) Date: 08/28/2012 In this lecture, we cover the following topics: 1 3SAT is NP hard; 2 Time hierarchies;
More information9 Nondeterministic Turing Machines
Caveat lector: This is the zeroth (draft) edition of this lecture note. In particular, some topics still need to be written. Please send bug reports and suggestions to jeffe@illinois.edu. If first you
More informationCSE 548: (Design and) Analysis of Algorithms
1 / 38 CSE 548: (Design and) Analysis of Algorithms NP and Complexity Classes R. Sekar 2 / 38 Search and Optimization Problems Many problems of our interest are search problems with exponentially (or even
More informationCSE 105 THEORY OF COMPUTATION
CSE 105 THEORY OF COMPUTATION "Winter" 2018 http://cseweb.ucsd.edu/classes/wi18/cse105ab/ Today's learning goals Sipser Ch 4.2 Trace highlevel descriptions of algorithms for computational problems. Use
More informationBoolean circuits. Lecture Definitions
Lecture 20 Boolean circuits In this lecture we will discuss the Boolean circuit model of computation and its connection to the Turing machine model. Although the Boolean circuit model is fundamentally
More informationAnnouncements. Problem Set 6 due next Monday, February 25, at 12:50PM. Midterm graded, will be returned at end of lecture.
Turing Machines Hello Hello Condensed Slide Slide Readers! Readers! This This lecture lecture is is almost almost entirely entirely animations that that show show how how each each Turing Turing machine
More informationLecture 13: Foundations of Math and Kolmogorov Complexity
6.045 Lecture 13: Foundations of Math and Kolmogorov Complexity 1 SelfReference and the Recursion Theorem 2 Lemma: There is a computable function q : Σ* Σ* such that for every string w, q(w) is the description
More informationCSE 105 Theory of Computation
CSE 105 Theory of Computation http://www.jflap.org/jflaptmp/ Professor Jeanne Ferrante 1 Undecidability Today s Agenda Review and More Problems A NonTR Language Reminders and announcements: HW 7 (Last!!)
More informationNPCompleteness. Until now we have been designing algorithms for specific problems
NPCompleteness 1 Introduction Until now we have been designing algorithms for specific problems We have seen running times O(log n), O(n), O(n log n), O(n 2 ), O(n 3 )... We have also discussed lower
More informationFORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY
15453 FORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY KOLMOGOROVCHAITIN (descriptive) COMPLEXITY TUESDAY, MAR 18 CAN WE QUANTIFY HOW MUCH INFORMATION IS IN A STRING? A = 01010101010101010101010101010101
More informationAdvanced Topics in Theoretical Computer Science
Advanced Topics in Theoretical Computer Science Part 5: Complexity (Part II) 30.01.2014 Viorica SofronieStokkermans Universität KoblenzLandau email: sofronie@unikoblenz.de 1 Contents Recall: Turing
More informationDefinition: Alternating time and space Game Semantics: State of machine determines who
CMPSCI 601: Recall From Last Time Lecture 3 Definition: Alternating time and space Game Semantics: State of machine determines who controls, White wants it to accept, Black wants it to reject. White wins
More informationMa/CS 117c Handout # 5 P vs. NP
Ma/CS 117c Handout # 5 P vs. NP We consider the possible relationships among the classes P, NP, and conp. First we consider properties of the class of NPcomplete problems, as opposed to those which are
More informationComplexity Theory. Jörg Kreiker. Summer term Chair for Theoretical Computer Science Prof. Esparza TU München
Complexity Theory Jörg Kreiker Chair for Theoretical Computer Science Prof. Esparza TU München Summer term 2010 Lecture 4 NPcompleteness Recap: relations between classes EXP PSPACE = NPSPACE conp NP conp
More informationTheory of Computation CS3102 Spring 2015 A tale of computers, math, problem solving, life, love and tragic death
Theory of Computation CS3102 Spring 2015 A tale of computers, math, problem solving, life, love and tragic death Robbie Hott www.cs.virginia.edu/~jh2jf Department of Computer Science University of Virginia
More informationCSCI 1590 Intro to Computational Complexity
CSCI 1590 Intro to Computational Complexity Complement Classes and the Polynomial Time Hierarchy John E. Savage Brown University February 9, 2009 John E. Savage (Brown University) CSCI 1590 Intro to Computational
More informationAn Optimal Lower Bound for Nonregular Languages
An Optimal Lower Bound for Nonregular Languages Alberto Bertoni Carlo Mereghetti Giovanni Pighizzini Dipartimento di Scienze dell Informazione Università degli Studi di Milano via Comelico, 39 2035 Milano
More informationComputability Theory
Computability Theory Cristian S. Calude May 2012 Computability Theory 1 / 1 Bibliography M. Sipser. Introduction to the Theory of Computation, PWS 1997. (textbook) Computability Theory 2 / 1 Supplementary
More information1 The LowDegree Testing Assumption
Advanced Complexity Theory Spring 2016 Lecture 17: PCP with Polylogarithmic Queries and Sum Check Prof. Dana Moshkovitz Scribes: Dana Moshkovitz & Michael Forbes Scribe Date: Fall 2010 In this lecture
More informationPCPs and Inapproximability Gapproducing and GapPreserving Reductions. My T. Thai
PCPs and Inapproximability Gapproducing and GapPreserving Reductions My T. Thai 1 1 Hardness of Approximation Consider a maximization problem Π such as MAXE3SAT. To show that it is NPhard to approximation
More informationNotes on SpaceBounded Complexity
U.C. Berkeley CS172: Automata, Computability and Complexity Handout 7 Professor Luca Trevisan April 14, 2015 Notes on SpaceBounded Complexity These are notes for CS278, Computational Complexity, scribed
More informationLecture 8. MINDNF = {(φ, k) φ is a CNF expression and DNF expression ψ s.t. ψ k and ψ is equivalent to φ}
6.841 Advanced Complexity Theory February 28, 2005 Lecture 8 Lecturer: Madhu Sudan Scribe: Arnab Bhattacharyya 1 A New Theme In the past few lectures, we have concentrated on nonuniform types of computation
More informationCSCI3390Assignment 2 Solutions
CSCI3390Assignment 2 Solutions due February 3, 2016 1 TMs for Deciding Languages Write the specification of a Turing machine recognizing one of the following three languages. Do one of these problems.
More informationAutomata Theory CS Complexity Theory I: Polynomial Time
Automata Theory CS411201517 Complexity Theory I: Polynomial Time David Galles Department of Computer Science University of San Francisco 170: Tractable vs. Intractable If a problem is recursive, then
More informationLecture 2. 1 More N PCompete Languages. Notes on Complexity Theory: Fall 2005 Last updated: September, Jonathan Katz
Notes on Complexity Theory: Fall 2005 Last updated: September, 2005 Jonathan Katz Lecture 2 1 More N PCompete Languages It will be nice to find more natural N Pcomplete languages. To that end, we ine
More informationComplexity of DNF and Isomorphism of Monotone Formulas
Complexity of DNF and Isomorphism of Monotone Formulas Judy Goldsmith 1, Matthias Hagen 2, Martin Mundhenk 2 1 University of Kentucky, Dept. of Computer Science, Lexington, KY 40506 0046, goldsmit@cs.uky.edu
More informationSAT, Coloring, Hamiltonian Cycle, TSP
1 SAT, Coloring, Hamiltonian Cycle, TSP Slides by Carl Kingsford Apr. 28, 2014 Sects. 8.2, 8.7, 8.5 2 Boolean Formulas Boolean Formulas: Variables: x 1, x 2, x 3 (can be either true or false) Terms: t
More information