[論文レビュー] Twin-width of Planar Graphs is at most 9, and at most 6 when Bipartite Planar

Petr Hliněný|arXiv (Cornell University)|May 11, 2022

Advanced Graph Theory Research被引用数 6

ひとこと要約

本稿では、任意の単純な平面グラフのツイン幅が9以下であることを確立し、二部平面グラフについては6以下であることを示している。著者らは、先行研究で用いられた積構造マシンリーダーを避けるために、BFSレイヤー構造と垂直パスに基づく新しい再帰的分解を導入し、対応する縮約列を線形時間で構築するアルゴリズムを提供しており、従来の明示的でない上限を著しく改善している。

ABSTRACT

The structural parameter twin-width was introduced by Bonnet et al. in [FOCS 2020], and already this first paper included an asymptotic argument bounding the twin-width of planar graphs by a non-explicit constant. Quite recently, we have seen first small explicit upper bounds of 183 by Jacob and Pilipczuk [arXiv, January 2022], 583 by Bonnet et al. [arXiv, February 2022], and of 37 by Bekos et al. [arXiv, April 2022]. We prove that the twin-width of planar graphs is at most 9. Furthermore, if a planar graph is also bipartite, then its twin-width is at most 6.

研究の動機と目的

• 従来、有界であることは分かっていたが明示的な数値が得られていなかった平面グラフのツイン幅に対する明示的上界を改善すること。
• ツイン幅研究においてこれまで対象とされていなかったクラスである二部平面グラフの、よりタイトな明示的上界を確立すること。
• 積構造マシンリーダーを用いない、構成的で線形時間のアルゴリズムを用いて、これらの上界を達成する縮約列を生成すること。
• BFSレイヤー構造と垂直パスの性質を用いた平面グラフの構造的分解を精緻化し、縮約過程における赤色次数の増加を制御すること。

提案手法

• 平面グラフの外側面にある頂点をルートとしてBFSレイヤー構造を構築し、木構造を用いて垂直パスを定義し、レイヤーごとの縮約順序を決定する。
• 特定の頂点集合（ルート成分および外側レイヤー）に誘導される部分グラフに対して再帰的分解戦略を適用し、縮約の全過程で赤色次数が有界に保たれるようにする。
• 赤色次数に関する重要な不変量を保つ部分的縮約ステップの系列τ₀からτ₆を用い、隣接レイヤーにおける赤色次数の不変性を維持する。
• 不変量（I）’、（II）’、（III）’が縮約ステップ全体にわたり維持され、一般の平面グラフでは任意の頂点が9個以下の赤色隣接頂点を持つことが保証され、二部平面グラフでは6個以下である。
• 中間のトライグラフを明示的に構築せずに、レイヤーと成分を再帰的に処理することで、線形時間で縮約列を構築する。
• 積構造分解を避ける代わりに、埋め込まれた平面グラフおよびそのBFS木の幾何的・位相的性質に依存する。

実験結果

リサーチクエスチョン

• RQ1 一般の平面グラフのツイン幅に対する、可能な限りタイトな明示的上界は何か？
• RQ2 二部平面グラフという特殊ケースに対して、よりタイトな上界を確立できるか？
• RQ3 先行研究で用いられた積構造マシンリーダーに依存せずに、このような上界を達成することは可能か？
• RQ4 どのような平面グラフの構造的性質が、縮約列における赤色次数のタイトな制御を可能にするのか？

主な発見

• 任意の単純な平面グラフのツイン幅は9以下であり、図3に示される「ゲーム終了」トライグラフのような極値構成において、この上界はタイトである。
• 二部平面グラフのツイン幅は6以下であり、現在の証明枠組みではこれ以上改善できないと考えられ、この上界もタイトである。
• 一般平面グラフおよび二部平面グラフに対して、ツイン幅の上界9および6を達成する縮約列を計算する線形時間のアルゴリズムが存在する。
• 証明手法は積構造分解に依存せず、幾何的動機付けに基づく新しいアプローチを提供する。
• 従来の明示的上界（Bekosらによる37、JacobとPilipczukによる183）を著しく改善している。
• 著者らは、上界をさらに低下させることを妨げる構造的配置を同定しており、9および6がこれらのグラフクラスの真の最大値に近い可能性を示唆している。