[論文レビュー] Twin-Width of Planar Graphs Is at Most 8, and at Most 6 When Bipartite Planar

Petr Hliněný, Jan Jedelský|arXiv (Cornell University)|Oct 16, 2022

Advanced Graph Theory Research被引用数 1

ひとこと要約

本稿では、新しい再帰的分解技法を用いて、任意の平面グラフの二重幅（twin-width）が8以下であることを確立し、二部平面グラフでは6以下であることを示している。著者らは、これらの上限に達する縮約列を計算する線形時間アルゴリズムを提供しており、従来の上界と比べて著しく改善され、既知の平面グラフに対する最良の下界7との差を埋めることに成功している。

ABSTRACT

Twin-width is a structural width parameter introduced by Bonnet, Kim, Thomassé and Watrigant [FOCS 2020]. Very briefly, its essence is a gradual reduction (a contraction sequence) of the given graph down to a single vertex while maintaining limited difference of neighbourhoods of the vertices, and it can be seen as widely generalizing several other traditional structural parameters. Having such a sequence at hand allows us to solve many otherwise hard problems efficiently. Graph classes of bounded twin-width, in which appropriate contraction sequences are efficiently constructible, are thus of interest in combinatorics and in computer science. However, we currently do not know in general how to obtain a witnessing contraction sequence of low width efficiently, and published upper bounds on the twin-width in non-trivial cases are often "astronomically large". We focus on planar graphs, which are known to have bounded twin-width (already since the introduction of twin-width), but the first explicit "non-astronomical" upper bounds on the twin-width of planar graphs appeared just a year ago; namely the bound of at most 183 by Jacob and Pilipczuk [arXiv, January 2022], and 583 by Bonnet, Kwon and Wood [arXiv, February 2022]. Subsequent arXiv manuscripts in 2022 improved the bound down to 37 (Bekos et al.), 11 and 9 (both by Hliněný). We further elaborate on the approach used in the latter manuscripts, proving that the twin-width of every planar graph is at most 8, and construct a witnessing contraction sequence in linear time. Note that the currently best lower-bound planar example is of twin-width 7, by Král' and Lamaison [arXiv, September 2022]. We also prove that the twin-width of every bipartite planar graph is at most 6, and again construct a witnessing contraction sequence in linear time.

研究の動機と目的

• 既知の『天文学的な巨大な』または最適でない上界とは対照的に、平面グラフの二重幅に対するタイトな上界を確立すること。
• 縮約列における赤色次数の精密な制御を可能にする、平面グラフのための新しい再帰的分解法を開発すること。
• 二部平面、1-平面、マップグラフなど、関連するグラフクラスへこの手法を拡張し、明示的な上界を改善すること。
• 理論的上界に加え、提示された幅に達する縮約列を計算する効率的で線形時間のアルゴリズムを提供すること。
• 既知の平面グラフの上界と下界の差を縮小し、平面グラフの真の最大二重幅が7であると予想すること。

提案手法

• 中心コアからの距離による頂点の階層的クラスタリングに基づく、平面グラフの新しい再帰的分解を導入し、制御された縮約列の実現を可能にする。
• 各段階で頂点の赤色次数を制限するように、体系的にグラフを縮約する縮約列 π3 を定義する。
• 分解の各レベルにおける非黒色2近傍のレベル別解析を用いて、最大赤色次数を評価する。
• オイラーの公式や平均次数の有界性といった平面グラフの構造的性質を活用し、潜在的な非黒色近傍の数を制約する。
• 縮約段階における帰納的議論とケース分析を適用し、赤色次数が8（二部平面の場合6）を超えないことを保証する。
• 再帰的構造と局所的近傍制御を活用して、縮約列を計算する線形時間アルゴリズムを設計する。

実験結果

リサーチクエスチョン

• RQ1 既に有界であることが知られている中で、平面グラフの二重幅に対する最もタイトな上界は何か？
• RQ2 平面グラフに対して、小規模な二重幅に達する構成的で効率的なアルゴリズムは存在するか？
• RQ3 二部平面グラフの二重幅は一般の平面グラフと比べてどのように異なるのか？ よりタイトに上界を設定できるか？
• RQ4 同じ再帰的分解フレームワークを、1-平面やマップグラフといった非平面だが関連するグラフクラスへ応用できるか？
• RQ5 平面グラフに対する現在の上界8は真の最大値に近いか、それ以上に削減可能か？

主な発見

• すべての平面グラフの二重幅は8以下であり、これは既知の最良下界7から1単位以内にタイトである。
• 二部平面グラフの二重幅は6以下であり、これにより従来の上界が改善され、文献に既存の最良下界6と一致する。
• 線形時間アルゴリズムにより、提示された二重幅上界に達する縮約列が計算可能であり、パrameterizedアルゴリズムにおける実用的応用を可能にする。
• この手法は1-平面グラフへ拡張され、二重幅上界が16に、マップグラフへは38に達する。
• 再帰的分解フレームワークは再利用可能であり、平面性に類似した性質を有する他のグラフクラスにおける二重幅の上界を求めるためのツールボックスを提供する。
• 著者らは、平面グラフの真の最大二重幅が7であると予想しており、二部平面グラフについては6が正確な最大値である可能性を示唆している。