Kumar的《CNF形式布尔公式可满足性的必要和充分条件及其对P与NP问题的影响》的批评
摘要：在这篇论文中，我们分析了Kumar在技术报告《CNF布尔公式的可满足性问题的必要和充分条件以及其对P与NP问题的影响》中提出的论点。该论文声称提出了一个能够在多项式时间内判断CNF-SAT的算法。我们表明，该论文的分析存在缺陷，并且其算法的基本原理需要在无穷多个输入上进行指数级的步骤。
作者：Michael C. Chavrimootoo, Henry B. Welles
论文ID：2112.06062
分类：Computational Complexity
分类简称：cs.CC
提交时间：2021-12-14