[論文レビュー] A single exponential bound for the redundant vertex Theorem on surfaces

Frédéric Mazoit|arXiv (Cornell University)|Sep 30, 2013

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

ひとこと要約

本稿は、 genus $g$ の曲面に埋め込まれたグラフにおける中心頂点の冗長性を保証するための、最初の明示的で単一指数関数的（single exponential）なバインディングを提供する。これは、Robertson と Seymour の冗長頂点定理における長年の存在的ギャップを解消するものであり、先行する存在的証明のトポロジカルかつ構造的議論を精緻化することで、$l(g,k) = \left(\frac{20k}{9}\right) \cdot \left(3e^{10/(3e)}\right)^{3(g-1)+2k}$ 個のネストされたサイクルで十分であることを示している。これは、従来の指数の塔（tower-of-exponentials）の境界に比べて著しく改善されている。

ABSTRACT

Let s1, t1,. . . sk, tk be vertices in a graph G embedded on a surface σof genus g. A vertex v of G is "redundant" if there exist k vertex disjoint paths linking si and ti (1 \lequal i \lequal k) in G if and only if such paths also exist in G - v. Robertson and Seymour proved in Graph Minors VII that if v is "far" from the vertices si and tj and v is surrounded in a planar part of σby l(g, k) disjoint cycles, then v is redundant. Unfortunately, their proof of the existence of l(g, k) is not constructive. In this paper, we give an explicit single exponential bound in g and k.

研究の動機と目的

• Robertson と Seymour の曲面上の冗長頂点定理におけるギャップを埋めるために、中心頂点の冗長性を保証するネストされたサイクル数の明示的・構成的境界を提供すること。
• [RS88] における $l(g,k)$ の存在的証明を、両方の変数 $g$（genus）と $k$（接続性）に関して明示的で単一指数関数的境界に置き換えること。
• 従来の境界が非構成的または指数の塔であったのを、ドメイン・ストリップを備えた埋め込みのトポロジカルかつ組合せ的分析を精緻化することで改善すること。
• 曲面上の $k$-頂点素通路問題に対して実用的でアルゴリズム的に有用な境界を確立し、明示的なアルゴリズム設計を可能にすること。

提案手法

• 著者らは、$s$ 個のストリップを備えた円板上での $k$-素通路問題の簡略化されたインスタンスを、ストリップのサイズとリンクパターンに基づく再帰的構造的分解を用いて分析する。
• リンクパターンの増加が生じる臨界ストリップを特定するための再帰的数列 $i_l$ を定義し、積 $i_1 \cdots i_l$ の凸性を用いて必要なサイクル数の上限を導出する。
• 重要な不等式が得られる：$i_l$ がさらに存在しない場合、すべての $j > 0$ に対して $|S_j|$ が $3k'3^j$ を超える。これにより、Lemma 3 を適用してサイクル要件を上限づけることができる。
• 境界 $C \leq \left(\frac{20k}{9}\right) \cdot \left(\frac{\xi s}{l}\right)^l 3^s$ は $l = \xi s / e$ で最大値をとるため、最終的な指数関数的形が得られる。
• 最終的な境界 $l(g,k) = \left(\frac{20k}{9}\right) \cdot \left(3e^{10/(3e)}\right)^{3(g-1)+2k}$ は、最小の曲面埋め込みにおけるストリップ数 $s = 3(g-1) + 2k$ を代入することで導出される。
• 証明は [GHR13] のトポロジカル議論と、段階的な表面構造におけるリンク可能性の精緻な分析に依存している。

実験結果

リサーチクエスチョン

• RQ1 曲面の genus $g$ に埋め込まれたグラフにおける中心頂点が、$k$ 個の素通路に対して冗長であることを保証するために、必要なネストされたサイクルの最小数は何か？
• RQ2 Robertson と Seymour の冗長頂点定理における存在的境界 $l(g,k)$ を、明示的かつ構成的なものにできるか？
• RQ3 $g$ と $k$ に関して、指数の塔ではなく単一指数関数的境界を達成できるか？
• RQ4 ドメイン・ストリップを備えた埋め込みにおけるストリップ構造は、リンク実現性のためのサイクル要件にどのように影響するか？
• RQ5 ストリップサイズの再帰的分解によって、冗長性に必要なサイクル数のタイトな上界を得られるか？

主な発見

• 本稿は、曲面上の冗長頂点定理における最初の明示的単一指数関数的境界を確立した：$l(g,k) = \left(\frac{20k}{9}\right) \cdot \left(3e^{10/(3e)}\right)^{3(g-1)+2k}$。
• この境界は、従来の結果（非構成的または $g$ と $k$ に関して指数の塔）に比べて著しくタイトである。例えば [GHR13] も同様の問題を扱っている。
• 任意の $l(g,k)$-ダートボードにおける中心頂点は、常に冗長であることが保証される。つまり、与えられたパターンに対して $k$ 個の素通路の存在に影響を及ぼさない。
• 境界は、ストリップサイズの再帰的分析に基づき、$l$ における凸性と最適化を用いて、最大のサイクル要件を最小化することで導出された。
• 最大値 $\left(\frac{\xi s}{l}\right)^l$ が $l = \xi s / e$ で達成されることから、最終的な境界は定数係数の範囲でタイトであることが示された。これにより指数項 $e^{10s/(3e)}$ が得られる。
• この結果により、構成的かつ計算可能なサイクル閾値に基づく、曲面上の $k$-素通路問題に対する最初の明示的アルゴリズム実装が可能になった。