[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