[論文レビュー] Graph Parameters, Universal Obstructions, and WQO

Christophe Paul, Evangelos Protopapas+1 more|arXiv (Cornell University)|Apr 7, 2023

Advanced Graph Theory Research被引用数 5

ひとこと要約

本稿は、well-quasi-ordering (WQO) 関係下でのグラフパラメータに対する普遍的障害の概念を導入し、その障害が有限である条件を提示することで、固定パラメータ可 tractable (FPT) アルゴリズムの構築を可能にする。WQO 関係においてグラフパラメータが単調で、かつ関係が 2-well-quasi-ordered である場合、有限な普遍的障害が存在することを確立し、漸近的パラメータ行動のコンパクトな特徴付けとアルゴリズム的意義を提供する。

ABSTRACT

We establish a parametric framework for obtaining obstruction characterizations of graph parameters with respect to a quasi-ordering $\leqslant$ on graphs. At the center of this framework lies the concept of a $\leqslant$-parametric graph: a non $\leqslant$-decreasing sequence $\mathscr{G} = \langle \mathscr{G}_{t} angle_{t \in \mathbb{N}}$ of graphs indexed by non-negative integers. Parametric graphs allow us to define combinatorial objects that capture the approximate behaviour of graph parameters. A finite set $\mathfrak{G}$ of $\leqslant$-parametric graphs is a $\leqslant$-universal obstruction for a parameter $\mathsf{p}$ if there exists a function $f \colon \mathbb{N} o \mathbb{N}$ such that, for every $k \in \mathbb{N}$ and every graph $G$, 1) if $\mathsf{p}(G) \leq k$, then for every $\mathscr{G} \in \mathfrak{G},$ $\mathscr{G}_{f(k)} ot\leqslant G$, and 2) if for every $\mathscr{G} \in \mathfrak{G},$ $\mathscr{G}_{k} ot\leqslant G$, then $\mathsf{p}(G) \leq f(k).$ To solidify our point of view, we identify sufficient order-theoretic conditions that guarantee the existence of universal obstructions and in this case we examine algorithmic implications on the existence of fixed-parameter tractable algorithms. Our parametric framework has further implications related to finite obstruction characterizations of properties of graph classes. A $\leqslant$-class property is defined as any set of $\leqslant$-closed graph classes that is closed under set inclusion. By combining our parametric framework with established results from order theory, we derive a precise order-theoretic characterization that ensures $\leqslant$-class properties can be described in terms of the exclusion of a finite set of $\leqslant$-parametric graphs.

研究の動機と目的

• 準順序関係下でのグラフパラメータに対する普遍的障害の概念を形式化すること。
• 普遍的障害の有限性を保証する順序理論的条件を同定すること。
• 有限な普遍的障害のアルゴリズム的意義、特に固定パラメータ可 tractable (FPT) アルゴリズムへの影響を調査すること。
• 木分割幅のような関係が完全な WQO でない場合でも、有限な障害が存在するかを検討すること。
• マイナー関係および埋め込み関係における 2-wqo 猜想を解決する動機を提示することにより、理論をより広いパラメータクラスへ一般化すること。

提案手法

• 準順序関係 ≤ の下で、普遍的障害を用いた新しいグラフパラメータの枠組みを提案する。
• 普遍的障害を、≤ におけるパラメータの漸近的挙動を特徴付ける有限な反鎖として定義する。
• ≤ が 2-well-quasi-ordered である場合に、そのような障害の有限性を保証するために well-quasi-ordering (WQO) 理論を適用する。
• マイナー関係および埋め込み関係の WQO 性を裏付ける基礎的結果として、Robertson-Seymour 定理および埋め込み定理を用いる。
• ≤ に含まれるかのチェックが効率的に行えるものと仮定して、有限障害集合による属 Membership テストのアルゴリズム的妥当性を分析する。
• グラフに限らず、有向グラフ、ハイパーグラフ、マトロイドなどの組合せ的構造に対しても理論を拡張する。

実験結果

リサーチクエスチョン

• RQ1 与えられた準順序関係下で、グラフパラメータが有限な普遍的障害をもつための条件は何か？
• RQ2 準順序関係が完全な WQO ではなく 2-well-quasi-ordered である場合でも、有限な普遍的障害の存在を保証できるか？
• RQ3 有限な普遍的障害を有することが、グラフパラメータに及ぼすアルゴリズム的影響は何か？
• RQ4 木分割幅のような、WQO に対して単調でないパラメータに対しても、普遍的障害を構成できるか？
• RQ5 2-wqo 猜想の証明がなくても、広い範囲のグラフパラメータの族に対して自動的に有限障害集合を生成する一般理論を構築できるか？

主な発見

• 関係 ≤ が 2-well-quasi-ordered で、かつパラメータがその下で単調である場合、グラフパラメータに対して有限な普遍的障害が存在する。
• 有限な普遍的障害の存在は、パラメータのレベル集合への属 Membership テストに固定パラメータ可 tractable (FPT) アルゴリズムが存在することを示唆する。
• マイナー関係および埋め込み関係は、すべてのグラフ上で WQO であることが知られているが、これらの関係に対する 2-wqo 猜想は未解決であり、理論の拡張に中心的な役割を果たす。
• 木分割幅パラメータに関しては、単調性および WQO 性に欠けるものの、位相的マイナー関係下では有限な普遍的障害が存在する。
• 適切なサイズおよび順序の概念が定義されれば、理論は有向グラフ、ハイパーグラフ、マトロイドなどの他の組合せ的構造に対しても一般化可能である。
• 本稿は、完全な 2-wqo 議論が得られていない状況下でも、パrametric ファミリーのグラフパラメータに対する有限障害集合の構築を促進するためのさらなる研究を動機づけている。