There is a newer version of the record available.

Published April 4, 2020 | Version v56
Preprint Open

P versus NP

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? It was essentially mentioned in 1955 from a letter written by John Nash to the United States National Security Agency. However, a precise statement of the P versus NP problem was introduced independently by Stephen Cook and Leonid Levin. Since that date, all efforts to find a proof for this problem have failed. Another major complexity classes are L and NL. Whether L = NL is another fundamental question that it is as important as it is unresolved. We demonstrate that every problem in NP could be NL-reduced to another problem in L. In this way, we prove that NP is equal to NL with L Oracle. Moreover, we show that every problem in NP is in L with NL Oracle, since it is well-known that the logarithmic space oracle hierarchy collapses to L with NL Oracle.

Files

manuscript.pdf

Files (401.2 kB)

Name Size Download all
md5:b4da900832631332b877ef2e562c7635
401.2 kB Preview Download