[論文レビュー] On the parsimonious property of relaxations of the Symmetric Traveling Salesman Polytope

Dirk Oliver Theis|arXiv (Cornell University)|Dec 8, 2007

Advanced Graph Theory Research参考文献 10被引用数 1

ひとこと要約

この論文は、対称巡回セールスマン多面体（STSP）の緩和の単純性（parsimonious）性質と、グラフィカル巡回セールスマン多面体（GTSP）のへりグラフの連結性との間で驚くべき幾何的関係を確立する。最近得られたGTSP多面体の極多面体の境界複体の平坦化に関する結果を用いて、緩和が単純性性質を有するための必要十分条件が、GTSP(n)のへりグラフが連結であることであることを証明し、TSP緩和におけるこの重要な性質の新たな位相的特徴付けを提示する。

ABSTRACT

We relate the parsimonious property of relaxations of the Symmetric Traveling Salesman Polytope to a connectivity property of the ridge graph of the Graphical Traveling Salesman Polyhedron. This relationship is quite surprising. The proof is elegant and geometric: it makes use of recent results on “flattening” parts of the boundary complex of the polar of the Graphical Traveling Salesman Polyhedron. The Symmetric Traveling Salesman Polytope STSP(n) is the convex hull of all cycles (connected 2-regular graphs) on a fixed vertex set V of cardinality n. The Graphical Traveling Salesman Polyhedron GTSP(n) is the convex hull of all connected Eulerian multi-graphs a fixed vertex set on V . It contains STSP(n) as a face, defined by a certain system of linear equations. A relaxation is a system of linear inequalities which are facet-defining for STSP(n) and GTSP(n). It has the parsimonious property if, for a certain set of linear objective functions, the following holds: the minimum of this function over the relaxation does not increase when the above mentioned equations are added to the relaxation.

研究の動機と目的

• 対称巡回セールスマン多面体（STSP）の緩和が単純性性質を示す条件を理解すること。
• STSP緩和とグラフィカル巡回セールスマン多面体（GTSP）との間の構造的関係、特にその顔構造とへり構造を通じての関係を調査すること。
• GTSP多面体の位相的性質、たとえばへりグラフの連結性が、STSP緩和における根本的なアルゴリズム的性質（単純性性質）を支配するかどうかを特定すること。
• GTSP多面体の境界複体の平坦化に関する最近の結果を活用した幾何的証明フレームワークを提供すること。

提案手法

• 著者たちは、グラフィカル巡回セールスマン多面体（GTSP）の極を分析し、その境界複体の一部の平坦化に関する最近の結果を適用する。
• STSP緩和の単純性性質とGTSP(n)のへりグラフの連結性との間の対応関係を確立する。
• 特に顔を定義する不等式に注目した、多面体的錐の顔構造と双対性に依拠する幾何的推論に依存する証明を行う。
• STSP(n)が線形方程式系によって定義されるGTSP(n)の面であるという事実を活用し、緩和不等式がこの面制約下でどのように振る舞うかを検討する。
• へりグラフ（へり複体の1次スケルトン）を分析することで、位相的連結性と面制約下での最適目的関数値の不変性との関係を明らかにする。

実験結果

リサーチクエスチョン

• RQ1 STSP緩和の単純性性質は、GTSP多面体のへりグラフの位相的特徴に依存するか？
• RQ2 GTSP(n)のへりグラフの連結性は、STSP緩和における単純性性質の十分かつ必要条件として機能するか？
• RQ3 GTSP多面体の極の境界複体の平坦化に関する最近の結果は、STSP緩和の構造的理解にどのように寄与するか？
• RQ4 STSPとGTSPの顔を定義する不等式の幾何的関係と、面制約下での目的関数の振る舞いとの間にはどのような関係があるか？

主な発見

• STSP(n)の緩和が単純性性質を有するのは、グラフィカル巡回セールスマン多面体GTSP(n)のへりグラフが連結である場合に限り、かつそのときに限り成り立つ。
• この同値性は、GTSP(n)の極の境界複体の平坦化に起因する幾何的議論によって確立される。
• この結果は、組合せ最適化の性質（単純性）と位相的特徴（へりグラフの連結性）との間の深いつながりを明らかにする。
• 証明により、STSPの顔を定義する方程式を追加したとき、特定の線形目的関数の最小値が変化しないことが、へりグラフが連結である場合に限り成り立つことが示された。