[論文レビュー] Twin-Width of Graphs on Surfaces

Daniel Král͏̌, Kristýna Pekárková+1 more|arXiv (Cornell University)|Jul 11, 2023

Advanced Graph Theory Research被引用数 1

ひとこと要約

本稿は、オイラー特性が $g$ の曲面上に埋め込まれるグラフの双子幅に対する漸近的最適な上界 $18\sqrt{47g} + O(1)$ を確立している。これは、すべての袋がサイズ 8 以下であるが、たった一つの袋を除いてはサイズ $\max\{8, 32g - 27\}$ であるような木幅がほぼ有界なグラフとの強い積の部分グラフとして分解する、強化された積構造定理を用いて得られている。この結果により、双子幅の上界を示す収縮列を計算するための時間計算量 $O(n^2)$ のアルゴリズムが得られる。

ABSTRACT

Twin-width is a width parameter introduced by Bonnet, Kim, Thomassé and Watrigant [FOCS'20, JACM'22], which has many structural and algorithmic applications. We prove that the twin-width of every graph embeddable in a surface of Euler genus $g$ is $18\sqrt{47g}+O(1)$, which is asymptotically best possible as it asymptotically differs from the lower bound by a constant multiplicative factor. Our proof also yields a quadratic time algorithm to find a corresponding contraction sequence. To prove the upper bound on twin-width of graphs embeddable in surfaces, we provide a stronger version of the Product Structure Theorem for graphs of Euler genus $g$ that asserts that every such graph is a subgraph of the strong product of a path and a graph with a tree-decomposition with all bags of size at most eight with a single exceptional bag of size $\max\{8,32g-27\}$.

研究の動機と目的

• 曲面上に埋め込まれるグラフの双子幅に対するタイトな漸近的上界を確立すること。
• 従来のマイナー閉じたグラフクラスにおける指数的・二重指数的上界を改善すること。
• 曲面上のグラフに特化した、より強い形の積構造定理を構築すること。
• 双子幅の上界を達成する収縮列を計算するための時間計算量 $O(n^2)$ のアルゴリズムを提供すること。
• 上界が定数倍の要因を除いて漸近的に最適であることを示すこと。

提案手法

• オイラー特性 $g$ の任意のグラフが、すべての袋がサイズ 8 以下であるが、たった一つの袋を除いてはサイズ $\max\{8, 32g - 27\}$ であるような木分解を持つグラフとの強い積の部分グラフであることを示す、修正された積構造定理を導入すること。
• 収縮プロセスを三段階に分けるレイヤー型収縮手順を用いる：初期段階での頂点集合の収縮、パスに基づく収縮、残りの頂点の最終的統合。
• 各レイヤー内および隣接レイヤー間の近傍数を組合せ論的議論で制御することで、収縮中の赤色次数を制御する。
• 各段階を通じて赤色次数を追跡し、$s$ を木分解関連のパラメータとして $\max\{6(s+1), 3 \cdot 2^{25}\}$ を超えないことを示す。
• 曲面に埋め込まれたグラフの構造的性質と、ランダムグラフの双子幅下界を組み合わせて、漸近的最適性を確立する。
• チェルノフの不等式と極値グラフ論を応用し、ある種の genus-$g$ グラフの双子幅に対して $\sqrt{3g/2} - O(g^{3/8})$ の下界を得る。

実験結果

リサーチクエスチョン

• RQ1 オイラー特性 $g$ の曲面上に埋め込まれるグラフの双子幅に対する、最もタイトな漸近的上界は何か？
• RQ2 積構造定理は、曲面上のグラフに対して、より構造的な分解を提供するように強化可能か？
• RQ3 曲面に埋め込まれたグラフの双子幅に対する上界は、漸近的に最適か？
• RQ4 双子幅の上界を達成する収縮列を計算する時間計算量 $O(n^2)$ のアルゴリズムを設計可能か？
• RQ5 ランダムグラフ $G_{n,1/2}$ の双子幅は、曲面に埋め込まれたグラフの双子幅とどのように関係するか？

主な発見

• 任意のオイラー特性 $g$ の曲面上に埋め込まれるグラフの双子幅は、$18\sqrt{47g} + O(1) \approx 123.4\sqrt{g} + O(1)$ 以下であり、定数倍の要因を除いて漸近的に最適である。
• ある種の genus-$g$ グラフの双子幅に対して $\sqrt{3g/2} - O(g^{3/8})$ の下界が得られることから、上界と最良の可能性との差が約 100.76 倍の要因にしかならないことが示された。
• 双子幅の上界を達成する収縮列を計算する時間計算量 $O(n^2)$ のアルゴリズムが存在する。
• 本稿では、強化された積構造定理を証明している：すべてのこのようなグラフは、すべての袋がサイズ 8 以下であるが、たった一つの袋を除いてはサイズ $\max\{8, 32g - 27\}$ であるような木分解を持つグラフとの強い積の部分グラフである。
• 収縮プロセス中、任意の頂点の赤色次数は $\max\{6(s+1), 3 \cdot 2^{25}\}$ で抑えられ、これにより双子幅が提示された上界内に保たれる。
• 本結果により、特に曲面に埋め込まれたグラフを含むマイナー閉じたグラフクラスにおける双子幅の理解のギャップが埋まり、構造的およびアルゴリズム的知見が統合された。