- Record: found
- Abstract: found
- Article: found
Note for the P versus NP Problem (II)
Abstract
P versus NP is considered as one of the most fundamental 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 class is NP-complete. It is well-known that P is equal to NP under the assumption of the existence of a polynomial time algorithm for some NP-complete. We show that the Monotone Weighted-2-satisfiability problem (MW2SAT) is NP-complete and P at the same time. Certainly, we make a polynomial time reduction from every undirected graph and positive integer k in the Vertex Cover problem to an instance of MW2SAT. In this way, we show that MW2SAT is also an NP-complete problem. Moreover, we create and implement a polynomial time algorithm which decides the instances of MW2SAT. Consequently, we prove that P = NP.
Content
Author and article information
References
Fortnow Lance. The status of the P versus NP problem. Communications of the ACM. Vol. 52(9):78–86. 2009. Association for Computing Machinery (ACM). [Cross Ref]
Parameterized Complexity Theory. 2006. Springer Berlin Heidelberg. [Cross Ref]
Galil Zvi. Efficient algorithms for finding maximum matching in graphs. ACM Computing Surveys. Vol. 18(1):23–38. 1986. Association for Computing Machinery (ACM). [Cross Ref]