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

@inproceedings{Liskiewicz1997ComputationalLO,
  title={Computational Limitations of Stochastic Turing Machines and Arthur-Merlin Games with Small Space Bounds},
  author={Maciej Liskiewicz and R{\"u}diger Reischuk},
  booktitle={MFCS},
  year={1997}
}
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… 
On small space complexity classes of stochastic Turing machines and Arthur-Merlin-games
TLDR
This work investigates stochastic machines with space resources between constant and logarithmic size, and constant or sublinear bounds on the number of alternations between nondeterministic and probabilistic moves, and nonclosure properties of certain classes.
Probabilistic Algorithms and Complexity Classes
TLDR
This dissertation considers the computation which will always terminates in bounded time, as opposed to expected time, and shows that the coin with probability 1 2 or 1 3 is more expressive coin than the others, and designs an NC approximation algorithm for a variation of the shortest superstring problem.

References

SHOWING 1-10 OF 41 REFERENCES
Interactive Proof Systems with Public Coin: Lower Space Bounds and Hierarchies of Complexity Classes
TLDR
It is proved that for sublogarithmic space bounds, IPSs working in k rounds are less powerful than systems of 2kk−1 rounds of interactions, because any constant number of rounds can be reduced to 2 rounds.
Space Bounds for Interactive Proof Systems with Public Coins and Bounded Number of Rounds
TLDR
This paper studies interactive proof systems using public coin tosses, respectively Arthur-Merlin games, with a sublogarithmic space-bounded veriier and shows that such systems working with bounded number of rounds of interaction are unable to accept speciic languages.
On the power of finite automata with both nondeterministic and probabilistic states (preliminary version)
TLDR
It is shown that a language has constant l-tiling complexity if and only if it is regular, and the last lower bound follows by proving that the characteristic matrix of ever-y nonregular language has rank n for infinitely many n.
On the Power of Finite Automata with Both Nondeterministic and Probabilistic States
TLDR
It is shown that a language has constant 1-tiling complexity if and only if it is regular, from which the result on 1-way input follows, and the last lower bound follows by proving that the characteristic matrix of every nonregular language has rank n for infinitely many n.
The Alternation Hierarchy for Machines with Sublogarithmic Space is Infinite
TLDR
The alternation hierarchy for Turing machines with a space bound between loglog and log is infinite, and the σk− and IIk−classes are not comparable for k ≥ 2 and these classes are not closed under complementation.
Computing with sublogarithmic space
TLDR
This work investigates space complexity classes deened by Turing machines that use less than logarithmic space, and considers extension of these computational models by randomness, that means interactive proofs, resp.
Computational complexity of probabilistic Turing machines
TLDR
It is shown how probabilisticlinear-bounded automata can simulate nondeterministic linear-bounding automata and an example is given of a function computable more quickly by Probabilistic Turing machines than by deterministic Turing machines.
ASPACE(o(log log n)) is Regular
  • K. Iwama
  • Computer Science
    SIAM J. Comput.
  • 1993
TLDR
It is proved that if f(n) = o(\log \log n)$, then f (n)-space-bounded (off-line) alternating Turing machines can accept only regular sets.
A Lower Bound for Probabilistic Algorithms for Finite State Machines
The Sublogarithmic Alternating Space World
This paper tries to fully characterize the properties and relationships of space classes defined by Turing machines that use less than logarithmic space -- may they be deterministic, nondeterministic
...
...