1 / 17

Are lower bounds hard to prove?

Are lower bounds hard to prove?. Michal Ko u ck ý Institute of Mathematics, Prague. Computational complexity. P = NP ? (for a record) I don’t believe P=NP. I don’t believe P NP. → Too early to tell. Common wisdom.

donar
Télécharger la présentation

Are lower bounds hard to prove?

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Are lower bounds hard to prove? Michal Koucký Institute of Mathematics, Prague

  2. Computational complexity P = NP ? (for a record) • I don’t believe P=NP. • I don’t believe PNP. → Too early to tell.

  3. Common wisdom “P differs from NP because we are so good at proving upper bounds but so bad in proving lower bounds.” “Lower bounds are so much harder to prove than designing an algorithm.”

  4. STOC 2011 Lower bounds 9 Tight bounds 15 Upper bounds 50 Unclassified 7

  5. You get what you pay for • ACM 100 000 members* • SIGACT 1 600 members+ • lower bound people 100 → We should see 100 - 1000x more upper bounds than lower bounds. Source: * Barbara Ryder, + Lance Fortnow.

  6. Complexity landscape Efficiently parallelizable AC0 ACC0  TC0 L  NL  NC  P  NP PH  PSPACE  EXP  NEXP • P  L or P  PSPACE → There are lower bounds we know are true but we cannot prove.

  7. Polynomial identity testing can be done deterministically in polynomial time, orE has sub-exponential size circuits. → There are upper bounds we know are true but we cannot prove.

  8. Algorithms are easy • Deterministic test of primality [Agrawal et al.’02] • Log-space algorithm for undirected s-t-connectivity [Reingold’03] • Graph isomorphism ???

  9. Our intuition never fails • Nondeterministic space is closed under complement [Immerman-Szelepsenyi’88] • Evaluating arithmetic formula using 3 registers [Barrington’86, Ben-Or-Cleve’88] • Linear Programming [Khachiyan’79]

  10. Our algorithmic horizon Most advanced algorithmic techniques: • Semidefinite Programming [Lovász] • Spectral methods • … ‘‘All’’ our polynomial time algorithms have running time O(n10)

  11. n10000 n1000 n100 n10 Time hierarchy

  12. Lower bounds via upper bounds • SAT  TimeSpace( n1.58, nδ) [Fortnow’00, …] Idea: • Assume that SAT is efficiently solvable then some harder problem is efficiently solvable as well. • Iterate, until you get a contradiction with a known lower bound (time hierarchy).

  13. Lower bounds via upper bounds • Lower bound amplification[K.-Allender’08] Idea: For certain problems (downwards self-reducible) if they are solvable by circuits of size nk then they are solvable by circuits of size n1+ε

  14. Lower bounds via upper bounds • NEXP  ACC0[Williams’11] Idea [Williams’10]: If Circuit-SAT can be solved in time 2n/nω(1) then NEXP  P/poly.

  15. Hardness vs Randomness [Impagliazzo-Wigderson’98, …] Pseudorandom generators existE requires circuits of size 2δn.

  16. Hardness vs Randomness [Impagliazzo et al. ‘01] NP=MANEXP  P/poly.

  17. Conclusions • Difficult problems are hard to resolvebe it upper bound or lower bound. • Until we have an optimal bound it is hard to predict which way it will go.

More Related