中文

对 Deng 所述“P=NP”之批判

计算复杂性 2025-07-15 v1

摘要

本文对 Deng 所述的“P=NP”[Den24]进行批判性分析。该论文声称存在一个多项式时间算法,用于决定顶点度数最多为4的图的3着色问题,而该问题已知为NP完全问题。 Deng 提出一个半正定规划,其目标函数在图不可3着色时趋于负无穷,在图可3着色时为0。通过详细分析,我们发现 Deng 将子图与诱导子图混为一谈,导致了一个关键错误,从而使 Deng 声称的 P=NP\text{P}=\text{NP} 证明失效。

关键词

引用

@article{arxiv.2507.09018,
  title  = {A Critique of Deng's "P=NP"},
  author = {Isabel Humphreys and Matthew Iceland and Harry Liuson and Dylan McKellips and Leo Sciortino},
  journal= {arXiv preprint arXiv:2507.09018},
  year   = {2025}
}

备注

10 pages, 4 figures