[FOM] why don't Solovay's theorem implies P!=NP?

Lasse Rempe L.Rempe at liverpool.ac.uk
Mon Mar 5 16:19:18 EST 2007


姚鹏晖 wrote:
> Solovay proved the theorem:
>   There is an oracle A such that P relative to A do not equal to NP relative A.
>
> If B and C are two complexity classes and B=C,  does B still equal  to
> C relative to any oracle?
No.

It is known, e.g. that IP = PSPACE; however, IP \neq PSPACE with respect 
to "almost all" oracles. Similarly, I am pretty sure that the famous PCP 
theorem does not hold with respect to all oracles. I believe 
Papadimitriou's book has a discussion and references. Others will be 
better informed than me, and may be able to point to more specific 
references.

-- 
-------------------------------------------
Dr. Lasse Rempe
Dept. of Math. Sciences, Univ. of Liverpool
Liverpool, L69 7ZL, United Kingdom
Office 505, Tel. +44 (0)151 794 4058  
L.Rempe at liverpool.ac.uk
http://pcwww.liv.ac.uk/~lrempe
-------------------------------------------



More information about the FOM mailing list