We show several unconditional lower bounds for exponential time classes against polynomial time classes with advice, including: (1) For any constant c, NEXP not in P^{NP[n^c]} (2) For any constant c, MAEXP not in MA/n^c (3) BPEXP not in BPP/n^{o(1)}. It was previously unknown even whether NEXP in NP/n^{0.01}. For the probabilistic classes, no lower bounds for uniform exponential time against advice were known before. We also consider the question of whether these lower bounds can be made to work on almost all input lengths rather than on infinitely many. We give an oracle relative to which NEXP in i.o.NP, which provides evidence that this is not possible with current techniques
Proving that there are problems in PNP that require boolean circuits of super-linear size is a major...
We show that if RP does not have p-measure zero then ZPP = EXP. As corollaries we obtain a zero-one ...
We associate to each Boolean language complexity class C the algebraic class a.C consisting of famil...
We show several unconditional lower bounds for exponential time classes against polynomial time clas...
We show several unconditional lower bounds for exponential time classes against polynomial time clas...
We show several unconditional lower bounds for exponential time classes against polynomial time clas...
We strengthen the nondeterministic hierarchy theorem for non-deterministic polynomial time to show t...
We strengthen the nondeterministic hierarchy theorem for non-deterministic polynomial time to show t...
In a seminal work, Williams [22] showed that NEXP (nondeterministic exponential time) does not have ...
Lower bounds on circuit size were previously established for functions in Sigma^p_2, ZPP^NP, Sigma^e...
In this paper we present a Hashed-Path Traveling Salesperson Problem (HPTSP), a new type of problem ...
AbstractWe are interested in separating classes in the exponential-time hierarchy, EXPH, from classe...
Restricting the search space f0; 1g n to the set of truth tables of \easy " Boolean functions o...
AbstractRestricting the search space {0,1}n to the set of truth tables of “easy” Boolean functions o...
Andras Z. Salamon acknowledges support from EPSRC grants EP/P015638/1 and EP/V027182/1.We introduce ...
Proving that there are problems in PNP that require boolean circuits of super-linear size is a major...
We show that if RP does not have p-measure zero then ZPP = EXP. As corollaries we obtain a zero-one ...
We associate to each Boolean language complexity class C the algebraic class a.C consisting of famil...
We show several unconditional lower bounds for exponential time classes against polynomial time clas...
We show several unconditional lower bounds for exponential time classes against polynomial time clas...
We show several unconditional lower bounds for exponential time classes against polynomial time clas...
We strengthen the nondeterministic hierarchy theorem for non-deterministic polynomial time to show t...
We strengthen the nondeterministic hierarchy theorem for non-deterministic polynomial time to show t...
In a seminal work, Williams [22] showed that NEXP (nondeterministic exponential time) does not have ...
Lower bounds on circuit size were previously established for functions in Sigma^p_2, ZPP^NP, Sigma^e...
In this paper we present a Hashed-Path Traveling Salesperson Problem (HPTSP), a new type of problem ...
AbstractWe are interested in separating classes in the exponential-time hierarchy, EXPH, from classe...
Restricting the search space f0; 1g n to the set of truth tables of \easy " Boolean functions o...
AbstractRestricting the search space {0,1}n to the set of truth tables of “easy” Boolean functions o...
Andras Z. Salamon acknowledges support from EPSRC grants EP/P015638/1 and EP/V027182/1.We introduce ...
Proving that there are problems in PNP that require boolean circuits of super-linear size is a major...
We show that if RP does not have p-measure zero then ZPP = EXP. As corollaries we obtain a zero-one ...
We associate to each Boolean language complexity class C the algebraic class a.C consisting of famil...