对Chen的“2-MAXSAT问题可在多项式时间内求解”的评述
计算复杂性
2024-04-02 v1
摘要
本文审视了Yangjun Chen的技术报告“The 2-MAXSAT Problem Can Be Solved in Polynomial Time”[Che23]，该报告修订并扩展了其同名会议论文[Che22]。Chen的论文声称通过将2-CNF公式转换为一个图然后搜索，为NP完全问题2-MAXSAT构建了一个多项式时间算法。我们通过多个反例表明Chen提出的算法存在缺陷，并且发现他们创建的结构缺乏正确定义的形式化定义。此外，我们阐述了作者如何未能证明其算法的正确性，以及他们如何在其提出的解决方案的时间分析中做出过度概括。由于这些问题，我们得出结论，Chen的技术报告[Che23]和会议论文[Che22]都未能提供P=NP的证明。
引用
@article{arxiv.2404.00006,
title = {A Critique of Chen's "The 2-MAXSAT Problem Can Be Solved in Polynomial Time"},
author = {Tran Duy Anh Le and Michael P. Reidy and Eliot J. Smith},
journal= {arXiv preprint arXiv:2404.00006},
year = {2024}
}