• DocumentCode
    2074869
  • Title

    Hierarchy theorems for probabilistic polynomial time

  • Author

    Fortnow, Lance ; Santhanam, Rahul

  • Author_Institution
    Dept. of Comput. Sci., Chicago Univ., IL, USA
  • fYear
    2004
  • fDate
    17-19 Oct. 2004
  • Firstpage
    316
  • Lastpage
    324
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Foundations of Computer Science, 2004. Proceedings. 45th Annual IEEE Symposium on
  • ISSN
    0272-5428
  • Print_ISBN
    0-7695-2228-9
  • Type

    conf

  • DOI
    10.1109/FOCS.2004.33
  • Filename
    1366251