We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.CC

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Computational Complexity

Title: Necessary and Sufficient Condition for Satisfiability of a Boolean Formula in CNF and its Implications on P versus NP problem

Authors: Manoj Kumar
Abstract: Boolean satisfiability problem has applications in various fields. An efficient algorithm to solve satisfiability problem can be used to solve many other problems efficiently. The input of satisfiability problem is a finite set of clauses. In this paper, properties of clauses have been studied. A type of clauses have been defined, called fully populated clauses, which contains each variable exactly once. A relationship between two unequal fully populated clauses has been defined, called sibling clauses. It has been found that, if one fully populated clause is false, for a truth assignment, then all it's sibling clauses will be true for the same truth assignment. Which leads to the necessary and sufficient condition for satisfiability of a boolean formula, in CNF. The necessary and sufficient condition has been used to develop a novel algorithm to solve boolean satisfiability problem in polynomial time, which implies, P equals NP. Further, some optimisations have been provided that can be integrated with the algorithm for better performance.
Comments: Second Revision: 17 Pages, Affiliation and email address of author added, elaborated Optimisations section, refined theorem 10.8, references updated, typing errors corrected Third Revision: 22 pages, complexity calculated on instance size, results changed, algorithm and related sections added
Subjects: Computational Complexity (cs.CC)
Cite as: arXiv:2101.05597 [cs.CC]
  (or arXiv:2101.05597v3 [cs.CC] for this version)

Submission history

From: Manoj Kumar [view email]
[v1] Wed, 13 Jan 2021 06:55:56 GMT (53kb)
[v2] Tue, 19 Jan 2021 15:36:59 GMT (40kb)
[v3] Mon, 24 May 2021 01:03:01 GMT (207kb,D)

Link back to: arXiv, form interface, contact.