[論文レビュー] A 9/7-Approximation Algorithm for Graphic TSP in Cubic Bipartite Graphs

Jeremy Karp, R. Ravi|arXiv (Cornell University)|Nov 14, 2013

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

ひとこと要約

本稿では、3部グラフの立方体二部グラフにおけるグラフィックTSPに対して、9/7n本以下の辺をもつスパニングオイラー多重量グラフを構築することにより、多項式時間の9/7近似アルゴリズムを提示する。この手法は、サイクル圧縮および拡張技術を用いて2-ファクター内のサイクル数を最小化し、二部グラフの偶サイクル構造とPetersenの定理を活用して辺に重複のない完全マッチングを特定する。

ABSTRACT

We prove new results for approximating Graphic TSP. Specifically, we provide a polynomial-time \frac{9}{7}-approximation algorithm for cubic bipartite graphs and a (\frac{9}{7}+\frac{1}{21(k-2)})-approximation algorithm for k-regular bipartite graphs, both of which are improved approximation factors compared to previous results. Our approach involves finding a cycle cover with relatively few cycles, which we are able to do by leveraging the fact that all cycles in bipartite graphs are of even length along with our knowledge of the structure of cubic graphs.

研究の動機と目的

• 従来の境界を超えて、立方体二部グラフにおけるグラフィックTSPの近似比を改善すること。
• 2-ファクター内のサイクル数を最小化することで、得られるオイラー多重量グラフのサイズを削減する課題に取り組むこと。
• k-正則二部グラフにアルゴリズムを拡張し、小さなkに対してより緊密な近似要因を達成すること。
• 構造的立方体グラフにおけるハミルトン性を研究することで、Barnette予想の解決に向けて理論的進展をもたらすこと。
• 一般のメトリックTSPインスタンスよりも、立方体二部グラフにおけるグラフィックTSPインスタンスがより効果的に近似可能であることを示すこと。

提案手法

• Petersenの定理を用いて、立方体二部グラフを3つの辺に重複のない完全マッチングに分解する。
• 3つの完全マッチングのうち2つを組み合わせることで2-ファクターを構築し、サイクルカバーを形成する。
• 4サイクルの収縮と6サイクルの反復的収縮処理を用いて、2-ファクター内のサイクル数を圧縮・拡張するプロセスを適用する。
• 2(k−1)本の追加辺を用いて、2-ファクターをスパニングオイラー多重量グラフに拡張する、DOUBLETREE手順の修正版を採用する。
• k-正則二部グラフの場合、K3,3成分の数を最小化するマッチングに基づくサブルーチンを用いて、サイクル数を最小化する立方体部分グラフを選択する。
• 鳩の巣原理を用いて、選択された立方体部分グラフ内のK3,3成分の数を評価し、精密な近似要因を達成可能にする。

実験結果

リサーチクエスチョン

• RQ1 立方体二部グラフにおけるグラフィックTSPに対して、3/2より良い近似比を達成できるか？
• RQ2 サイクル圧縮および拡張技術をどのように活用して、立方体二部グラフの2-ファクター内のサイクル数を最小化できるか？
• RQ3 小さなk ≥4に対して、k-正則二部グラフにおけるグラフィックTSPの最良の近似要因は何か？
• RQ4 k-正則二部グラフの立方体部分グラフにおけるK3,3成分の数を束縛できるか？その結果、近似比の向上が可能か？
• RQ5 立方体二部グラフの構造は、一般のグラフィックTSPインスタンスに比べて、より良い近似を可能にするか？

主な発見

• 本稿は、立方体二部グラフにおけるグラフィックTSPに対して9/7-近似を達成し、以前の結果を改善した。
• アルゴリズムはO(n^5/2)時間で、スパニングオイラー多重量グラフを最大9/7n本の辺で計算可能である。
• k ≥4のk-正則二部グラフでは、(9/7 + 1/(21(k−2)))-近似が達成可能であり、小さなkに対して従来の境界より緊密である。
• 選択された立方体部分グラフ内のK3,3成分の数はn/(6(k−2))以下に束縛可能であり、これにより改善された近似要因が達成可能である。
• アルゴリズムは、圧縮されたグラフにおいて2-ファクターが最大n/7個のサイクルを持つことを保証しており、最終的な多重量グラフサイズの最小化に不可欠である。
• k=4の場合でも効果的であり、4/3n本未満の辺で解が得られることが示され、実用的な改善が確認された。