Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.

There is a newer version of the record available.

Published July 19, 2018 | Version v4
Preprint Open

P versus NP under codings

Creators

  • 1. Joysonic

Description

P versus NP is considered as one of the most important open problems in computer science. This consists in knowing the answer of the following question: Is P equal to NP? This question was first mentioned in a letter written by John Nash to the National Security Agency in 1955. A precise statement of the P versus NP problem was introduced independently in 1971 by Stephen Cook and Leonid Levin. Since that date, all efforts to find a proof for this problem have failed. We define a coding to be a mapping from symbols of some alphabet (not necessarily one-to-one). NP is closed under codings. However, P is closed under codings if and only if P = NP. Usually, the empty string is by definition not a symbol and thus it is not part of any alphabet. Nevertheless, we show a coding of a NP language which produces a NEXP-complete problem when the empty string is considered as a symbol. If P = NP, then this NEXP-complete language would be in P, but this is not possible due to the Hierarchy Theorem. In this way, we prove P is not equal to NP when the empty string is taken as a symbol.

Files

manuscript.pdf

Files (227.2 kB)

Name Size Download all
md5:e2eea123181fff038172fafb020b8798
227.2 kB Preview Download