A Probabilistic-Time Hierarchy Theorem for “Slightly Non-uniform” Algorithms

  • Boaz Barak
Conference paper

DOI: 10.1007/3-540-45726-7_16

Volume 2483 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Barak B. (2002) A Probabilistic-Time Hierarchy Theorem for “Slightly Non-uniform” Algorithms. In: Rolim J.D.P., Vadhan S. (eds) Randomization and Approximation Techniques in Computer Science. RANDOM 2002. Lecture Notes in Computer Science, vol 2483. Springer, Berlin, Heidelberg

Abstract

Unlike other complexity measures such as deterministic and nondeterministic time and space, and non-uniform size, it is not known whether probabilistic time has a strict hierarchy. For example, as far as we know it may be that BPP is contained in the class BPtime(n). In fact, it may even be that the class BPtime(nlogn) is contained in the class BPtime(n).

In this work we prove that a hierarchy theorem does hold for “slightly non-uniform” probabilistic machines. Namely, we prove that for every function a:ℕ→ℕ where log log na(n) ≤ logn, and for every constant d≥ 1,
$$ BPtime(n^d )_{/a(n)} \mathop \subset \limits_ \ne BPP_{/a(n)} $$
here BPtime(t(n))/a(n) is defined to be the class of languages that are accepted by probabilistic Turing machines of running time t(n) and description size a(n). We actually obtain the stronger result that the class BPP/loglogn is not contained in the class BPtime(nd)/logn for every constant d ≥ 1.

We also discuss conditions under which a hierarchy theorem can be proven for fully uniform Turing machines. In particular we observe that such a theorem does hold if BPP has a complete problem.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Boaz Barak
    • 1
  1. 1.Department of Computer ScienceWeizmann Institute of ScienceRehovotIsrael