A Class of Examples Demonstrating That 'P ≠ NP' in the 'P Vs NP' Problem

Computing Methodology eJournal (Elsevier: SSRN) 3 (19):1-19 (2020)
  Copy   BIBTEX

Abstract

The CMI Millennium “P vs NP Problem” can be resolved e.g. if one shows at least one counterexample to the "P = NP" conjecture. A certain class of problems being such counterexamples will be formulated. This implies the rejection of the hypothesis that "P = NP" for any conditions satisfying the formulation of the problem. Thus, the solution "P is different from NP" of the problem in general is proved. The class of counterexamples can be interpreted as any quantum superposition of any finite set of quantum states. The Kochen-Specker theorem is involved. Any fundamentally random choice among a finite set of alternatives belong to "NP" but not to "P". The conjecture that the set complement of "P" to "NP" can be described by that kind of choice exhaustively is formulated.

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Quantum Computer: Quantum Model and Reality.Vasil Penchev - 2020 - Epistemology eJournal (Elsevier: SSRN) 13 (17):1-7.
Contextualism and Nonlocality in Quantum Mechanics.Michael William Kernaghan - 1995 - Dissertation, The University of Western Ontario (Canada)
Conway–Kochen and the Finite Precision Loophole.Ronnie Hermens - 2014 - Foundations of Physics 44 (10):1038-1048.
Infinite Time Turing Machines With Only One Tape.D. E. Seabold & J. D. Hamkins - 2001 - Mathematical Logic Quarterly 47 (2):271-287.
Representation and Reality by Language: How to make a home quantum computer?Vasil Penchev - 2020 - Philosophy of Science eJournal (Elsevier: SSRN) 13 (34):1-14.
A Mathematical Model of Quantum Computer by Both Arithmetic and Set Theory.Vasil Penchev - 2020 - Information Theory and Research eJournal 1 (15):1-13.
Accelerating Turing machines.B. Jack Copeland - 2002 - Minds and Machines 12 (2):281-300.
Schütte's tautology and the Kochen-Specker theorem.Jeffrey Bub - 1996 - Foundations of Physics 26 (6):787-806.

Analytics

Added to PP
2020-08-07

Downloads
338 (#60,567)

6 months
77 (#63,552)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Vasil Penchev
Bulgarian Academy of Sciences

Citations of this work

No citations found.

Add more citations

References found in this work

The Problem of Hidden Variables in Quantum Mechanics.Simon Kochen & E. P. Specker - 1967 - Journal of Mathematics and Mechanics 17:59--87.
Principia Mathematica.Alfred North Whitehead & Bertrand Russell - 1950 - Cambridge,: Franklin Classics. Edited by Bertrand Russell.
The Free Will Theorem.John Conway & Simon Kochen - 2006 - Foundations of Physics 36 (10):1441-1473.

Add more references