figshare
Browse

File(s) not publicly available

P versus NP Answer

Version 12 2018-04-17, 15:46
Version 11 2018-03-12, 15:06
Version 10 2018-02-21, 00:19
Version 9 2018-02-18, 17:54
Version 8 2018-02-18, 12:56
Version 7 2018-02-18, 12:53
Version 6 2018-02-14, 22:04
Version 5 2018-01-29, 21:24
Version 4 2018-01-29, 14:59
Version 3 2018-01-10, 15:34
Version 2 2017-12-20, 14:16
Version 1 2017-12-17, 12:46
online resource
posted on 2018-04-17, 15:46 authored by Frank VegaFrank Vega
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. OTHER-L is a problem of deciding given a solution y of an instance x in a language L whether x has another solution different of y. The class OTHER-NP contains those languages OTHER-L where L is in NP. Another major complexity class is NP-complete. To attack the P versus NP question the concept of NP-completeness has been very useful. We show a previous known OTHER-NP language which is NP-complete. If any single NP-complete problem can be solved in polynomial time, then every NP problem has a polynomial time algorithm. Therefore, if P = OTHER-NP, then P = NP. Moreover, we show OTHER-SAT and OTHER-3SAT are complete for OTHER-NP. Furthermore, we show OTHER-SAT is NP-complete as well. Indeed, we prove OTHER-3SAT is not only complete for OTHER-NP, but it is also in P. In this way, we demonstrate the P versus NP problem.

History

Usage metrics

    Licence

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC