评估“SAT需要穷举搜索”的论断
Evaluating the Claims of "SAT Requires Exhaustive Search"
AI总结：
本文指出 Xu 和 Zhou 关于“SAT 需要穷举搜索”的论证存在缺陷，因其错误假设 Model RB 算法必须具有向下自归约结构，故该工作既不能证明 SETH 为真，也不能证明 P ≠ NP。
摘要：
在本文中，我们仔细审视了 Xu 和 Zhou 在其论文“SAT Requires Exhaustive Search” [XZ23] 中所提出的论断，该论文声称给出了所谓 Model RB 的复杂度下界。Xu 和 Zhou 得出结论：他们的结果意味着 P 与 NP 的分离，因为该下界据称证明了强指数时间假设（SETH）为真。在检查 Xu 和 Zhou 的论证时，我们发现其主要定理存在缺陷。作者假设 Model RB 的算法必须具有某种能够利用向下自归约性的结构，并论证这种算法不可能在多项式时间内运行。我们认为这种结构并不保证存在，因此他们的论文既没有证明 SETH 为真，也没有证明 P ≠ NP。
英文摘要：
In this paper, we take a closer look at the claims made by Xu and Zhou in their paper "SAT Requires Exhaustive Search" [XZ23], which claims to provide a lower bound on the complexity of the so-called Model RB. Xu and Zhou conclude that their result implies a separation between P and NP, since the lower bound purportedly proves that the Strong Exponential Time Hypothesis (SETH) is true. In examining Xu and Zhou's arguments, we find a flaw in their main theorems. The authors assume that an algorithm for Model RB must have a certain structure that can leverage downward self-reducibility, and argue that such an algorithm cannot run in polynomial time. We argue that this structure is not guaranteed to exist and thus their paper neither proves SETH to be true nor proves P $\neq$ NP.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
