[論文レビュー] Layers and Matroids for the Traveling Salesman's Paths

Frans Schalekamp, András Sebő+2 more|arXiv (Cornell University)|Mar 21, 2017

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

ひとこと要約

本稿では、s-tパスTSPのサブツアー除去線形計画に対する任意の実行可能解を、一般化されたGao-木（各カットが入れ子の集合の鎖においてちょうど1本の辺で交差するスパニングツリー）の凸結合に分解する、新しい強多項式的で組合せ的なアルゴリズムを提示する。この手法は、次第に制限が厳しいマトロイドの系列における基底のレイヤード凸結合に依存しており、新たな組合せ的・多面体的洞察を提供するとともに、極端点解に対してO(|V|)本の木で効率的な分解を可能にする。

ABSTRACT

Gottschalk and Vygen proved that every solution of the subtour elimination linear program for traveling salesman paths is a convex combination of more and more restrictive "generalized Gao-trees". We give a short proof of this fact, as a layered convex combination of bases of a sequence of increasingly restrictive matroids. A strongly polynomial, combinatorial algorithm follows for finding this convex combination, which is a new tool offering polyhedral insight, already instrumental in recent results for the $s-t$ path TSP.

研究の動機と目的

• s-tパスTSPの解に対する一般化されたGao-木の凸結合について、GottschalkとVygenの結果を再証明する新しい短い証明を提供すること。
• マトロイドのレイヤード凸結合を通じて、s-tパスTSPとマトロイド理論との間の関係を確立すること。
• マトロイド分割に基づく強多項式的で組合せ的なアルゴリズムを、このような凸結合を計算するためのものとして開発すること。
• 極端点解に対してO(|V|)本のスパニングツリーで構成される分解を生み出す構成的手段を提供すること。
• 最近のs-tパスTSPの整数性ギャップに関する進展を支援するツールを提供し、他のTSP変種へも応用可能である可能性を示すこと。

提案手法

• 頂点集合の入れ子の鎖に対して、次数制約およびカット制約を満たすs-tパスTSPのLPの実行可能解である「チェーンポイント」の概念を導入する。
• レベル集合上のサイクルマトロイドと、鎖内のカットにおけるGaoエッジ上のユニフォームマトロイドに基づく、次第に制限が厳しいマトロイドの系列を定義する。
• 段階的に1つのマトロイド基底を剥がしながら、反復的にレイヤード凸結合を構築し、各段階で妥当性を保証する。
• マトロイド分割定理を変更した形で適用し、任意のチェーンポイントに対してこのような分解が存在することを保証する。
• Edmondsのマトロイド分割アルゴリズム、または[7]のスパニングツリー分解アルゴリズムの修正版を用いて、強多項式時間で分解を計算する。
• 各段階で選択されたスパニングツリーが、現在の鎖に対してGao-木であることを保証する。これは、解の構造的性質によって保証される。

実験結果

リサーチクエスチョン

• RQ1 s-tパスTSPの解に対する一般化されたGao-木の凸結合は、より単純なマトロイドに基づくアプローチによって証明可能か？
• RQ2 このような凸結合を計算する強多項式的で組合せ的なアルゴリズムは存在するか？
• RQ3 チェーンポイントの構造は、レイヤード分解におけるマトロイド基底とどのように関係するか？
• RQ4 極端点解に対して、このような分解で必要なスパニングツリーの最大数はいくつか？
• RQ5 この手法は、整数性ギャップの上限改善や他のTSP変種への応用に適応可能か？

主な発見

• s-tパスTSPのサブツアー除去LPの任意の実行可能解は、一般化されたGao-木の凸結合として表現可能である。
• マトロイド分割に基づく組合せ的アルゴリズムを用いることで、強多項式時間でこの分解を計算可能である。
• 分解におけるスパニングツリーの数は、解のサポートサイズに比例して最大で線形であり、極端点解に対してはO(|V|)である。
• レイヤード凸結合を通じて、s-tパスTSPとマトロイド理論を結びつけることで、新たな多面体的洞察を提供する。
• このような分解の存在は、マトロイド分割定理とランクオракルの性質に依存する構成的証明によって保証される。
• アルゴリズムは、分解内の各ツリーが現在の鎖に対してGao-木であることを保証し、解の構造的制約を維持する。