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

Computer Science > Computational Complexity

Title: A Critique of Kumar's "Necessary and Sufficient Condition for Satisfiability of a Boolean Formula in CNF and Its Implications on P versus NP problem."

Abstract: In this paper, we analyze the argument made by Kumar in the technical report "Necessary and Sufficient Condition for Satisfiability of a Boolean Formula in CNF and Its Implications on P versus NP problem." The paper claims to present a polynomial-time algorithm that decides CNF-SAT. We show that the paper's analysis is flawed and that the fundamental underpinning of its algorithm requires an exponential number of steps on infinitely many inputs.
Comments: 8 pages, 1 figure, 1 algorithm
Subjects: Computational Complexity (cs.CC)
Cite as: arXiv:2112.06062 [cs.CC]
  (or arXiv:2112.06062v1 [cs.CC] for this version)

Submission history

From: Michael Chavrimootoo [view email]
[v1] Sat, 11 Dec 2021 19:59:01 GMT (10kb,D)

Link back to: arXiv, form interface, contact.