||
知之为知之,不知为不知,是知也。- 孔子(前551年-前479年)
我平生只知道一件事,我为什么是那么无知。- 苏格拉底(前469年-前399年)
Abstract
The notion of nondeterminism has disappeared from the current definition of NP, which has led to ambiguities in understanding NP, and caused fundamental difficulties in studying the relation P versus NP. In this paper, we question the equivalence of the two definitions of NP, the one defining NP as the class of problems solvable by a nondeterministic Turing machine in polynomial time, and the other defining NP as the class of problems verifiable by a deterministic Turing machine in polynomial time, and reveal cognitive biases in this equivalence. Inspired from a famous Chinese paradox white horse is not horse, we further analyze these cognitive biases. The work shows that these cognitive biases arise from the confusion between different levels of nondeterminism and determinism, due to the lack of understanding about the essence of nondeterminism. Therefore, we argue that fundamental difficulties in understanding P versus NP lie firstly at cognition level, then logic level.
论文已在 arXiv 发布:http://arxiv.org/abs/1501.01906
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-11-23 08:56
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社