# Interpretation of NDTM in the definition of NP

In this paper, we interpret NDTM (NonDeterministic Turing Machine) used to define NP by tracing to the source of NP. Originally NP was defined as the class of problems solvable in polynomial time by a NDTM in the theorem of Cook, where the NDTM was represented as Query Machine of essence Oracle. Later a model consisting of a guessing module and a checking module was proposed to replace the NDTM. This model of essence TM has a fundamental difference from the NDTM of essence Oracle, but people still use the term NDTM to designate this model, which leads to the disguised displacement of NDTM and produces out the verifier-based definition of NP as the class of problems verifiable in polynomial time by a TM (Turing Machine). This verifier-based one has been then accepted as the standard definition of NP where comes from the famous equivalence of the two definitions of NP. Since then the notion of nondeterminism is lost from NP, which causes ambiguities in understanding NP and then great difficulties in solving the P versus NP problem. Since NP is originally related with Oracle that comes from the work of Turing work about Computability, it seems quite necessary to trace back to the work of Turing and clarify further the issue about NP.

• 2 publications
• 112 publications
research
04/30/2019

### Inquiry of P-reduction in Cook's 1971 Paper – from Oracle machine to Turing machine

In this paper, we inquire the key concept P-reduction in Cook's theorem ...
research
04/30/2018

research
08/01/2018

### Overarching Computation Model (OCM)

Existing models of computation, such as a Turing machine (hereafter, TM)...
research
09/12/2018

### A Simple Elementary Proof of P=NP based on the Relational Model of E. F. Codd

The P versus NP problem is studied under the relational model of E. F. C...
research
11/03/2021

### On polynomially many queries to NP or QMA oracles

We study the complexity of problems solvable in deterministic polynomial...
research
11/04/2020

### Postulate-based proof of the P != NP hypothesis

The paper contains a proof for the P != NP hypothesis with the help of t...
research
07/12/2021

### On the undecidability of the Panopticon detection problem

The Panopticon (which means "watcher of everything") is a well-known str...