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