What Makes P vs. NP So Hard? (P ≠ EXPTIME, Time Hierarchy, Baker-Gill-Solovay)
Undefined Behavior Undefined Behavior
27.6K subscribers
17,621 views
0

 Published On Apr 9, 2018

There are a lot of unsolved problems in complexity theory, but there are a few things we do know. We look at the Time Hierarchy Theorem, and also why the proof techniques don't transfer to P vs NP.

Created by: Cory Chang
Produced by: Vivian Liu
Script Editor: Justin Chen, Zachary Greenberg, Elaine Chang, Brandon Chen
Music: Gravity Sound (   / @gravitysound  )

Twitter:   / ubehavior  



References:
P vs NP Playlist:    • P vs NP  
Exptime: https://en.wikipedia.org/wiki/EXPTIME
Time Hierarchy Theorem: https://en.wikipedia.org/wiki/Time_hi...
Baker-Gill-Solovay: https://www.quora.com/What-is-an-intu...
Oracles: https://en.wikipedia.org/wiki/Oracle_...
Relativization: https://ocw.mit.edu/courses/mathemati...
The Role of Relativization in Complexity Theory: http://people.cs.uchicago.edu/~fortno...

Lectures:
Time Hierarchy Theorem:    • Undergrad Complexity at CMU - Lecture...  
Why is P vs. NP Difficult?:    • Undergrad Complexity at CMU - Lecture...  

show more

Share/Embed