[FOM] relativised complexity classes

Timothy Y. Chow tchow at alum.mit.edu
Fri Nov 13 23:12:21 EST 2015


On Wed, 11 Nov 2015, I wrote:
> In general, for almost any open problem in complexity theory of the form 
> "Does class X equal class Y?" there are known contradictory 
> relativizations.

When I wrote this, I knew that "almost any" could not be replaced by 
"any," but I realized that I could not think of any explicit 
counterexamples off the top of my head.  So I asked on StackExchange and 
got a good answer from Ryan Williams (BQP vs. PH):

http://cstheory.stackexchange.com/questions/33053/potentially-equal-complexity-classes-without-known-contradictory-relativizations

Tim


More information about the FOM mailing list