Download presentation

Presentation is loading. Please wait.

Published byAshley Woodham Modified over 3 years ago

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 bounds15 Upper bounds50 Unclassified 7

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

6
Complexity landscape AC 0 ACC 0 TC 0 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. Efficiently parallelizable

7
Polynomial identity testing can be done deterministically in polynomial time, or E 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(n 10 )

11
Time hierarchy n 10 n 100 n 1000 n 10000

12
Lower bounds via upper bounds SAT TimeSpace( n 1.58, n δ ) [Fortnow’00, …] Idea: 1. Assume that SAT is efficiently solvable then some harder problem is efficiently solvable as well. 2. 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 n k then they are solvable by circuits of size n 1+ε

14
Lower bounds via upper bounds NEXP ACC 0 [Williams’11] Idea [Williams’10] : If Circuit-SAT can be solved in time 2 n /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 resolve be it upper bound or lower bound. Until we have an optimal bound it is hard to predict which way it will go.

Similar presentations

Presentation is loading. Please wait....

OK

Analysis of Algorithms CS 477/677

Analysis of Algorithms CS 477/677

© 2018 SlidePlayer.com Inc.

All rights reserved.

To ensure the functioning of the site, we use **cookies**. We share information about your activities on the site with our partners and Google partners: social networks and companies engaged in advertising and web analytics. For more information, see the Privacy Policy and Google Privacy & Terms.
Your consent to our cookies if you continue to use this website.

Ads by Google

Ppt on history of england Ppt on polarisation of light Seminar ppt on google glass Ppt on history generation and classification of computer Ppt on management by objectives Product mix ppt on nestle jobs Download ppt on operating system Presentations ppt online training Ppt on natural resources download Ppt on m-commerce and f-commerce