P versus NP under codings
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 |