[論文レビュー] First-Order Transductions of Graphs (Invited Talk)

Ossona de Mendez, Patrice|arXiv (Cornell University)|Jan 1, 2021

Advanced Graph Theory Research参考文献 23被引用数 57

ひとこと要約

本稿は、cographを一般化し、主なスパarselyおよび密集グラフクラスを捉える新しいグラフ幅パラメータであるtwin-widthを導入する。与えられたd-縮約列のもとで、一階論理（FO）モデルチェックが|φ|に関して固定パラメータ可 tractable（FPT）であることを証明し、時間 f(d, |φ|) · |D| で実行可能である。また、有界twin-widthはFO解釈およびトランスダクションに関して保存されることを示し、非単調クラスにおける以前のFPT結果を統合・拡張する。

ABSTRACT

This paper is an extended abstract of my STACS 2021 talk "First-order transductions of graphs".

研究の動機と目的

• cographを一般化し、マイナー閉じ、有界ランク幅、グリッド様グラフなど多様なグラフクラスを捉える新しい幅パラメータ、twin-widthを定義すること。
• d-縮約列が与えられた場合、有界twin-widthグラフ上で一階論理（FO）モデルチェックが|φ|に関してFPTであることを示すこと。
• 有界twin-widthがFO解釈およびトランスダクションに関して閉じていることを確立し、非単調クラスにおける以前のFPT結果を統合すること。
• boolean幅が有界なグラフやd次元グリッドなどの特定クラスにおいて、d-縮約列を多項式時間で計算するアルゴリズムを提供すること。
• twin-widthのアルゴリズム的および構造的意味、特に小クラス、拡張子、群論との関係を探索すること。

提案手法

• 近い双子（near-twins）— 任意の頂点対が高々d個の頂点を除いて隣接集合が異なる— である頂点の縮約列を用いてtwin-widthを定義し、赤い辺で追跡する。
• d-縮約を、任意の頂点に接続する赤い辺の数（赤の次数）がd以下であるような縮約列として定義し、twin-widthをそのようなdの最小値とする。
• 禁止された0,1行列に関するMarcus-Tardos定理を用いて、隣接行列におけるコーナーの数を抑え、構造的グラフクラスにおける縮約列の構築を可能にする。
• 頂点のミックスフリー順序に基づく枠組みを設計し、縮約列の計算問題を行列の単純性とコーナー構造の解析に還元する。
• FO解釈およびトランスダクションの閉包性を活用し、twin-widthが論理的操作に関して保存されることを示し、FPT結果をより広いクラスへと移転可能にする。
• 特定クラスへの応用：boolean幅 ≤k のグラフに対しては (2k+1−1)-縮約列を、d次元グリッドに対しては3d-縮約列を提供。ユニットボールグラフへの拡張も含む。

実験結果

リサーチクエスチョン

• RQ1 cographを一般化し、スパースおよび密集グラフクラスを捉えつつ、効率的なFOモデルチェックを可能にするグラフパラメータを定義可能か？
• RQ2 d-縮約列が与えられた場合、有界twin-widthグラフ上でFOモデルチェックは|φ|に関してFPTか？
• RQ3 有界twin-widthクラスはFO解釈およびトランスダクションに関して閉じているか？ そして、これにより既存のFPTアルゴリズムが統合可能か？
• RQ4 グリッド、ユニットボールグラフ、boolean幅が有界なグラフなどの自然なグラフクラスにおいて、d-縮約列を多項式時間で計算可能か？
• RQ5 twin-widthと拡張、小クラス、多項式拡張などの他の複雑度測度との関係は何か？

主な発見

• 適切なマイナー閉じクラス、有界ランク幅グラフ、マップグラフ、Kt-フリーのユニットd次元ボールグラフ、有界反鎖を持つposetではtwin-widthが有界である。
• boolean幅 ≤k のグラフに対しては、多項式時間でd-縮約列が計算可能であり、(2k+1−1)-縮約列が得られる。
• 一辺の長さがnのd次元グリッドに対しては、線形時間で3d-縮約列が計算可能である。
• [n]個の頂点を持つグラフでtwin-widthがd以下であるものの数は、ある関数fに関してn!f(d)nで抑えられ、有界twin-widthクラスが「小さい」ことを示す。
• 有界twin-widthはFO解釈およびトランスダクションに関して保存され、FPT結果をより広いクラスへと移転可能である。
• twin-widthがd以下のグラフ上で最大独立集合は多項式時間で定数近似可能であり、同様の条件下で最小支配集合に対しても同様の近似が可能である。