3

I have a meta-complexity question: Are there reasons to believe that it is more difficult to prove P != NP than, say PSPACE != EXPTIME or BPP != BQP?

D.W.
  • 159,275
  • 20
  • 227
  • 470
tparker
  • 1,096
  • 6
  • 16
  • 1
    See this related question:

    http://cs.stackexchange.com/questions/1877/how-not-to-solve-p-np.

    There are known barriers for separating $\mathsf{P},\mathsf{NP}$. I dont know if natural proofs or algebraization could be applied to $\mathsf{PSPACE},\mathsf{EXP}$, but diagonalization won't work.

     – Ariel Apr 23 '16 at 10:58
  • 1
    This is since we can find oracles relative to which $PSPACE=EXP$, and oracles for which they are different. $EXP^{EXP}\neq PSPACE^{EXP}$, and there are oracles for which $PSPACE=EXP$ (see "Randomness is Hard" by Buhrman and Torenvliet, they show the existence of an oracle relative to which $EXP^{NP}\subseteq BPP\subseteq PSPACE$, although this might be an overkill). – Ariel Apr 23 '16 at 10:59

0 Answers0