Abstract:We investigate the correspondence between the time and space recognition complexity of languages; for this purpose, we will code the long-continued computations of deterministic two-tape Turing machines by the relatively short-length quantified Boolean formulae. The modified Stockmeyer and Meyer method will appreciably be used for this simulation. It will be proved using this modeling that the complexity classes $\mathbf{EXP}$ and $\mathbf{PSPACE}$ coincide; and more generally, the class $(k\!+\!1)$-fold Deterministic Exponential Time equals to the class $k$-fold Deterministic Exponential Space for each $k\geqslant1$; the space complexity of the languages of the class $\mathbf{P}$ will also be studied. Furthermore, this allows us to slightly improve the early founded lower complexity bound of decidable theories that are nontrivial relative to some equivalence relation (this relation may be equality) -- each of these theories is consistent with the formula, which asserts that there are two non-equivalent elements. Keywords: computational complexity, the coding of computations through formulae, exponential time, polynomial space, lower complexity bound of the language recognition

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to explore the corresponding relationship between time complexity and space complexity, especially to study the time and space recognition complexity of languages by encoding the long - time operations of deterministic two - tape Turing machines into shorter quantified Boolean formulas. The core objective of the paper is to prove that the complexity classes EXP and PSPACE are equal, and more broadly to prove that the $(k + 1)$EXP class ($(k + 1)$-fold deterministic exponential time) is equal to the $k$EXPSPACE class ($k$-fold deterministic exponential space) for each $k\geqslant1$. In addition, the paper also studies the space complexity of languages in the P class and, on this basis, improves the earlier lower complexity bounds of non - trivial decidable theories with respect to certain equivalence relations (this relation can be an equal sign). Specifically, the main contributions of the paper include: 1. **Equivalence of complexity classes**: It is proved that the EXP and PSPACE classes are the same, that is, $\text{EXP}=\text{PSPACE}$. This result is obtained by an inductive proof of the complexity classes $(k + 1)$EXP and $k$EXPSPACE. 2. **Inclusion relations of complexity classes**: It is proved that the $(k + 1)$EXP class is contained in the $k$EXPSPACE class, and the equivalence of the two is further proved by the padding argument. 3. **Complexity lower bounds of decidable theories**: The earlier complexity lower bounds of non - trivial decidable theories are improved, especially for the theory Th(B) of the binary Boolean algebra $B$ and the language TQBF, it is proved that they do not belong to 2 - DTIME$[\exp(D\cdot n^{\rho})]$, where $\rho=(2 + \epsilon)^{-1}$ and $\epsilon>0$. ### Main methods and techniques The paper uses the method of immediately encoding machine actions to simulate the computation process of Turing machines by quantified Boolean formulas. Specific techniques include: - **Cook method**: Used to simulate the actions of non - deterministic Turing machines within polynomial time and generate polynomially bounded $\exists$-formulas. - **Stockmeyer and Meyer method**: Used to generate quantified Boolean formulas that can simulate the computation of Turing machines within polynomial space, especially for handling long - time computations. - **Improved Stockmeyer and Meyer method**: By introducing more complex formula structures, the length of the formula is reduced, so that the formula describing the actions of Turing machines can be constructed within polynomial time. ### Main theorems and corollaries - **Theorem 2.1 (Modeling theorem)**: For any input string $X$ and deterministic two - tape Turing machine $P$, there exists a closed Boolean formula $\Omega_m(X, P)$ that is True when $P$ accepts the input $X$ and the computation time does not exceed $\exp(m(|X|))$. In addition, the length and construction time of the formula $\Omega_m(X, P)$ have clear upper bounds. - **Corollary 2.1**: Under the conditions of the theorem, if $n\leqslant m(n)\leqslant Cn$, then for any $\epsilon>0$, there exists a constant $D_C>0$ such that for a sufficiently long $X$, the inequality $|\Omega_m(X, P)|\leqslant D_C\cdot|X|^{2 + \epsilon}$ holds. - **Corollary 2.2**: For any $\epsilon>0$, the language TQBF and the theory Th(B) do not belong to 2 - DTIME$[\exp(D\cdot n^{\rho})]$, where $\rho=(2 + \epsilon)^{-1}$ and \(n^{\epsilon}\geqslant

A correspondence between the time and space complexity

Quantitative Coding and Complexity Theory of Continuous Data

Representation Theory of Compact Metric Spaces and Computational Complexity of Continuous Data

The complexity of computing in continuous time: space complexity is precision

Choiceless Computation and Symmetry: Limitations of Definability

Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations

State Complexity Characterizations of Parameterized Degree-Bounded Graph Connectivity, Sub-Linear Space Computation, and the Linear Space Hypothesis

Computation Environments, An Interactive Semantics for Turing Machines (which P is not equal to NP considering it)

Characterisations of Variant Transfinite Computational Models: Infinite Time Turing, Ordinal Time Turing, and Blum-Shub-Smale machines

Computability Theory of Closed Timelike Curves

Lifting query complexity to time-space complexity for two-way finite automata

Complexity of Operators on Compact Sets.

Cons-free Programs and Complexity Classes between LOGSPACE and PTIME

Logical Characterizations of Weighted Complexity Classes

The Existential Theory of the Reals with Summation Operators

PERMUTATION COMPLEXITY AND THE LETTER DOUBLING MAP

A Galois connection between Turing jumps and limits

Overlays and Limited Memory Communication

Quantum Proof Systems for Iterated Exponential Time, and Beyond.

On Complexity and Duality

THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE