[論文レビュー] Graphic TSP in cubic graphs

Zdenĕk Dvořák, Daniel Král͏̌+1 more|arXiv (Cornell University)|Aug 26, 2016

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

ひとこと要約

本稿では、2-連結な立方グラフにおけるグラフィックTSPに対して、多項式時間の $\frac{9}{7}$-近似アルゴリズムを提示する。これは、2-連結な立方グラフにおける従来の最良要因1.3を改善するものである。主な貢献は、任意の2-連結な立方 $n$-頂点グラフが、長さが $\frac{9}{7}n - 1$ 以下のTSPウォークをもつことを示したことである。この結果は、部分立方グラフにおける新しい還元手法と、制御された過剰を持つオイラー部分グラフの洗練された解析を通じて達成された。

ABSTRACT

We present a polynomial-time 9/7-approximation algorithm for the graphic TSP for cubic graphs, which improves the previously best approximation factor of 1.3 for 2-connected cubic graphs and drops the requirement of 2-connectivity at the same time. To design our algorithm, we prove that every simple 2-connected cubic n-vertex graph contains a spanning closed walk of length at most 9n/7-1, and that such a walk can be found in polynomial time.

研究の動機と目的

• 立方グラフにおけるグラフィックTSPの近似要因を、従来の最良の1.3を超えて改善すること。
• 強力な性能保証を維持したまま、近似アルゴリズムにおける2-連結性の要件を排除すること。
• 構造的グラフ還元を用いて、立方および部分立方グラフにおける最小TSPウォーク長に対するタイトな上界を確立すること。
• 中間入力として部分立方グラフを許容できる新しい証明フレームワークを提供することにより、従来の手法よりも柔軟な還元を可能にすること。
• 一般には $\frac{9}{7}$-要因を改善できないことを示す極値例を構成し、構造的制約下での境界のタイトさを分析すること。

提案手法

• 2-連結な部分立方グラフに対して、2-連結性を保ちつつ頂点数を削減し、オイラー部分グラフの最小過剰を1減らす新しい還元操作を導入する。
• スパニングオイラー部分グラフの過剰を、連結成分数から奇数次数頂点数を引いたものとして定義し、TSPウォーク長の上限を導出する。
• 2-連結性を保ちつつ、頂点数を8増やし、最小過剰を2増やす、より複雑な還元操作を適用する。この操作では、1辺を除いた $K_4$（ダイヤモンド）をより大きな部分グラフに置き換える。
• 基本となるグラフ $K_{2,3}$ に対して、これらの還元を再帰的に適用し、$n \equiv 2 \pmod{3}$ かつ最小過剰 $\frac{n + n_2}{4} + 1$ を持つ2-連結な部分立方グラフの族を構成する。これにより、TSPウォーク長に対する下界が確立される。
• 2-連結な立方グラフのもう一つの族を構築し、$n \equiv 0 \pmod{8}$ かつ最小過剰 $n/4$ を満たすものとする。これにより、$\frac{5}{4}n$ の境界がタイトであることが示される。
• 2-連結な立方グラフにおいて、長さが $\frac{9}{7}n - 1$ 以下のTSPウォークが存在することを示せば、そのようなウォークを多項式時間で計算可能であるため、$\frac{9}{7}$-近似アルゴリズムが得られることを証明する。

実験結果

リサーチクエスチョン

• RQ1 立方グラフにおけるグラフィックTSPの近似要因を、2-連結性の要件を除いて1.3を超えて改善できるか。
• RQ2 2-連結な立方グラフにおける最短TSPウォーク長に対するタイトな上界は何か。
• RQ3 スパニングオイラー部分グラフの最小過剰を用いて、部分立方および立方グラフにおけるTSPウォーク長に対するよりタイトな境界を導出できるか。
• RQ4 部分立方グラフにおいて、予想される境界 $\text{tsp}(G) \leq \frac{5}{4}n + \beta n_2$ の係数がタイトであるか。
• RQ5 部分立方グラフにおける構造的還元が、立方グラフにおけるグラフィックTSPのより良い近似保証をもたらすか。

主な発見

• 任意の2-連結な立方 $n$-頂点グラフは、長さが $\frac{9}{7}n - 1$ 以下のTSPウォークをもつ。これは、$1.3n$ 要因を改善する最初のこのような境界である。
• 本稿では、任意の2-連結な部分立方グラフ（$n$ 頂点、$n_2$ 個の2次頂点を有する）に対して、長さが $\frac{9}{7}n + \frac{2}{7}n_2 - 1$ 以下のTSPウォークを計算する多項式時間アルゴリズムを提示する。
• $\frac{9}{7}$-近似要因は、立方グラフにおけるグラフィックTSPに対してタイトである。これは、$\frac{5}{4}n - 2$ より短いTSPウォークを持たない2-連結な立方グラフの構成により示された。これにより、$\frac{9}{7}$ を一般に改善することは、追加の制約なしでは不可能である。
• $n \equiv 2 \pmod{3}$ かつ $n_2 = \Theta(n)$ の2-連結な部分立方グラフの族は、$\frac{5}{4}n + \frac{1}{4}n_2 - 1$ より短いTSPウォークを持たない。これにより、境界における係数 $\frac{1}{4}$ を改善できないことが示された。
• 提案された還元手法は2-連結性を保ち、最小過剰を正確に追跡可能であるため、TSPウォーク長に対するタイトな境界の導出が可能である。
• 本稿で提示された構成は、最高の既知の近似不能性結果と一致しており、現在の複雑性仮定のもとで、このクラスにおける $\frac{9}{7}$ が最良の近似要因であることを確認している。