Title :
Hierarchy theorems for probabilistic polynomial time
Author :
Fortnow, Lance ; Santhanam, Rahul
Author_Institution :
Dept. of Comput. Sci., Chicago Univ., IL, USA
Abstract :
We show a hierarchy for probabilistic time with one bit of advice, specifically we show that for all real numbers 1 ≤ α ≤ β, BPTIME(nα)/l ⊆ BPTIME(nβ)/l. This result builds on and improves an earlier hierarchy of Barak using O(log log n) bits of advice. We also show that for any constant d > 0, there is a language L computable on average in BPP but not on average in BPTIME (nd). We build on Barak´s techniques by using a different translation argument and by a careful application of the fact that there is a PSPACE-complete problem L such that worst-case probabilistic algorithms for L take only slightly more time than average-case algorithms.
Keywords :
computational complexity; probability; Barak techniques; PSPACE-complete problem; hierarchy theorems; probabilistic polynomial time; probabilistic time; translation argument; worst-case probabilistic algorithm; Approximation algorithms; Computational modeling; Computer errors; Computer science; Computer simulation; Polynomials;
Conference_Titel :
Foundations of Computer Science, 2004. Proceedings. 45th Annual IEEE Symposium on
Print_ISBN :
0-7695-2228-9
DOI :
10.1109/FOCS.2004.33