Computational Limitations of Stochastic Turing Machines and Arthur-Merlin Games with Small Space Bounds

A Stochastic Turing machine (STM) is a Turing machine that can perform nondeterministic and probabilistic moves and alternate between both types. Such devices are also called games against nature, Arthur-Merlin games, or interactive proof systems with public coins. We give an overview on complexity classes defined by STMs with space resources between constant and logarithmic size and constant or sublinear bounds on the number of alternations. New lower space bounds are shown for a specific family of languages by exploiting combinatorial properties. These results imply an infinite hierarchy with respect to the number of alternations of STMs, and nonclosure properties of certain classes.

[1]  A. Selman,et al.  Complexity theory retrospective II , 1998 .

[2]  Albert G. Greenberg,et al.  A Lower Bound for Probabilistic Algorithms for Finite State Machines , 1984, J. Comput. Syst. Sci..

[3]  StockmeyerLarry,et al.  Finite state verifiers II , 1992 .

[4]  Carsten Lund Power of interaction , 1992, ACM Distinguished dissertations.

[5]  Rusins Freivalds,et al.  Fast Probabilistic Algorithms , 1979, MFCS.

[6]  Richard J. Lipton,et al.  On the complexity of space bounded interactive proofs , 1989, 30th Annual Symposium on Foundations of Computer Science.

[7]  Silvio Micali,et al.  The knowledge complexity of interactive proof-systems , 1985, STOC '85.

[8]  Kazuo Iwama ASPACE(o(log log n)) is Regular , 1993, SIAM J. Comput..

[9]  Manuel Blum,et al.  Contributions of theoretical computer science , 1995, SIGA.

[10]  Maciej Liskiewicz,et al.  Separating the Lower Levels of the Sublogarithmic Space Hierarchy , 1993, STACS.

[11]  Anne Condon,et al.  The Complexity of Space Boundes Interactive Proof Systems , 1993, Complexity Theory: Current Research.

[12]  Marek Karpinski,et al.  Lower Space Bounds for Randomized Computation , 1994, ICALP.

[13]  Maciej Liśkiewicz,et al.  Computing with sublogarithmic space , 1998 .

[14]  Christos H. Papadimitriou,et al.  Games against nature , 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).

[15]  Burchard von Braunmühl,et al.  The Alternation Hierarchy for Machines with Sublogarithmic Space is Infinite , 1994, STACS.

[16]  Cynthia Dwork,et al.  Finite state verifiers I: the power of interaction , 1992, JACM.

[17]  Lisa Hellerstein,et al.  On the Power of Finite Automata with Both Nondeterministic and Probabilistic States , 1998, SIAM J. Comput..

[18]  Maciej Liskiewicz Interactive Proof Systems with Public Coin: Lower Space Bounds and Hierarchies of Complexity Classes , 1997, STACS.

[19]  László Babai,et al.  Trading group theory for randomness , 1985, STOC '85.

[20]  Lisa Hellerstein,et al.  On the power of finite automata with both nondeterministic and probabilistic states (preliminary version) , 1994, STOC '94.

[21]  Rusins Freivalds,et al.  Probabilistic Two-Way Machines , 1981, MFCS.

[22]  Maciej Li,et al.  Space Bounds for Interactive Proof Systems with Public Coins and Bounded Number of Rounds , 1996 .

[23]  John T. Gill,et al.  Computational complexity of probabilistic Turing machines , 1974, STOC '74.

[24]  Shafi Goldwasser,et al.  Private coins versus public coins in interactive proof systems , 1986, STOC '86.

[25]  Viliam Geffert A Hierarchy That Does Not Collapse: Alternations in Low Level Space , 1994, RAIRO Theor. Informatics Appl..

[26]  Ioan I. Macarie Space-bounded probabilistic computation: old and new stories , 1995, SIGA.

[27]  Maciej Liskiewicz,et al.  The Sublogarithmic Alternating Space World , 1996, SIAM J. Comput..