Abstract
We show several unconditional lower bounds for exponential time classes against polynomial time classes with advice, including:
-
1
For any constant c, \({\sf NEXP} \not \subseteq {\rm{\sf P}}^{\sf NP[n^c]}/n^c\)
-
1
For any constant c, \({\sf MAEXP} \not \subseteq {\rm {\sf MA}}/n^c\)
-
1
\({\sf BPEXP} \not \subseteq {\sf BPP}/n^{o(1)}\)
It was previously unknown even whether NEXP ⊆ 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 ⊆ io NP, which provides evidence that this is not possible with current techniques.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Allender, E., Gore, V.: A uniform circuit lower bound for the permanent. SIAM Journal on Computing 23(5), 1026–1049 (1994)
Aaronson, S., Wigderson, A.: Algebrization: A New Barrier in Complexity Theory. ACM Trans. Comput. Theory 1(1), 1–54 (2009), http://doi.acm.org/10.1145/1490270.1490272
Buhrman, H., Fenner, S., Fortnow, L., Torenvliet, L.: Two oracles that force a big crunch. Computational Complexity 10(2), 93–116 (2001)
Babai, L., Fortnow, L., Lund, C.: Non-deterministic exponential time has two-prover interactive protocols. Computational Complexity 1, 3–40 (1991)
Baker, T., Gill, J., Solovay, R.: Relativizations of the P =? NP question. SIAM Journal on Computing 4(4), 431–442 (1975)
Cook, S.: A hierarchy for nondeterministic time complexity. In: Conference Record, Fourth Annual ACM Symposium on Theory of Computing, Denver, Colorado, May 1-3, 1972, pp. 187–192 (1972)
Fortnow, L., Lipton, R., van Melkebeek, D., Viglas, A.: Time-space lower bounds for satisfiability. Journal of the ACM 52(6), 833–865 (2005)
Fortnow, L., Santhanam, R.: Hierarchy theorems for probabilistic polynomial time. In: Proceedings of the 45th IEEE Symposium on Foundations of Computer Science, pp. 316–324 (2004)
Fortnow, L., Santhanam, R., Trevisan, L.: Promise hierarchies. Electronic Colloquium on Computational Complexity (ECCC) 11(98) (2004)
Fortnow, L., Santhanam, R., Trevisan, L.: Hierarchies for semantic classes. In: Proceedings of the Thirty-Seventh Annual ACM Symposium on Theory of Computing (2005)
Homer, S., Mocas, S.: Nonuniform lower bounds for exponential time classes. In: 20th International Symposium on Mathematical Foundations of Computer Science, pp. 159–168 (1995)
Impagliazzo, R., Kabanets, V., Wigderson, A.: In search of an easy witness: Exponential time vs. probabilistic polynomial time. Journal of Computer and System Sciences 65(4), 672–694 (2002)
Kabanets, V., Impagliazzo, R.: Derandomizing polynomial identity tests means proving circuit lower bounds. In: Proceedings of the 35th Annual ACM Symposium on the Theory of Computing, pp. 355–364 (2003)
Karpinski, M., Verbeek, R.: On the monte carlo space constructible functions and separation results for probabilistic complexity classes. Information and Computation 75 (1987)
Klivans, A.R., van Melkebeek, D.: Graph Nonisomorphism Has Subexponential Size Proofs Unless the Polynomial-Time Hierarchy Collapses. SIAM J. Comput. 31(5), 1501–1526 (2002), http://dx.doi.org/10.1137/S0097539700389652
Mocas, S.E.: Separating classes in the exponential-time hierarchy from classes in PH. Theoretical Computer Science 158(1-2), 221–231 (1996)
Nisan, N., Wigderson, A.: Hardness vs randomness. Journal of Computer and System Sciences 49(2), 149–167 (1994)
Razborov, A., Rudich, S.: Natural proofs. Journal of Computer and System Sciences 55(1), 24–35 (1997)
Rackoff, C., Seiferas, J.: Limitations on separating nondeterministic complexity classes. SIAM Journal on Computing 10(4), 742–745 (1981)
Seiferas, J., Fischer, M., Meyer, A.: Separating nondeterministic time complexity classes. Journal of the ACM 25(1), 146–167 (1978)
Trevisan, L., Vadhan, S.: Pseudorandomness and average-case complexity via uniform reductions. In: Proceedings of the 17th Annual IEEE Conference on Computational Complexity, vol. 17 (2002)
van Melkebeek, D., Pervyshev, K.: A generic time hierarchy for semantic models with one bit of advice. In: Proceedings of 21st Annual IEEE Conference on Computational Complexity, pp. 129–144 (2006)
Žák, S.: A Turing machine time hierarchy. Theoretical Computer Science 26(3), 327–333 (1983)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Buhrman, H., Fortnow, L., Santhanam, R. (2009). Unconditional Lower Bounds against Advice. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S., Thomas, W. (eds) Automata, Languages and Programming. ICALP 2009. Lecture Notes in Computer Science, vol 5555. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02927-1_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-02927-1_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02926-4
Online ISBN: 978-3-642-02927-1
eBook Packages: Computer ScienceComputer Science (R0)