1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.OH2019
Inquiry of P-reduction in Cook's 1971 Paper -- from Oracle machine to Turing machine
JianMing Zhou, Yu Li
In this paper, we inquire the key concept P-reduction in Cook's theorem and reveal that there exists the fallacy of definition in P-reduction caused by the disguised displacement o…
cs.CC2019★ 1 cited
Interpretation of NDTM in the definition of NP
JianMing Zhou, Yu Li
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…