On small space complexity classes of stochastic Turing machines and Arthur-Merlin-games

1999 ◽  
Vol 8 (3) ◽  
pp. 273-307
Author(s):  
M. Liskiewicz ◽  
R. Reischuk
Keyword(s):  
Space Complexity ◽  
Complexity Classes ◽  
Turing Machines ◽  
Small Space

TWO TOPICS CONCERNING TWO-DIMENSIONAL AUTOMATA OPERATING IN PARALLEL

1992 ◽  
Vol 06 (02n03) ◽  
pp. 211-225 ◽  
Author(s):  
KATSUSHI INOUE ◽  
ITSUO SAKURAMOTO ◽  
MAKOTO SAKAMOTO ◽  
ITSUO TAKANAMI
Keyword(s):  
Turing Machine ◽  
Finite Automata ◽  
Space Complexity ◽  
Two Dimensional ◽  
Turing Machines ◽  
Small Space ◽  
Bottom Up ◽  
Constructible Function ◽  
Deterministic Turing Machine ◽  
Alternating Turing Machines

This paper deals with two topics concerning two-dimensional automata operating in parallel. We first investigate a relationship between the accepting powers of two-dimensional alternating finite automata (2-AFAs) and nondeterministic bottom-up pyramid cellular acceptors (NUPCAs), and show that Ω ( diameter × log diameter ) time is necessary for NUPCAs to simulate 2-AFAs. We then investigate space complexity of two-dimensional alternating Turing machines (2-ATMs) operating in small space, and show that if L (n) is a two-dimensionally space-constructible function such that lim n → ∞ L (n)/ loglog n > 1 and L (n) ≤ log n, and L′ (n) is a function satisfying L′ (n) =o (L(n)), then there exists a set accepted by some strongly L (n) space-bounded two-dimensional deterministic Turing machine, but not accepted by any weakly L′ (n) space-bounded 2-ATM, and thus there exists a rich space hierarchy for weakly S (n) space-bounded 2-ATMs with loglog n ≤ S (n) ≤ log n.

scholarly journals Space and time complexity for infinite time Turing machines

2020 ◽  
Vol 30 (6) ◽  
pp. 1239-1255
Author(s):  
Merlin Carl
Keyword(s):  
Time Complexity ◽  
Space Complexity ◽  
Complexity Classes ◽  
Turing Machines ◽  
Infinite Time ◽  
Space And Time ◽  
Open Questions ◽  
Separation Results ◽  
Ordinal Computability

Abstract We consider notions of space by Winter [21, 22]. We answer several open questions about these notions, among them whether low space complexity implies low time complexity (it does not) and whether one of the equalities P=PSPACE, P$_{+}=$PSPACE$_{+}$ and P$_{++}=$PSPACE$_{++}$ holds for ITTMs (all three are false). We also show various separation results between space complexity classes for ITTMs. This considerably expands our earlier observations on the topic in Section 7.2.2 of Carl (2019, Ordinal Computability: An Introduction to Infinitary Machines), which appear here as Lemma $6$ up to Corollary $9$.

ON THE POWER OF ONE-WAY GLOBALLY DETERMINISTIC SYNCHRONIZED ALTERNATING TURING MACHINES AND MULTIHEAD AUTOMATA

1995 ◽  
Vol 06 (04) ◽  
pp. 431-446 ◽  
Author(s):  
ANNA SLOBODOVÁ
Keyword(s):  
Turing Machine ◽  
Simple Form ◽  
Space Complexity ◽  
Complexity Classes ◽  
Turing Machines ◽  
Computational Power ◽  
Parallel Processes ◽  
Open Questions ◽  
The One ◽  
Alternating Turing Machines

The alternating model augmented by a special simple form of communication among parallel processes—the so-called synchronized alternating (SA) model, provides (besides others) nice characterizations of the space complexity classes defined by nondeterministic Turing machines. The model investigated in this paper — globally deterministic synchronized alternating (GDSA) model—is obtained by a feasible restriction of nondeterminism in SA. It is known that it characterizes the deterministic counterparts of the nondeterministic space classes characterized by the SA model. In the paper we resume in the investigation of GDSA solving the open questions about the computational power of the one-way GDSA models. It is known that in the case of space-bounded Turing machine and multihead automata, the one-way SA models are equivalent to their two-way counterparts. We show that the same holds for GDSA models. The results contribute to the knowledge about the model and imply new characterizations of the deterministic space complexity classes.

scholarly journals Uncountable classical and quantum complexity classes

2018 ◽  
Vol 52 (2-3-4) ◽  
pp. 111-126
Author(s):  
Maksims Dimitrijevs ◽  
Abuzer Yakaryılmaz
Keyword(s):  
Linear Space ◽  
Time Constant ◽  
Complexity Classes ◽  
Turing Machines ◽  
Small Space ◽  
Logarithmic Space ◽  
Unary Languages ◽  
Bounded Error ◽  
Counter Machines ◽  
Quantum Complexity

It is known that poly-time constant-space quantum Turing machines (QTMs) and logarithmic-space probabilistic Turing machines (PTMs) recognize uncountably many languages with bounded error (A.C. Cem Say and A. Yakaryılmaz, Magic coins are useful for small-space quantum machines. Quant. Inf. Comput. 17 (2017) 1027–1043). In this paper, we investigate more restricted cases for both models to recognize uncountably many languages with bounded error. We show that double logarithmic space is enough for PTMs on unary languages in sweeping reading mode or logarithmic space for one-way head. On unary languages, for quantum models, we obtain middle logarithmic space for counter machines. For binary languages, arbitrary small non-constant space is enough for PTMs even using only counter as memory. For counter machines, when restricted to polynomial time, we can obtain the same result for linear space. For constant-space QTMs, we obtain the result for a restricted sweeping head, known as restarting realtime.

Logical Characterizations of Bounded Query Classes I: Logspace Oracle Machines

1993 ◽  
Vol 18 (1) ◽  
pp. 65-92
Author(s):  
Iain A. Stewart
Keyword(s):  
Truth Table ◽  
Complexity Class ◽  
Polynomial Hierarchy ◽  
Complexity Classes ◽  
Turing Machines ◽  
Complete Problems

We consider three sub-logics of the logic (±HP)*[FOs] and show that these sub-logics capture the complexity classes obtained by considering logspace deterministic oracle Turing machines with oracles in NP where the number of oracle calls is unrestricted and constant, respectively; that is, the classes LNP and LNP[O(1)]. We conclude that if certain logics are of the same expressibility then the Polynomial Hierarchy collapses. We also exhibit some new complete problems for the complexity class LNP via projection translations (the first to be discovered: projection translations are extremely weak logical reductions between problems) and characterize the complexity class LNP[O(1)] as the closure of NP under a new, extremely strict truth-table reduction (which we introduce in this paper).

scholarly journals Limits to measurement in experiments governed by algorithms

2010 ◽  
Vol 20 (6) ◽  
pp. 1019-1050 ◽  
Author(s):  
EDWIN J. BEGGS ◽  
JOSÉ FÉLIX COSTA ◽  
JOHN V. TUCKER
Keyword(s):  
Physical Experiment ◽  
Complexity Classes ◽  
List Type ◽  
Turing Machines ◽  
Experimental Procedure ◽  
Physical Systems ◽  
Physical Measurements ◽  
Physical Experiments ◽  
Physical Quantities

We pose the following question: If a physical experiment were to be completely controlled by an algorithm, what effect would the algorithm have on the physical measurements made possible by the experiment?In a programme to study the nature of computation possible by physical systems, and by algorithms coupled with physical systems, we have begun to analyse: (i)the algorithmic nature of experimental procedures; and(ii)the idea of using a physical experiment as an oracle to Turing Machines. To answer the question, we will extend our theory of experimental oracles so that we can use Turing machines to model the experimental procedures that govern the conduct of physical experiments. First, we specify an experiment that measures mass via collisions in Newtonian dynamics and examine its properties in preparation for its use as an oracle. We begin the classification of the computational power of polynomial time Turing machines with this experimental oracle using non-uniform complexity classes. Second, we show that modelling an experimenter and experimental procedure algorithmically imposes a limit on what can be measured using equipment. Indeed, the theorems suggest a new form of uncertainty principle for our knowledge of physical quantities measured in simple physical experiments. We argue that the results established here are representative of a huge class of experiments.

Sign in / Sign up

Export Citation Format

Share Document