评估“SAT 需要穷举搜索”的论断
计算复杂性
2023-12-05 v1
摘要
在本文中，我们仔细审视了 Xu 和 Zhou 在其论文“SAT 需要穷举搜索”[XZ23] 中提出的论断，该论文声称对所谓的 Model RB 的复杂性给出了下界。Xu 和 Zhou得出结论，认为他们的结果意味着 P 和 NP 的分离，因为这个下界据称证明了强指数时间假设（SETH）为真。在审查 Xu 和 Zhou 的论证时，我们发现了其主要定理中的一个缺陷。作者假设 Model RB 的算法必须具有某种能够利用向下自归约性的结构，并论证这样的算法不能在多项式时间内运行。我们论证这种结构并不保证存在，因此他们的论文既没有证明 SETH 为真，也没有证明 P NP。
引用
@article{arxiv.2312.02071,
title = {Evaluating the Claims of "SAT Requires Exhaustive Search"},
author = {Michael C. Chavrimootoo and Yumeng He and Matan Kotler-Berkowitz and Harry Liuson and Zeyu Nie},
journal= {arXiv preprint arXiv:2312.02071},
year = {2023}
}