[論文レビュー] Exploration of Graphs with Excluded Minors

Júlia Baligács, Yann Disser+2 more|arXiv (Cornell University)|Jan 1, 2023

Optimization and Search Problems被引用数 2

ひとこと要約

本稿では、Blockingδアルゴリズムを用いて、H-minor-freeなグラフ上のオンライングラフ探索に対して定数競合比を確立する。そのために、アルゴリズムの性能と軽量スパーンャーの存在との間の新しい関係を証明した。有界な genus を持つグラフにおける(1+ε)-スパーンャーの軽量性の上限を改善し、先行研究よりも tighter な境界を達成した。また、平面グラフに対する既知のタイトな境界を回復した。

ABSTRACT

We study the online graph exploration problem proposed by Kalyanasundaram and Pruhs (1994) and prove a constant competitive ratio on minor-free graphs. This result encompasses and significantly extends the graph classes that were previously known to admit a constant competitive ratio. The main ingredient of our proof is that we find a connection between the performance of the particular exploration algorithm Blocking and the existence of light spanners. Conversely, we exploit this connection to construct light spanners of bounded genus graphs. In particular, we achieve a lightness that improves on the best known upper bound for genus g>0 and recovers the known tight bound for the planar case (g=0).

研究の動機と目的

• オンライングラフ探索が minor-free グラフ上で定数競合比を達成できるかどうかという未解決の問題を解消すること。
• Blockingδアルゴリズムの性能とグラフ内に軽量スパーンャーが存在することとの理論的関係を確立すること。
• 有界な genus を持つグラフにおける(1+ε)-スパーンャーの軽量性の既知の上界を改善すること、特に g ≥ 1 の場合に焦点を当てる。
• δ を n に従ってスケーリングすることを許容することで、Blockingδ の競合比が sub-logarithmic にできるかどうかを検討すること。
• 有界な genus を持つグラフにおける改善された軽量性の上限がタイトかどうか、あるいはさらに最適化可能かどうかを調査すること。

提案手法

• Kalyanasundaram と Pruhs のフレームワークに基づくパラメータ化されたオンライン探索戦略、Blockingδ アルゴリズムを導入し、その分析を行う。
• あるグラフクラスが定数軽量性の(1+ε)-スパーンャーを許容するならば、Blockingδ はそのクラス上で定数競合比を達成することを証明する。
• 既知の minor-free グラフに関する結果を活用し、それらが軽量スパーンャーを許容することを示し、H-minor-free グラフに対しても定数競合比の拡張を実現する。
• 元のグラフ G の minor であるグラフ H の部分グラフ D を構築する。D は最小全域木（MST）を含み、単一の面を誘導する。これを genus-g の曲面上の位相的埋め込みを用いて行う。
• MST に属さない辺の重みを、埋め込みグラフにおける面サイクルと関連づけ、サイクル割り当ての議論を適用することで上限を求める。
• 補題 21 を用いてスパーンャー H の総重みを w(D) と関連付け、不等式 (5) を組み合わせることで最終的な軽量性の上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 Blockingδ アルゴリズムは、H-minor-free グラフ上で定数競合比を達成できるか？
• RQ2 オンライン探索アルゴリズムの性能と軽量スパーンャーの存在との間に、構造的な関係が存在するか？
• RQ3 有界な genus を持つグラフにおける(1+ε)-スパーンャーの軽量性の上限は、以前の結果を上回るように改善可能か？
• RQ4 δ が n に従って増加できる場合に、Blockingδ の競合比が δ に対して最適な依存関係を示すか？
• RQ5 genus-g グラフにおける軽量性の上限 (1 + 2/ε)(1 + 2g/(1+ε)) はタイトか、それともさらに削減可能か？

主な発見

• 任意の固定された H および δ > 0 に対して、Blockingδ アルゴリズムはすべての H-minor-free グラフ上で定数競合比を達成し、定理 1 を証明した。
• 有界な genus g を持つグラフ（genus g）において、グリーディーな(1+ε)-スパーンャーの軽量性は、(1 + 2/ε)(1 + 2g/(1+ε)) 以下である。これは g ≥ 1 の場合に Grigni の境界 1 + (12g−4)/ε よりも改善されたものである。
• 新しい軽量性の上限は、平面グラフ（g = 0）における既知のタイトな境界 1 + 2/ε を回復し、Althöfer らの下界と一致する。
• Blockinglog(n) は O(log n) の競合比を達成し、これは定理 2 で示された、これまでに知られていた最良の結果と一致する。
• Blockingδ の競合比は、Ω(log n / log log n) 以上であり、δ ∈ o(log n / log log n) および δ ∈ Ω(log n) の場合に Ω(log n) 以上である。よって、任意の δ に対して定数競合比は達成できないことが示された。
• 位相的埋め込みと面サイクルの割り当てを用いた軽量スパーンャーの構築は、有界な genus を持つグラフにおけるタイトな軽量性の上限を導出するための新しい手法を提供する。