[論文レビュー] Twin-width VIII: delineation and win-wins

Édouard Bonnet, Dibyayan Chakraborty+4 more|arXiv (Cornell University)|Apr 1, 2022

semigroups and automata theory被引用数 5

ひとこと要約

本稿では、第一階値（FO）モデルチェックが、双子幅（twin-width）が有界である場合に限り固定パラメータ可 tractable（FPT）であるようなグラフクラスを特徴付けるために「区別（delineation）」の概念を導入する。区別されるクラスとして区間グラフとルート付き有向パスグラフが同定され、一方で線分グラフ、複数のルートを持つ有向パスグラフ、単純多角形の視界グラフは区別されないことが示された。本研究では、双子幅とFO定義可能なパラメータを用いて、視界グラフにおけるk-ラダー問題やk-独立集合問題に対する新たなFPT win-winアルゴリズムを確立した。

ABSTRACT

We introduce the notion of delineation. A graph class $\mathcal C$ is said delineated if for every hereditary closure $\mathcal D$ of a subclass of $\mathcal C$, it holds that $\mathcal D$ has bounded twin-width if and only if $\mathcal D$ is monadically dependent. An effective strengthening of delineation for a class $\mathcal C$ implies that tractable FO model checking on $\mathcal C$ is perfectly understood: On hereditary closures $\mathcal D$ of subclasses of $\mathcal C$, FO model checking is fixed-parameter tractable (FPT) exactly when $\mathcal D$ has bounded twin-width. Ordered graphs [BGOdMSTT, STOC '22] and permutation graphs [BKTW, JACM '22] are effectively delineated, while subcubic graphs are not. On the one hand, we prove that interval graphs, and even, rooted directed path graphs are delineated. On the other hand, we show that segment graphs, directed path graphs, and visibility graphs of simple polygons are not delineated. In an effort to draw the delineation frontier between interval graphs (that are delineated) and axis-parallel two-lengthed segment graphs (that are not), we investigate the twin-width of restricted segment intersection classes. It was known that (triangle-free) pure axis-parallel unit segment graphs have unbounded twin-width [BGKTW, SODA '21]. We show that $K_{t,t}$-free segment graphs, and axis-parallel $H_t$-free unit segment graphs have bounded twin-width, where $H_t$ is the half-graph or ladder of height $t$. In contrast, axis-parallel $H_4$-free two-lengthed segment graphs have unbounded twin-width. Our new results, combined with the known FPT algorithm for FO model checking on graphs given with $O(1)$-sequences, lead to win-win arguments. For instance, we derive FPT algorithms for $k$-Ladder on visibility graphs of 1.5D terrains, and $k$-Independent Set on visibility graphs of simple polygons.

研究の動機と目的

• 双子幅と単調的依存性に基づいて、グラフクラスにおける「区別」の概念を定義・形式化すること。
• 区間グラフ、視界グラフ、線分グラフなどの代表的なグラフクラスが区別されるか否かを特定すること。
• 双子幅とFO定義可能なパラメータを用いて、FO定義可能な問題に対するアルゴリズム的win-win枠組みを構築すること。
• 大規模な二部クリーク、半グラフ、および独立集合が、交差グラフおよび視界グラフにおける双子幅の無限大化を引き起こす役割を調査すること。

提案手法

• 双子幅が有界である場合に限り、クラスCの下位クラスDが単調的依存的であるとき、そのクラスCが「区別される」と定義する。
• 双子幅が有界であることは、隣接行列にランク-k分割が存在しないことと同値であるという特徴づけを用いる。
• ラムゼー的議論を用いて、単純多角形の視界グラフおよび1.5次元地形における双子幅を有界化する。
• 部分グラフへのトランスダクション同値性を用いて、区別性の反証を行う。
• O(1)-シーケンスを持つグラフにおけるFOモデルチェックのFPTアルゴリズムを活用し、新たなwin-winアルゴリズムを導出する。
• 幾何的グラフの構造的性質（例：凸位置、視界制約）を用いて、大規模な半グラフや誘導マッチングが存在すると仮定した場合に矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 どのグラフクラスが区別され、その区別性を決定づける構造的性質は何か？
• RQ2 単純多角形の視界グラフおよび1.5次元地形の双子幅は、幾何的および順序論的制約を用いて有界化可能か？
• RQ3 ユニット線分グラフは区別されるか？また、Ht-フリーまたはKt,t-フリー制約は双子幅の有界性にどのような役割を果たすか？
• RQ4 部分グラフへのトランスダクション同値性が、区別性を失う唯一の方法か？
• RQ5 FO定義可能なパラメータが双子幅を関数的に上界付けることで、新たなFPT win-winアルゴリズムを導出可能か？

主な発見

• 区間グラフとルート付き有向パスグラフは区別される。これは、双子幅が有界である場合に限り、その下位クラスにおけるFOモデルチェックがFPTであることを意味する。
• 線分グラフ、複数のルートを持つ有向パスグラフ、単純多角形の視界グラフは区別されない。これは、これらが部分グラフへのサブキュービックグラフとトランスダクション同値であるためである。
• Kt,t-フリー線分グラフおよび軸に平行なHt-フリーのユニット線分グラフは双子幅が有界であるが、軸に平行なH4-フリーの二種類の長さを持つ線分グラフは双子幅が無限大である。
• 単純多角形の視界グラフの双子幅は有界であり、これによりそのグラフにおけるk-独立集合問題に対してFPTアルゴリズムが得られた。
• 新たなFPT win-win枠組みが確立された：FO定義可能なパラメータpが双子幅を上界付ける場合、p(G) ≥ k は関数f(k) · |V(G)|^O(1)の時間でFPTで決定可能である。
• 本稿は、区別という文脈において、単調的依存性と単調的安定性が同値である強力な証拠を提供しており、サブキュービックグラフへのトランスダクションが区別性の障害を完全に特徴づけるという予想を支持する。