Del in cylindrical and spherical coordinates

Template:More footnotes Template:Null In computational complexity theory, an alternating Turing machine (ATM) is a non-deterministic Turing machine (NTM) with a rule for accepting computations that generalizes the rules used in the definition of the complexity classes NP and co-NP. The concept of an ATM was set forth by Chandra and Stockmeyer and independently by Kozen in 1976, with a joint journal publication in 1981.

Definitions

Informal description

The definition of NP uses the existential mode of computation: if any choice leads to an accepting state, then the whole computation accepts. The definition of co-NP uses the universal mode of computation: only if all choices lead to an accepting state, then the whole computation accepts. An alternating Turing machine (or to be more precise, the definition of acceptance for such a machine) alternates between these modes.

An alternating Turing machine is a non-deterministic Turing machine whose states are divided into two sets: existential states and universal states. An existential state is accepting if some transition leads to an accepting state; a universal state is accepting if every transition leads to an accepting state. (Thus a universal state with no transitions accepts unconditionally; an existential state with no transitions rejects unconditionally). The machine as a whole accepts if the initial state is accepting.

Formal definition

Formally, a (one-tape) alternating Turing machine is a 5-tuple $M=(Q,\Gamma ,\delta ,q_{0},g)$ where

• $Q$ is the finite set of states
• $\Gamma$ is the finite tape alphabet
• $\delta :Q\times \Gamma \rightarrow {\mathcal {P}}(Q\times \Gamma \times \{L,R\})$ is called the transition function (L shifts the head left and R shifts the head right)
• $q_{0}\in Q$ is the initial state
• $g:Q\rightarrow \{\wedge ,\vee ,accept,reject\}$ specifies the type of each state

If M is in a state $q\in Q$ with $g(q)=accept$ then that configuration is said to be accepting, and if $g(q)=reject$ the configuration is said to be rejecting. A configuration with $g(q)=\wedge$ is said to be accepting if all configurations reachable in one step are accepting, and rejecting if some configuration reachable in one step is rejecting. A configuration with $g(q)=\vee$ is said to be accepting when there exists some configuration reachable in one step which is accepting and rejecting when all configurations reachable in one step are rejecting (this is the type of all states in an NTM). M is said to accept an input string w if the initial configuration of M (the state of M is $q_{0}$, the head is at the left end of the tape, and the tape contains w) is accepting, and to reject if the initial configuration is rejecting.

Resource bounds

When deciding if a configuration of an ATM is accepting or rejecting using the above definition, it is not necessary to examine all configurations reachable from the current configuration. In particular, an existential configuration can be labelled as accepting if any successor configuration is found to be accepting, and a universal configuration can be labelled as rejecting if any successor configuration is found to be rejecting.

An ATM decides a formal language in time $t(n)$ if, on any input of length $n$, examining configurations only up to $t(n)$ steps is sufficient to label the initial configuration as accepting or rejecting. An ATM decides a language in space $s(n)$ if examining configurations which do not modify tape cells beyond the $s(n)$ cell from the left is sufficient.

A language which is decided by some ATM in time $c\cdot t(n)$ for some constant $c>0$ is said to be in the class ${\rm {ATIME}}(t(n))$, and a language decided in space $c\cdot s(n)$ is said to be in the class ${\rm {ASPACE}}(s(n))$.

Example

Perhaps the simplest problem for alternating machines to solve is the quantified boolean formula problem, which is a generalization of the boolean satisfiability problem in which each variable can be bound by either an existential or a universal quantifier. The alternating machine branches existentially to try all possible values of an existentially quantified variable and universally to try all possible values of a universally quantified variable, in the left-to-right order in which they are bound. After deciding a value for all quantified variables, the machine accepts if the resulting boolean formula evaluates to true, and rejects if it evaluates to false. Thus at an existentially quantified variable the machine is accepting if a value can be substituted for the variable which renders the remaining problem satisfiable, and at a universally quantified variable the machine is accepting if any value can be substituted and the remaining problem is satisfiable.

Such a machine decides quantified boolean formulas in time $n^{2}$ and space $n$.

The boolean satisfiability problem can be viewed as the special case where all variables are existentially quantified, allowing ordinary nondeterminism, which uses only existential branching, to solve it efficiently.

Complexity classes and comparison to deterministic Turing machines

The following complexity classes are useful to define for ATMs:

• ${\rm {AP}}=\bigcup _{k>0}{\rm {ATIME}}(n^{k})$ are the languages decidable in polynomial time
• ${\rm {APSPACE}}=\bigcup _{k>0}{\rm {ASPACE}}(n^{k})$ are the languages decidable in polynomial space
• ${\rm {AEXPTIME}}=\bigcup _{k>0}{\rm {ATIME}}(k^{n})$ are the languages decidable in exponential time

These are similar to the definitions of P, PSPACE, and EXPTIME, considering the resources used by an ATM rather than a deterministic Turing machine. Chandra, Kozen, and Stockmeyer proved the theorems

• AP = PSPACE
• APSPACE = EXPTIME
• AEXPTIME = EXPSPACE
• $\mathrm {ASPACE} (f(n))=\bigcup _{c>0}{\rm {DTIME}}(2^{cf(n)})={\rm {DTIME}}(2^{O(f(n))})$
• $\mathrm {ATIME} (g(n))\subseteq {\rm {DSPACE}}(g(n))$
• $\mathrm {NSPACE} (g(n))\subseteq \bigcup _{c>0}{\rm {ATIME}}(c\times g(n)^{2}),$

when $f(n)\geq \log(n)$ and $g(n)\geq \log(n)$.

A more general form of these relationships is expressed by the parallel computation thesis.

Bounded alternation

Definition

Before you choose any particular company it is vital to understand in full how the different plans can vary. There is no other better method than to create a message board so that people can relax and "chill" on your website and check out your articles more. You should read the HostGator review, even before registering with a web hosting company. but Hostgator in addition considers the surroundings. You can even use a Hostgator reseller coupon for unlimited web hosting at HostGator! Most of individuals by no means go for yearly subscription and choose month to month subscription. Several users commented that this was the deciding factor in picking HostGator but in any case there is a 45 day Money Back Guarantee and there is no contract so you can cancel at any time. GatorBill is able to send you an email notice about the new invoice. In certain cases a dedicated server can offer less overhead and a bigger revenue in investments. With the plan come a Free Billing Executive, Free sellers account and Free Hosting Templates.



This is one of the only things that require you to spend a little money to make money. Just go make an account, get a paypal account, and start selling. To go one step beyond just affiliating products and services is to create your own and sell it through your blog. Not great if you really enjoy trying out all the themes. Talking in real time having a real person causes it to be personal helping me personally to sort out how to proceed. The first step I took was search for a discount code, as I did with HostGator. Using a HostGator coupon is a beneficial method to get started. As long as the necessities are able to preserve the horizontal functionality of your site, you would pretty much be fine. An alternating Turing machine with k alternations is an alternating Turing machine which switches from an existential to a universal state or vice versa no more than k−1 times. (It is an alternating Turing machine whose states are divided into k sets. The states in even-numbered sets are universal and the states in odd-numbered sets are existential (or vice versa). The machine has no transitions between a state in set i and a state in set j < i.)

${\rm {ATIME}}(C,j)=\Sigma _{j}{\rm {TIME}}(C)$ is the class of function in time $f\in C$ beginning by existential state and alternating at most $j-1$ times. It is called the $j$th level of the ${\rm {TIME}}(C)$ hierarchy.

${\rm {coATIME}}(C,j)=\Pi _{j}{\rm {TIME}}(C)$ is the same classes, but beginning by a universal state, it is the complement of the language of ${\rm {ATIME}}(f,j)$.

${\rm {ASPACE}}(C,j)=\Sigma _{\rm {SPACE}}(C)$ is defined similarly for space bounded computation.

Example

Consider the circuit minimization problem: given a circuit A computing a Boolean function f and a number n, determine if there is a circuit with at most n gates that computes the same function f. An alternating Turing machine, with one alternation, starting in an existential state, can solve this problem in polynomial time (by guessing a circuit B with at most n gates, then switching to a universal state, guessing an input, and checking that the output of B on that input matches the output of A on that input).

Collapsing classes

It is said that a hierarchy collapses to level $j$ if every language in level $k\geq j$ of the hierarchy is in its level $j$.

As a corollary of the Immerman–Szelepcsényi theorem, the logarithmic space hierarchy collapses to its first level. As a corollary the ${\rm {SPACE}}(f)$ hierarchy collapses to its first level when $f=\Omega (\log )$ is space constructiblePotter or Ceramic Artist Truman Bedell from Rexton, has interests which include ceramics, best property developers in singapore developers in singapore and scrabble. Was especially enthused after visiting Alejandro de Humboldt National Park..

Special cases

An alternating Turing machine in polynomial time with k alternations, starting in an existential (respectively, universal) state can decide all the problems in the class $\Sigma _{k}^{p}$ (respectively, $\Pi _{k}^{p}$). These classes are sometimes denoted $\Sigma _{k}{\rm {P}}$ and $\Pi _{k}{\rm {P}}$, respectively. See the polynomial hierarchy article for details.

Another special case of time hierarchies is the logarithmic hierarchy.

References

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 Section 10.3: Alternation, pp. 348–354.
• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 Section 10.3: Alternation, pp. 380–386.
• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 Section 16.2: Alternation, pp. 399–401.