References & Citations
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."
(Submitted on 11 Dec 2021)
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.
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.