Showing 1–2 of 2 results for author: Latkin, I V

A correspondence between the time and space complexity

Authors: Ivan V. Latkin

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 Meyer and Stockmeyer method will appreciably be used for this simulation. It will be proved using this modeling that the com… ▽ More 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 Meyer and Stockmeyer method will appreciably be used for this simulation. It will be proved using this modeling that the complexity classes Deterministic Exponential Time and Deterministic Polynomial Space coincide. It will also be proven that any language recognized in polynomial time can be recognized in almost logarithmic space. Furthermore, this allows us slightly to 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, the lower complexity bound of the language recognition △ Less

Submitted 22 December, 2024; v1 submitted 2 November, 2023; originally announced November 2023.

Comments: 29 pages, 18 references bibliography; text overlap with arXiv:1907.04521 because the paper is created in the same method. This is a corrected version of the preprint arXiv:2311.01184 submitted originally on November 2, 2023

MSC Class: 68Q15 (Primary); 68Q17; 03D15; 03B70 (Secondary) ACM Class: F.1.1; F.1.3; F.2.3; F.4.1; F.4.2; F.4.3

The complexity of the first-order theory of pure equality

Authors: Ivan V. Latkin

Abstract: We will find a lower bound on the recognition complexity of the theories that are nontrivial relative to some equivalence relation (this relation may be equality), namely, each of these theories is consistent with the formula, whose sense is that there exist two non-equivalent elements. However, at first, we will obtain a lower bound on the computational complexity for the first-order theory of Bo… ▽ More We will find a lower bound on the recognition complexity of the theories that are nontrivial relative to some equivalence relation (this relation may be equality), namely, each of these theories is consistent with the formula, whose sense is that there exist two non-equivalent elements. However, at first, we will obtain a lower bound on the computational complexity for the first-order theory of Boolean algebra that has only two elements. For this purpose, we will code the long-continued deterministic Turing machine computations by the relatively short-length quantified Boolean formulae; the modified Stockmeyer and Meyer method will appreciably be used for this simulation. Then, we will transform the modeling formulae of the theory of this Boolean algebra to the simulation ones of the first-order theory of the only equivalence relation in polynomial time. Since the computational complexity of these theories is not polynomial, we obtain that the class $\mathbf{P}$ is a proper subclass of $\mathbf{PSPACE}$ (Polynomial Time is a proper subset of Polynomial Space). Keywords: Computational complexity, the theory of equality, the coding of computations, simulation by means formulae, polynomial time, polynomial space, lower complexity bound △ Less

Submitted 4 July, 2021; v1 submitted 10 July, 2019; originally announced July 2019.

Comments: 40 pages, 19 references bibliography. https://mathscinet.ams.org/mathscinet-getitem?mr=4407204

Report number: MR4407204 MSC Class: 03C40; 03C07; 03D15; 68Q05; 68Q15; 68Q17 ACM Class: F.1.1; F.2.3; F.4.2

Journal ref: I. V. Latkin, The recognition complexity of decidable theories, Eurasian Math. J., 2022, Volume 13, Number 1, 44--68