Matches in SemOpenAlex for { <https://semopenalex.org/work/W4293529050> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4293529050 abstract "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 the attempt of constructing a formula in CNF to represent a computation of a nondeterministic Turing machine. Such cognitive biases are due to the lack of understanding about the essence of nondeterminism, and lead to the confusion between different levels of nondeterminism and determinism, thus cause the loss of nondeterminism from the NP-completeness theory. The work shows that Cook's theorem is the origin of the loss of nondeterminism in terms of 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. Therefore, we argue that fundamental difficulties in understanding P versus NP lie firstly at cognition level, then logic level." @default.
- W4293529050 created "2022-08-30" @default.
- W4293529050 creator A5018073672 @default.
- W4293529050 creator A5048680635 @default.
- W4293529050 date "2015-01-08" @default.
- W4293529050 modified "2023-09-27" @default.
- W4293529050 title "What is Cook's theorem?" @default.
- W4293529050 doi "https://doi.org/10.48550/arxiv.1501.01910" @default.
- W4293529050 hasPublicationYear "2015" @default.
- W4293529050 type Work @default.
- W4293529050 citedByCount "0" @default.
- W4293529050 crossrefType "posted-content" @default.
- W4293529050 hasAuthorship W4293529050A5018073672 @default.
- W4293529050 hasAuthorship W4293529050A5048680635 @default.
- W4293529050 hasBestOaLocation W42935290501 @default.
- W4293529050 hasConcept C11413529 @default.
- W4293529050 hasConcept C118615104 @default.
- W4293529050 hasConcept C131671149 @default.
- W4293529050 hasConcept C15190523 @default.
- W4293529050 hasConcept C154945302 @default.
- W4293529050 hasConcept C176181172 @default.
- W4293529050 hasConcept C199360897 @default.
- W4293529050 hasConcept C2777212361 @default.
- W4293529050 hasConcept C2780069185 @default.
- W4293529050 hasConcept C29248071 @default.
- W4293529050 hasConcept C33923547 @default.
- W4293529050 hasConcept C41008148 @default.
- W4293529050 hasConcept C45374587 @default.
- W4293529050 hasConcept C48415503 @default.
- W4293529050 hasConcept C527412718 @default.
- W4293529050 hasConcept C56049555 @default.
- W4293529050 hasConcept C91331118 @default.
- W4293529050 hasConceptScore W4293529050C11413529 @default.
- W4293529050 hasConceptScore W4293529050C118615104 @default.
- W4293529050 hasConceptScore W4293529050C131671149 @default.
- W4293529050 hasConceptScore W4293529050C15190523 @default.
- W4293529050 hasConceptScore W4293529050C154945302 @default.
- W4293529050 hasConceptScore W4293529050C176181172 @default.
- W4293529050 hasConceptScore W4293529050C199360897 @default.
- W4293529050 hasConceptScore W4293529050C2777212361 @default.
- W4293529050 hasConceptScore W4293529050C2780069185 @default.
- W4293529050 hasConceptScore W4293529050C29248071 @default.
- W4293529050 hasConceptScore W4293529050C33923547 @default.
- W4293529050 hasConceptScore W4293529050C41008148 @default.
- W4293529050 hasConceptScore W4293529050C45374587 @default.
- W4293529050 hasConceptScore W4293529050C48415503 @default.
- W4293529050 hasConceptScore W4293529050C527412718 @default.
- W4293529050 hasConceptScore W4293529050C56049555 @default.
- W4293529050 hasConceptScore W4293529050C91331118 @default.
- W4293529050 hasLocation W42935290501 @default.
- W4293529050 hasOpenAccess W4293529050 @default.
- W4293529050 hasPrimaryLocation W42935290501 @default.
- W4293529050 hasRelatedWork W1564708081 @default.
- W4293529050 hasRelatedWork W1802608971 @default.
- W4293529050 hasRelatedWork W1982129592 @default.
- W4293529050 hasRelatedWork W2006558104 @default.
- W4293529050 hasRelatedWork W2013091420 @default.
- W4293529050 hasRelatedWork W2051933114 @default.
- W4293529050 hasRelatedWork W2951313060 @default.
- W4293529050 hasRelatedWork W4211168588 @default.
- W4293529050 hasRelatedWork W4293529050 @default.
- W4293529050 hasRelatedWork W4300950794 @default.
- W4293529050 isParatext "false" @default.
- W4293529050 isRetracted "false" @default.
- W4293529050 workType "article" @default.