World Library  
Flag as Inappropriate
Email this Article

Symmetric Turing machine

Article Id: WHEBN0018510978
Reproduction Date:

Title: Symmetric Turing machine  
Author: World Heritage Encyclopedia
Language: English
Subject: Alan Turing, Turing machine, Computational complexity theory
Collection:
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Symmetric Turing machine

A symmetric Turing machine is a Turing machine which has a configuration graph that is undirected (that is, configuration i yields configuration j if and only if j yields i).

Definition of Symmetric Turing machines

Formally, we define a variant of Turing machines with a set of transitions of the form (p,ab,D,cd,q), where p,q are states, ab,cd are pairs of symbols and D is a direction. If D is left, then the head of a machine in state p above a tape symbol b preceded by a symbol a can be transitioned by moving the head left, changing the state to q and replacing the symbol a,b by c,d. The opposite transition (q,cd,-D,ab,q) can always be applied. If D is right the transition is analogous. This ability to peak at another symbol and change both at a time is non-essential, but makes the definition easier.

Such machines were first defined in 1982 by Lewis and Papadimitriou,[1][2] who were looking for a class in which to place USTCON, the problem asking whether there is a path between two given vertices s,t in an undirected graph. Until this time, it could be placed only in NL, despite seeming not to require nondeterminism (the asymmetric variant STCON was known to be complete for NL). Symmetric Turing machines are a kind of Turing machines with limited nondeterministic power, and were shown to be at least as powerful as deterministic Turing machines, giving an interesting case in between.

STIME(T(n)) is the class of the languages accepted by a symmetric Turing machine running in time O(T(n)). It can easily proved that STIME(T)=NTIME(T) by limiting the nondeterminism of any machine in NTIME(T) to an initial stage where a string of symbols is nondeterministically written, followed by deterministic computations.

SL=L

SSPACE(S(n)) is the class of the languages accepted by a symmetric Turing machine running in space O(S(n)) and SL=SSPACE(log(n)).

SL can equivalently be defined as the class of problems logspace reducible to USTCON. Lewis and Papadimitriou by their definition showed this by constructing a nondeterministic machine for USTCON with properties that they showed are sufficient to make a construction of an equivalent symmetric Turing machine possible. Then, they observed that any language in SL is logspace reducible to USTCON as from the properties of the symmetric computation we can view the special configuration as the undirected edges of the graph.

In 2004, Omer Reingold proved that SL=L by showing a deterministic algorithm for USTCON running in logarithmic space,[3] for which he received the 2005 Grace Murray Hopper Award and (together with Avi Wigderson and Salil Vadhan) the 2009 Gödel Prize. The proof uses the zig-zag product to efficiently construct expander graphs.

Notes

  1. ^ Jesper Jansson. Deterministic Space-Bounded Graph Connectivity Algorithms. Manuscript. 1998.
  2. ^ Harry R. Lewis and Christos H. Papadimitriou. Symmetric space-bounded computation. Theoretical Computer Science. pp.161-187. 1982.
  3. ^ Reingold, Omer (2004). "Undirected ST-Connectivity in Log-Space". Electronic Colloquium in Computational Complexity 094. 

References

  • Lecture Notes :CS369E: Expanders in Computer Science By Cynthia Dwork & Prahladh Harsha
  • Lecture Notes
  • Sharon Bruckner Lecture Notes
  • Deterministic Space Bounded Graph connectivity Algorithms Jesper Janson
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 



Copyright © World Library Foundation. All rights reserved. eBooks from World Library are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.