[论文解读] Report on article: P=NP Linear programming formulation of the Traveling Salesman Problem

Radosław Hofman|ArXiv.org|Oct 20, 2006

Scheduling and Timetabling Solutions被引用 5

一句话总结

本文批判性地审视了三起关于旅行商问题（TSP）的P=NP解决方案，其中包括Diaby和Gubin提出的线性规划公式。通过构造反例，揭示其方法在高维空间中的缺陷，结论指出这些公式无法有效证明P=NP，从而通过对其模型的严格结构与数学分析，驳回了其主张。

ABSTRACT

This article presents counter examples for three articles claiming that P=NP. Articles for which it applies are: Moustapha Diaby "P = NP: Linear programming formulation of the traveling salesman problem" and "Equality of complexity classes P and NP: Linear programming formulation of the quadratic assignment problem", and also Sergey Gubin "A Polynomial Time Algorithm for The Traveling Salesman Problem"

研究动机与目标

• 评估近期三起声称通过TSP的线性规划公式实现P=NP的主张的有效性。
• 识别Diaby与Gubin所提公式的结构性缺陷，这些缺陷削弱了其关于多项式时间可解性的主张。
• 提供清晰且具启发性的反例——尤其在高维情形下——以证明这些公式未能正确建模TSP约束。
• 通过严格分析并否定计算复杂性理论中特定有缺陷的构造，为P与NP之间的持续讨论作出贡献。

提出的方法

• 通过分析特定组合配置下所提出的线性规划公式的结构，构造反例。
• 应用维度分析，特别关注k维情形，以揭示公式中的不一致之处。
• 运用几何与组合推理，表明所提约束无法有效强制实现子环消除或哈密顿回路条件。
• 将所声称的公式与已知的TSP多面体性质进行对比，发现其未能捕捉TSP解的完整凸包。
• 采用可视化与结构分析（包括后续版本中增强的图表），以阐明其逻辑与数学缺陷。
• 证明所提公式允许不可行解（例如非哈密顿回路）被表示为可行解。

实验结果

研究问题

• RQ1 Diaby提出的TSP线性规划公式是否正确强制执行了单个哈密顿回路的要求？
• RQ2 Gubin的TSP算法在其所给公式下是否可视为多项式时间解法？
• RQ3 所提公式是否正确地表示了TSP多面体，尤其是在高维配置下？
• RQ4 是否存在特定反例可使这些公式中的P=NP主张失效？
• RQ5 约束系统中的哪些结构性缺陷导致公式无法捕捉TSP的真实复杂性？

主要发现

• Diaby所提出的线性规划公式未能正确强制执行子环消除约束，导致非哈密顿回路也可成为可行解。
• Gubin的算法由于对TSP多面体结构的错误假设，无法确保多项式时间复杂度。
• 在k维空间中的反例表明，所提公式在小规模实例之外无法正确推广。
• 这些公式未能捕捉TSP解的凸包，表明其并非TSP整数规划的有效表示。
• 分析确认，所声称的P=NP解决方案因约束设计与组合逻辑中的根本缺陷而无效。
• 本文确立了所提模型不足以在多项式时间内求解TSP，通过具体的结构性反例驳回了相关主张。