Probabilistic Turing machine: Difference between revisions

Revision as of 09:14, 2 April 2020

Latest revision as of 08:48, 3 February 2025

(24 intermediate revisions by 10 users not shown)

Line 1:

{{Short description|Mathematical model of computation}}

{{Use dmy dates|date=May 2020}}

{{turing}}

In [[theoretical computer science]], a '''probabilistic Turing machine''' is a [[non-deterministic Turing machine]] that chooses between the available [[State-transition table|transitions]] at each point according to some [[probability distribution]]. As a consequence, a probabilistic Turing machine can—unlikecan (unlike a deterministic Turing Machine—havemachine) have [[stochastic]] results; that is, on a given input and instruction state machine, it may have different run times, or it may not halt at all; furthermore, it may accept an input in one execution and reject the same input in another execution.

In the case of equal probabilities for the transitions, probabilistic Turing machines can be defined as deterministic [[Turing machine]]s having an additional "write" instruction where the value of the write is [[uniform distribution (discrete)|uniformly distributed]] in the Turing Machinemachine's alphabet (generally, an equal likelihood of writing a '"1'" or a '"0'" on to the tape). Another common reformulation is simply a [[deterministic Turing machine]] with an added tape full of random bits called the ''"random tape''".

A [[quantum computer]] (or [[quantum Turing machine]]) is another [[model of computation]] that is inherently [[probabilistic]].

==Description==

A probabilistic Turing machine is a type of [[nondeterministic Turing machine]] in which each nondeterministic step is a ''"coin-flip''—that", that is, at each step there are two possible next moves and the computationTuring machine probabilistically selects which move to take.<ref>{{cite book|last=Sipser|first=Michael|authorlink=Michael Sipser|title=Introduction to the Theory of Computation|edition=2nd|year=2006|publisher=Thomson Course Technology|___location=USA|page=368|isbn=978-0-534-95097-2|title-link=Introduction to the Theory of Computation}}</ref>

==Formal definition==

A probabilistic Turing machine can be formally defined as athe 7-tuple <math>M=(Q, \Sigma, \Gamma, \iotaq_0, A, \delta_1, \delta_2)</math>, where

* <math>Q</math> is a finite set of states

* <math>\Sigma</math> is the input alphabet

* <math>\Gamma</math> is a tape alphabet, which includes the blank symbol <math>\sqcup</math>'''#'''

* <math>\iotaq_0 \in Q</math> is the initial state

* <math>A \subseteq Q</math> is the set of accepting (final) states

* <math>\delta_1: Q \times \Gamma \to Q \times \Gamma \times \{L,R\} </math> is the first probabilistic transition function. <math>L</math> is thea movement one cell to the left on the Turing machine's tape and <math>R</math> is thea movement one cell to the right.

* <math>\delta_2: Q \times \Gamma \to Q \times \Gamma \times \{L,R\} </math> is the second probabilistic transition function.

At each step, the Turing machine probabilistically applies either the transition function <math>\delta_1</math> or the transition function <math>\delta_2</math>.<ref>{{cite book |last1=Arora |first1=Sanjeev|author1-link=Sanjeev Arora |last2=Barak |first2=Boaz|author2-link=Boaz Barak |title=Computational Complexity: A Modern Approach |date=2016 |publisher=Cambridge University Press |isbn=978-0-521-42426-4 |page=125}}</ref> This choice is made independently of all prior choices. In this way, the selectionprocess of selecting a transition function forat theeach computationstep toof followthe computation resembles a coin flip.

The probabilistic selection of the transition function at each step introduces error into the Turing machine; that is, strings which the Turing machine is meant to accept may on some occasions be rejected and strings which the Turing machine is meant to reject may on some occasions be accepted. To accommodate this, a language <math>L</math> is said to be recognized ''with error probability <math>\epsilon</math>'' by a probabilistic Turing machine <math>M</math> if:

# a string <math>w</math> in <math>L</math> implies that <math>\text{Pr}[M \text{ accepts } w] \geq 1 - \epsilon</math>

# a string <math>w</math> not in <math>L</math> implies that <math>\text{Pr}[M \text{ rejects } w] \geq 1 - \epsilon</math>

==Complexity classes==

{{unsolved|computer science|Is {{noitalic|'''P''' {{=}} '''BPP'''}} ?}}

TheAs a result of the error introduced by utilizing probabilistic coin tosses, the notion of acceptance of a string by a probabilistic Turing machine can be defined in different ways. VariousOne polynomial-timesuch randomizednotion [[computationalthat complexityincludes several important theory|complexity classes]] thatis resultallowing fromfor differentan definitionserror probability of acceptance1/3. includeFor [[RPinstance, the (complexity)|RP]], co-RP,class '''[[Bounded-error probabilistic polynomial|BPP]]''' andis [[ZPPdefined (complexity)|ZPP]]. Ifas the machineclass isof restrictedlanguages torecognized logarithmicby spacea insteadprobabilistic ofTuring polynomialmachine time, the analogousin [[RLpolynomial (complexity)|RLtime]], co-RL,with an error probability of 1/3. Another class defined using this notion of acceptance is '''[[BPL (complexity)|BPL]]''', andwhich [[ZPLis (complexity)|ZPL]]the complexitysame classesas are'''BPP''' obtained.but Byplaces enforcingthe bothadditional restrictions,restriction [[Randomizedthat Logarithmic-spacelanguages Polynomial-time|RLP]],must co-RLP,be solvable in [[BPLPLogarithmic growth|logarithmic]], and [[ZPLPspace complexity|space]] are yielded.

[[Complexity class]]es arising from other definitions of acceptance include '''[[RP (complexity)|RP]]''', '''co-RP''', and '''[[ZPP (complexity)|ZPP]]'''. If the machine is restricted to logarithmic space instead of polynomial time, the analogous '''[[RL (complexity)|RL]]''', '''co-RL''', and '''[[ZPL (complexity)|ZPL]]''' complexity classes are obtained. By enforcing both restrictions, '''[[Randomized Logarithmic-space Polynomial-time|RLP]]''', '''co-RLP''', '''[[BPLP]]''', and '''ZPLP''' are yielded.

Probabilistic computation is also critical for the definition of most classes of [[interactive proof system]]s, in which the verifier machine depends on randomness to avoid being predicted and tricked by the all-powerful prover machine. For example, the class '''[[IP (complexity)|IP]]''' equals '''[[PSPACE]]''', but if randomness is removed from the verifier, we are left with only '''[[NP (complexity)|NP]]''', which is not known but widely believed to be a considerably smaller class.

One of the central questions of complexity theory is whether randomness adds power; that is, is there a problem that can be solved in polynomial time by a probabilistic Turing machine but not a deterministic Turing machine? Or can deterministic Turing machines efficiently simulate all probabilistic Turing machines with at most a polynomial slowdown? It is currentlyknown widelythat believed'''P''' by&sube; researchers{{Who|date=November'''BPP''', 2010}}since thata thedeterministic latterTuring machine is thejust a special case of a probabilistic Turing machine. However, whichit wouldis implyuncertain whether (but widely suspected that) '''BPP''' &sube; '''P''', =implying that '''BPP''' = '''P'''. The same question for log space instead of polynomial time (does '''L''' = '''BPLP'''?) is even more widely believed to be true. On the other hand, the power randomness gives to interactive proof systems, as well as the simple algorithms it creates for difficult problems such as polynomial-time primality testing and log-space graph connectedness testing, suggests that randomness may add power.

==See also==

* [[Randomized algorithm]]

==Notes==

Line 36 ⟶ 44:

==References==

* {{cite book |last1=Arora |first1=Sanjeev|author1-link=Sanjeev Arora |last2=Barak |first2=Boaz|author2-link=Boaz Barak |title=Computational Complexity: A Modern Approach |date=2016 |publisher=Cambridge University Press |isbn=978-0-521-42426-4 |pages=123-142123–142}}

* {{cite book|last=Sipser|first=Michael|authorlink=Michael Sipser|title=Introduction to the Theory of Computation|edition=2nd|year=2006|publisher=Thomson Course Technology|___location=USA|isbn=978-0-534-95097-2|title-link=Introduction to the Theory of Computation|pages=368-380368–380}}

==External links==

* [https://xlinux.nist.gov/dads/HTML/probablturng.html NIST website on probabilistic Turing machines]

{{DEFAULTSORT:Probabilistic Turing Machine}}