[論文レビュー] Ordered graphs of bounded twin-width

Pierre Simon, Szymon Toruńczyk|arXiv (Cornell University)|Feb 13, 2021

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

ひとこと要約

本稿は、双子幅が有界である順序付きグラフの遺伝的クラスについて、複数の同等な特徴付けを確立し、それらが特定の大きなグリッドに類似した構造（準グリッドと呼ばれる）を避けるものであることを示している。また、このようなクラスにおいて一階論理のモデルチェックが固定パrameter可 tractable であることを証明し、モデル理論および組合せ論におけるNIPとスモールネスの概念と双子幅を結びつけている。

ABSTRACT

We consider hereditary classes of graphs equipped with a total order. We provide multiple equivalent characterisations of those classes which have bounded twin-width. In particular, we prove a grid theorem for classes of ordered graphs which have unbounded twin-width. From this we derive that the model-checking problem for first-order logic is fixed-parameter tractable over a hereditary class of ordered graphs if, and -- under common complexity-theoretic assumptions -- only if the class has bounded twin-width. For hereditary classes of ordered graphs, we show that bounded twin-width is equivalent to the NIP property from model theory, as well as the smallness condition from enumerative combinatorics. We prove the existence of a gap in the growth of hereditary classes of ordered graphs. Furthermore, we provide a grid theorem which applies to all monadically NIP classes of structures (ordered or unordered), or equivalently, classes which do not transduce the class of all finite graphs.

研究の動機と目的

• 双子幅が有界である順序付きグラフの遺伝的クラスを、構造的・論理的・組合せ論的性質を用いて特徴付けること。
• 順序付き設定における双子幅が有界なクラスのアルゴリズム的および論理的性質に関する未解決問題を解明すること。
• 双子幅が有界であるクラスと、モデル理論におけるNIP性、および数え上げ的組合せ論におけるスモールネス条件との間の関係を確立すること。
• 標準的な複雑性理論的仮定の下で、このようなクラスにおいて一階論理のモデルチェックが固定パrameter可 tractable であることを証明すること。
• 遺伝的クラスとしての順序付きグラフの成長率にギャップが存在することを示し、多項式的成長と指数的成長との二分岐を示すこと。

提案手法

• 双子幅が有界であることを特徴付ける禁止パターンとして、順序型（≤, ≥, =, ≠）によって定義される関係を有するグリッドに類似した構造（準グリッド）の概念を導入する。
• ラマヌジャン的議論を用いて、十分に大きな準グリッド内に、大きな正則な準グリッドが誘導部分構造として存在することを示す。
• 型、モリー列、無相性といったモデル理論的道具を用いて、独立性を分析し、大きなグリッドの存在を示す証拠を得る。
• 解釈とトランスダクションを用いて、双子幅とNIP性やスモールネスといった論理的性質との関係を結ぶ。
• 双子幅が有界であるクラスに属する順序付きグラフに対して、多項式時間で計算可能な双子幅証明書の存在を活用する。
• 構造のクラス（順序付きまたは順序なし）について、単関数的NIPクラスに対するグリッド定理を証明し、このようなクラスはすべての有限グラフのクラスをトランスダクションで表せないことを示す。

実験結果

リサーチクエスチョン

• RQ1 双子幅が有界である遺伝的クラスの順序付きグラフは、どのような構造的性質によって特徴付けられるか？
• RQ2 順序付きグラフの文脈において、双子幅が有界であること、NIP、および数え上げ的組合せ論におけるスモールネス条件とは、どのように関係しているか？
• RQ3 一階論理のモデルチェックが、遺伝的クラスの順序付きグラフにおいて、双子幅が有界であることと同値に固定パrameter可 tractable であると言えるか？
• RQ4 小さな準グリッドを避ける十分に大きな順序付きグラフにおいて、大きな準グリッドを誘導部分構造として強制することは可能か？
• RQ5 遺伝的クラスとしての順序付きグラフの成長率の挙動はどのようなものか？また、小規模と大規模の成長の間にはギャップが存在するか？

主な発見

• 遺伝的クラスが順序付きグラフにおいて双子幅が有界であることは、すべてのタイプ（≤, ≥, =, ≠）の大きな準グリッドを含まないことに同値である。
• 標準的な複雑性仮定の下で、一階論理のモデルチェックが遺伝的クラスの順序付きグラフにおいて固定パrameter可 tractable であることは、そのクラスが双子幅が有界であることと同値である。
• 順序付きグラフにおける双子幅が有界であることは、モデル理論におけるNIP性と、数え上げ的組合せ論におけるスモールネス条件に等しい。
• 双子幅が有界な遺伝的クラスに属するすべての順序付きグラフに対して、その双子幅証明書を多項式時間で計算できる。
• 遺伝的クラスとしての順序付きグラフの成長率にはギャップが存在する：双子幅が有界なクラスは高々 $n! imes 2^{O(n)}$ の割合で成長するが、他のクラスはそれより速く成長する。
• 単関数的NIPクラスに対してグリッド定理を確立した：このようなクラスはすべての有限グラフのクラスをトランスダクションで表さないし、これは大きな準グリッドを誘導部分構造として含まないことに同値である。