[論文レビュー] Light Spanner and Monotone Tree

Hao-Hsiang Hung|arXiv (Cornell University)|Jul 16, 2012

Data Management and Algorithms参考文献 11被引用数 5

ひとこと要約

この論文は、単調木と(p,q)-フラップに基づく洗練された課金スキームを用いて、有界パス幅グラフからの光スパンナ構成を有界カット幅グラフへ拡張する。有界カット幅グラフが、最小スパニングツリー（MST）の重さのO(1/ε)倍以内の重さを持つ光スパンナを有することを証明し、メトリックTSPおよび関連問題に対する効率的な近似スキームを可能にする。

ABSTRACT

In approximation algorithm design, light spanners has applications in graph-metric problems such as metric TSP (the traveling salesman problem). We have developed an efficient algorithm for light spanners in bounded pathwidth graphs, based on an intermediate data structure called monotone tree. In this paper, we extended the results to include bounded catwidth graphs.

研究の動機と目的

• 有界パス幅グラフからの光スパンナ構成を有界カット幅グラフへ拡張すること。
• 有界カット幅グラフ内の局所的構造とされる(p,q)-フラップを扱える課金スキームを開発すること。
• 有界カット幅グラフが、グラフサイズに依存しないMSTの重さに比例する光スパンナを有することを証明すること。
• すべてのマイナー閉じたグラフ族が光スパンナを有するという広範な予想を支援すること。
• 有界カット幅グラフ上でのメトリックTSPおよび関連問題に対する効率的な近似スキームを可能にすること。

提案手法

• 有界カット幅グラフにおける(1+ε)-スパンナの構成に貪欲アルゴリズムを用いる。
• スパンナ構成におけるエッジ課金を管理するためのコアデータ構造として単調木構造を導入する。
• グラフのkパスからMST木Tへの非巡回課金スキームを適用し、値がO(k)であることを保証する。
• (p,q)-フラップを処理するために、課金をフラップ内に局所化し、流入・流出課金をO(k)に制限する。
• 課金経路における頂点の繰り返し出現を短絡化することで、サイクル性を保証する。
• カット幅 ≤ パス幅であり、有界カット幅グラフが(p,q)-フラップを伴うパス幅-kグラフに埋め込めるという事実を活用する。

実験結果

リサーチクエスチョン

• RQ1 有界パス幅グラフに対する光スパンナ構成を有界カット幅グラフへ拡張できるか？
• RQ2 有界カット幅グラフに光スパンナが存在可能な構造的性質は何か？
• RQ3 非巡回性と有界値を保ちつつ、(p,q)-フラップを扱えるように課金スキームをどのように適応できるか？
• RQ4 単調木フレームワークを、より高いカット幅だが有界な幅を持つグラフへ一般化できるか？
• RQ5 有界カット幅グラフにおける光スパンナの存在は、禁止マイナー族に関する広範な予想を支持するか？

主な発見

• 有界カット幅グラフは、f(ε) · MST(G)の重さを持つ光スパンナを有する。ここでf(ε) = O(1/ε)であり、グラフサイズに依存しない。
• kパスからMST木Tへの非巡回課金スキームが存在し、各エッジあたりの総課金値がO(k)であることを保証する。
• (p,q)-フラップからの課金は局所化され、O(k)に制限されており、流入・流出課金は非巡回順序によって制御される。
• 課金経路における頂点の繰り返し出現を短絡化することで、スキームが非巡回性を保ちつつ総課金値が増加しない。
• この構成により、光スパンナが計算可能であると仮定すると、有界カット幅グラフ上でのメトリックTSPにEPTASが可能になる。
• 既知の結果をパス幅を超えて拡張することで、すべての禁止マイナー族が光スパンナを有するという予想を支援する。