[論文レビュー] 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と主張する3つの解決策を厳密に検証しており、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を主張する3つの最近の主張の妥当性を評価すること。
• Diaby や Gubin が提案した定式化における構造的欠陥を特定し、多項式時間解法の主張を揺るがす要因を明らかにすること。
• 特に高次元において、TSP制約を正しくモデル化できないことを示す明確で直感的な反例を提示すること。
• 計算複雑性理論における特定の誤った構築物を厳密に分析・拒否することで、P対NPに関する継続的な議論に貢献すること。

提案手法

• 特定の組合せ的構成下での提案された線形計画法の定式化を分析し、反例を構築すること。
• 次元解析を適用し、特にk次元のケースに注目することで、定式化における一貫性の欠如を露呈すること。
• 幾何学的および組合せ論的推論を用いて、提案された制約が部分巡回路除去やハミルトン閉路条件を正しく強制しないことを示すこと。
• 既知のTSPポリトープの性質と照らし合わせることで、それらの定式化がTSP解の凸包を正しく捉えていないことを明らかにすること。
• 視覚的および構造的分析（後続バージョンでの強化された図を含む）を用いて、論理的および数学的欠陥を明確にすること。
• 定式化が非妥当な解（例：ハミルトンでない巡回路）を妥当解として許容することを示すこと。

実験結果

リサーチクエスチョン

• RQ1 Diaby が提唱したTSP用線形計画法の定式化は、単一のハミルトン閉路を正しく強制しているか？
• RQ2 Gubin のTSP用アルゴリズムは、提示された定式化のもとで多項式時間解法と見なせるか？
• RQ3 提案された定式化は、特に高次元の構成においてTSPポリトープを正しく表現しているか？
• RQ4 これらの定式化の主張を無効にする特定の反例は存在するか？
• RQ5 制約系におけるどのような構造的欠陥が、TSPの真の複雑性を捉えるのを妨げているか？

主な発見

• Diaby が提案した線形計画法の定式化は、部分巡回路除去制約を正しく強制せず、非ハミルトン巡回路が妥当解として許容される。
• Gubin のアルゴリズムは、TSPポリトープの構造に関する誤った仮定に基づいており、多項式時間の複雑性を保証できない。
• k次元空間における反例は、提案された定式化が小さなインスタンスを越えて正しく一般化されないことを示している。
• 定式化はTSP解の凸包を捉えておらず、TSP整数計画法の有効な表現ではないことが判明した。
• 制約設計および組合せ論的論理における根本的な欠陥により、主張されたP=NPの解決策は無効であると分析で確認された。
• 本論文は、提案されたモデルがTSPを多項式時間で解くのに不十分であることを確立し、明確な構造的反例を通じて主張を反証した。