2 citations · 3 across the 3 of their papers we have counts for
Showing cs.CCShow all
2 papers · 1 filter
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…
cs.CC2015★ 2 cited
What is Cook's theorem?
JianMing Zhou, Yu Li
In this paper, we make a preliminary interpretation of Cook's theorem presented in [1]. This interpretation reveals cognitive biases in the proof of Cook's theorem that arise from…