• Corpus ID: 239049903

Diagonalization of Polynomial-Time Turing Machines Via Nondeterministic Turing Machine

@article{Lin2021DiagonalizationOP,
  title={Diagonalization of Polynomial-Time Turing Machines Via Nondeterministic Turing Machine},
  author={Tianrong Lin},
  journal={ArXiv},
  year={2021},
  volume={abs/2110.06211}
}
The diagonalization technique was invented by Cantor to show that there are more real numbers than algebraic numbers, and is very important in computer science. In this work, we enumerate all polynomial-time deterministic Turing machines and diagonalize over all of them by an universal nondeterministic Turing machine. As a result, we obtain that there is a language Ld not accepted by any polynomial-time deterministic Turing machines but accepted by a nondeterministic Turing machine working… 
View PDF on arXiv
3 Citations
Background Citations
2
Methods Citations
2

Figures from this paper

3 Citations

Citation Type

Citation Type

The Separation of NP and PSPACE
TLDR
This paper shows that NP 6= PSPACE via the premise of NTIME[S(n)] ⊆ DSPACE[S (n)], and then by diagonalization over all polynomial-time nondeterministic Turing machines via universal nondetergetic Turing machine M0 running in O(n ) space for any k ∈ N1.
Resolution of The Linear-Bounded Automata Question
This work resolve a longstanding open question in automata theory, i.e. the linear-bounded automata question ( shortly, LBA question), which can also be phrased succinctly in the language of…
On Baker-Gill-Solovay Oracle Turing Machines and Relativization Barrier
TLDR
It is shown that the diagonalization technique is a valid mathematical proof technique, but it has some prerequisites when referring to “Relativization barrier”.

References

SHOWING 1-10 OF 46 REFERENCES
The P versus NP Problem
TLDR
P is a robust class and has equivalent definitions over a large class of computer models because Turing machines, the standard computer model in computability theory, are defined in terms of Turing machines.
Resolution of The Linear-Bounded Automata Question
This work resolve a longstanding open question in automata theory, i.e. the linear-bounded automata question ( shortly, LBA question), which can also be phrased succinctly in the language of…
The complexity of theorem-proving procedures
  • S. Cook
  • Mathematics, Computer Science
    STOC
  • 1971
It is shown that any recognition problem solved by a polynomial time-bounded nondeterministic Turing machine can be “reduced” to the problem of determining whether a given propositional formula is a…
Two-Tape Simulation of Multitape Turing Machines
TLDR
The trade-off relation between number of tapes and speed of computation can be used in a diagonalization argument to show that, if a given function requires computation time T for a k-tape realization, then it requires at most computation time log T log log log for a two-Tape realization.
A hierarchy for nondeterministic time complexity
TLDR
For any real numbers r1, r2, 1 ≤ r1 < r2 , there is a set A of strings which has nondeterministic time complexity nr2 but not nondeterdependencies nr1, and the computing devices are non-deterministic multitape Turing machines.
Algebrization: A New Barrier in Complexity Theory
TLDR
This article systematically goes through basic results and open problems in complexity theory to delineate the power of the new algebrization barrier, and shows that almost all of the major open problems---including P versus NP, P versus RP, and NEXP versus P/poly---will require non-algebrizing techniques.
On the Structure of Polynomial Time Reducibility
TLDR
The method of showing density ymlds the result that if P ~ NP then there are members of NP -P that are not polynomml complete is shown, which means there is a strictly ascending sequence with a minimal pair of upper bounds to the sequence.
On Computable Numbers, with an Application to the Entscheidungsproblem
TLDR
This chapter discusses the application of the diagonal process of the universal computing machine, which automates the calculation of circle and circle-free numbers.
Complexity and Real Computation
  • L. Blum
  • Mathematics, Computer Science
    Springer New York
  • 1998
TLDR
This chapter discusses decision problems and Complexity over a Ring and the Fundamental Theorem of Algebra: Complexity Aspects.
Formal languages and their relation to automata
  • J. Hopcroft, J. Ullman
  • Computer Science
    Addison-Wesley series in computer science and information processing
  • 1969
TLDR
The theory of formal languages as a coherent theory is presented and its relationship to automata theory is made explicit, including the Turing machine and certain advanced topics in language theory.
...
1
2
3
4
5
...