Non-Uniform Computation

Non-Uniform Computation

Non-Uniform Computation Lecture 10 Non-Uniform Computational Models: Circuits 1 Non-Uniform Computation 2 Non-Uniform Computation Uniform: Same program for all (the infinitely many) inputs 2 Non-Uniform Computation Uniform: Same program for all (the infinitely many) inputs Non-uniform: A different “program” for each input size 2 Non-Uniform Computation Uniform: Same program for all (the infinitely many) inputs Non-uniform: A different “program” for each input size Then complexity of building the program and executing the program 2 Non-Uniform Computation Uniform: Same program for all (the infinitely many) inputs Non-uniform: A different “program” for each input size Then complexity of building the program and executing the program Sometimes will focus on the latter alone 2 Non-Uniform Computation Uniform: Same program for all (the infinitely many) inputs Non-uniform: A different “program” for each input size Then complexity of building the program and executing the program Sometimes will focus on the latter alone Not entirely realistic if the program family is uncomputable or very complex to compute 2 Non-uniform advice 3 Non-uniform advice Program: TM M and advice strings {An} 3 Non-uniform advice Program: TM M and advice strings {An} M given A|x| along with x 3 Non-uniform advice Program: TM M and advice strings {An} M given A|x| along with x An can be the program for inputs of size n 3 Non-uniform advice Program: TM M and advice strings {An} M given A|x| along with x An can be the program for inputs of size n n |An|=2 is sufficient 3 Non-uniform advice Program: TM M and advice strings {An} M given A|x| along with x An can be the program for inputs of size n n |An|=2 is sufficient But {An} can be uncomputable (even if just one bit long) 3 Non-uniform advice Program: TM M and advice strings {An} M given A|x| along with x An can be the program for inputs of size n n |An|=2 is sufficient But {An} can be uncomputable (even if just one bit long) e.g. advice to decide undecidable unary languages 3 P/poly and P/log 4 P/poly and P/log DTIME(T)/a 4 P/poly and P/log DTIME(T)/a Languages decided by a TM in time T(n) using non-uniform advice of length a(n) 4 P/poly and P/log DTIME(T)/a Languages decided by a TM in time T(n) using non-uniform advice of length a(n) c d P/poly = ∪c,d,k>0 DTIME(kn )/kn 4 P/poly and P/log DTIME(T)/a Languages decided by a TM in time T(n) using non-uniform advice of length a(n) c d P/poly = ∪c,d,k>0 DTIME(kn )/kn c P/log = ∪c,k>0 DTIME(kn )/k log n 4 NP vs. P/log, P/poly 5 NP vs. P/log, P/poly P/log (or even DTIME(1)/1) has undecidable languages 5 NP vs. P/log, P/poly P/log (or even DTIME(1)/1) has undecidable languages e.g. unary undecidable languages 5 NP vs. P/log, P/poly P/log (or even DTIME(1)/1) has undecidable languages e.g. unary undecidable languages So P/log cannot be contained in any of the uniform complexity classes 5 NP vs. P/log, P/poly P/log (or even DTIME(1)/1) has undecidable languages e.g. unary undecidable languages So P/log cannot be contained in any of the uniform complexity classes P/log contains P 5 NP vs. P/log, P/poly P/log (or even DTIME(1)/1) has undecidable languages e.g. unary undecidable languages So P/log cannot be contained in any of the uniform complexity classes P/log contains P Does P/log or P/poly contain NP? 5 NP ⊆ P/log ⇒ NP=P 6 NP ⊆ P/log ⇒ NP=P Recall finding witness for an NP language is Turing reducible to deciding the language 6 Search using Decision 7 Search using Decision Suppose given “oracles” for deciding all NP languages, can we easily find certificates? 7 Search using Decision Suppose given “oracles” for deciding all NP languages, can we easily find certificates? Yes! So, if decision easy (i.e., oracles realizable), then search is easy too! 7 Search using Decision Suppose given “oracles” for deciding all NP languages, can we easily find certificates? Yes! So, if decision easy (i.e., oracles realizable), then search is easy too! Say need to find w s.t. (x,w) ∈ L’ 7 Search using Decision Suppose given “oracles” for deciding all NP languages, can we easily find certificates? Yes! So, if decision easy (i.e., oracles realizable), then search is easy too! Say need to find w s.t. (x,w) ∈ L’ consider L1 in NP: (x,y) ∈ L1 iff ∃z s.t. (x,yz) ∈ L’. (i.e., can y be a prefix of a certificate for x). 7 Search using Decision Suppose given “oracles” for deciding all NP languages, can we easily find certificates? Yes! So, if decision easy (i.e., oracles realizable), then search is easy too! Say need to find w s.t. (x,w) ∈ L’ consider L1 in NP: (x,y) ∈ L1 iff ∃z s.t. (x,yz) ∈ L’. (i.e., can y be a prefix of a certificate for x). Query L1-oracle with (x,0) and (x,1). One of the two must be positive: say (x,0) ∈ L1; then first bit of w be 0. 7 Search using Decision Suppose given “oracles” for deciding all NP languages, can we easily find certificates? Yes! So, if decision easy (i.e., oracles realizable), then search is easy too! Say need to find w s.t. (x,w) ∈ L’ consider L1 in NP: (x,y) ∈ L1 iff ∃z s.t. (x,yz) ∈ L’. (i.e., can y be a prefix of a certificate for x). Query L1-oracle with (x,0) and (x,1). One of the two must be positive: say (x,0) ∈ L1; then first bit of w be 0. For next bit query oracle with (x,00) and (x,01) 7 Search using Decision Suppose given “oracles” for deciding all NP languages, can we easily find certificates? Yes! So, if decision easy (i.e., oracles reaUseliza L2 blsoe tha), t (x,z,pad) then search is easy too! in L2 iff (x,z) in L1. Can query L2 with same size instances Say need to find w s.t. (x,w) ∈ L’ consider L1 in NP: (x,y) ∈ L1 iff ∃z s.t. (x,yz) ∈ L’. (i.e., can y be a prefix of a certificate for x). Query L1-oracle with (x,0) and (x,1). One of the two must be positive: say (x,0) ∈ L1; then first bit of w be 0. For next bit query oracle with (x,00) and (x,01) 7 NP ⊆ P/log ⇒ NP=P Recall finding witness for an NP language is Turing reducible to deciding the language 8 NP ⊆ P/log ⇒ NP=P Recall finding witness for an NP language is Turing reducible to deciding the language If NP ⊆ P/log, then for each L in NP, there is a poly-time TM with log advice which can find witness (via self- reduction) 8 NP ⊆ P/log ⇒ NP=P Recall finding witness for an NP language is Turing reducible to deciding the language If NP ⊆ P/log, then for each L in NP, there is a poly-time TM with log advice which can find witness (via self- reduction) Guess advice (poly many), and for each guessed advice, run the TM and see if it finds witness 8 NP ⊆ P/log ⇒ NP=P Recall finding witness for an NP language is Turing reducible to deciding the language If NP ⊆ P/log, then for each L in NP, there is a poly-time TM with log advice which can find witness (via self- reduction) Guess advice (poly many), and for each guessed advice, run the TM and see if it finds witness If no advice worked (one of them was correct), then input not in language 8 P NP ⊆ P/poly ⇒ PH=Σ2 9 P NP ⊆ P/poly ⇒ PH=Σ2 P P Will show Π2 = Σ2 9 P NP ⊆ P/poly ⇒ PH=Σ2 P P Will show Π2 = Σ2 P Consider L = {x| ∀w1 (x,w1) ∈ L’ } ∈ Π2 where L’ = {(x,w1)| ∃w2 F(x,w1,w2)} ∈ NP 9 P NP ⊆ P/poly ⇒ PH=Σ2 P P Will show Π2 = Σ2 P Consider L = {x| ∀w1 (x,w1) ∈ L’ } ∈ Π2 where L’ = {(x,w1)| ∃w2 F(x,w1,w2)} ∈ NP If NP ⊆ P/poly then consider M with advice {An} which finds witness for L’: i.e. if (x,w1) ∈ L’, then M(x,w1; An) outputs a witness w2 s.t. F(x,w1,w2) 9 P NP ⊆ P/poly ⇒ PH=Σ2 P P Will show Π2 = Σ2 P Consider L = {x| ∀w1 (x,w1) ∈ L’ } ∈ Π2 where L’ = {(x,w1)| ∃w2 F(x,w1,w2)} ∈ NP If NP ⊆ P/poly then consider M with advice {An} which finds witness for L’: i.e. if (x,w1) ∈ L’, then M(x,w1; An) outputs a witness w2 s.t. F(x,w1,w2) L = {x| ∃z ∀w1 F(x, w1, M(x,w1; z)) } 9 Boolean Circuits 0 1 10 Boolean Circuits 0 1 Directed acyclic graph 10 Boolean Circuits 0 1 Directed acyclic graph Nodes: AND, OR, NOT, CONST gates, inputs, output(s) 10 Boolean Circuits 0 1 Directed acyclic graph Nodes: AND, OR, NOT, CONST gates, inputs, output(s) Edges: Boolean valued wires 10 Boolean Circuits 0 1 Directed acyclic graph Nodes: AND, OR, NOT, CONST gates, inputs, output(s) Edges: Boolean valued wires AND/OR fan-ins can be bounded (say two) or unbounded 10 Boolean Circuits 0 1 Directed acyclic graph Nodes: AND, OR, NOT, CONST gates, inputs, output(s) Edges: Boolean valued wires AND/OR fan-ins can be bounded (say two) or unbounded Acyclic: output well-defined 10 Boolean Circuits 0 1 Directed acyclic graph Nodes: AND, OR, NOT, CONST gates, inputs, output(s) Edges: Boolean valued wires AND/OR fan-ins can be bounded (say two) or unbounded Acyclic: output well-defined Note: no memory gates 10 Boolean Circuits 0 1 Directed acyclic graph Nodes: AND, OR, NOT, CONST gates, inputs, output(s) Edges: Boolean valued wires AND/OR fan-ins can be bounded (say two) or unbounded Acyclic: output well-defined Note: no memory gates Size of circuit: number of wires 10 Boolean Circuits x q0 x 11 Boolean Circuits x q0 x Recall: a TM’s execution on inputs of fixed length can be captured by a Boolean circuit 11 Boolean Circuits x q0 x Recall: a TM’s execution on inputs of fixed length can be captured by a Boolean circuit From proof of Cook’s theorem 11 Boolean Circuits x q0 x Recall: a TM’s execution on inputs of fixed length can be captured by a Boolean circuit From proof of Cook’s theorem Size of circuit polynomially related to running time of TM 11 Boolean Circuits x q0 x Recall: a TM’s execution on inputs of fixed length can be captured by a Boolean circuit From proof of Cook’s theorem Size of circuit polynomially related to running time of TM If poly time TM, then poly sized circuit 11 Boolean Circuits (x,An) An,q0 x 12

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    107 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us