[論文レビュー] Complexity Framework For Forbidden Subgraphs I: The Framework

Matthew Johnson, Barnaby Martin+4 more|arXiv (Cornell University)|Nov 23, 2022

Advanced Graph Theory Research被引用数 1

ひとこと要約

本稿では、有限集合 H に属する任意のグラフを部分グラフとして含まない H-部分グラフ自由グラフのための複雑性枠組みを提示する。この枠組みは、3 つの条件に基づく：有界木幅グラフにおける tractability、3-正則グラフにおける NP 困難性、および辺分割における困難性の継続性。主な結果は、H に互いに素なパスと分割されたかぎりの disjoint な和集合が含まれる場合に限り、問題が効率的に解けるという二分法である。この枠組みは、従来の minor およびトポロジカル minor 自由グラフのためのメタ分類を統合・拡張するものである。

ABSTRACT

For any particular class of graphs, algorithms for computational problems restricted to the class often rely on structural properties that depend on the specific problem at hand. This begs the question if a large set of such results can be explained by some common problem conditions. We propose such conditions for $HH$-subgraph-free graphs. For a set of graphs $HH$, a graph $G$ is $HH$-subgraph-free if $G$ does not contain any of graph from $H$ as a subgraph. Our conditions are easy to state. A graph problem must be efficiently solvable on graphs of bounded treewidth, computationally hard on subcubic graphs, and computational hardness must be preserved under edge subdivision of subcubic graphs. Our meta-classification says that if a graph problem satisfies all three conditions, then for every finite set $HH$, it is ``efficiently solvable'' on $HH$-subgraph-free graphs if $HH$ contains a disjoint union of one or more paths and subdivided claws, and is ``computationally hard'' otherwise. We illustrate the broad applicability of our meta-classification by obtaining a dichotomy between polynomial-time solvability and NP-completeness for many well-known partitioning, covering and packing problems, network design problems and width parameter problems. For other problems, we obtain a dichotomy between almost-linear-time solvability and having no subquadratic-time algorithm (conditioned on some hardness hypotheses). The proposed framework thus gives a simple pathway to determine the complexity of graph problems on $HH$-subgraph-free graphs. This is confirmed even more by the fact that along the way, we uncover and resolve several open questions from the literature.

研究の動機と目的

• H-部分グラフ自由グラフに制限されたグラフ問題の計算複雑性に対する一般化されたメタ分類枠組みを確立すること。
• H-部分グラフ自由グラフにおけるグラフ問題の複雑性が、系統的に分類可能となる、最小限で容易に確認可能な条件を同定すること。
• 従来の minor およびトポロジカル minor 自由グラフのためのアルゴリズム的メタ分類を、禁止部分グラフに一般化可能な枠組みへ統合・拡張すること。
• 本枠組みを用いて、分割、被覆、パッキング、幅問題など、代表的なグラフ問題に適用し、文献における未解決問題を解消すること。
• 1 つ以上の条件が成立しない場合の枠組みの限界を調査し、今後の方向性として誘導部分グラフ関係を検討すること。

提案手法

• H-部分グラフ自由グラフを、有限集合 H に属する任意のグラフを部分グラフとして含まないグラフとして定義する。
• 3 つの核心的条件を提唱する：(C1) 有界木幅グラフにおける多項式時間での解法可能；(C2) 3-正則グラフにおける NP 完全性；(C3) 3-正則グラフにおける NP 困難性が辺分割によっても継続すること。
• 問題がすべて 3 つの条件を満たす場合、H に互いに素なパスと分割されたかぎりの disjoint な和集合が含まれる場合に限り、H-部分グラフ自由グラフ上で効率的に解けることを証明する。
• 分割、被覆、パッキング、ネットワーク設計、幅問題など広範な問題に枠組みを適用し、多項式時間解法可能性と NP 完全性の間の二分法を導出する。
• 3SUM や Strong Exponential Time Hypothesis などの困難性仮説に条件を置くことで、ほぼ線形時間複雑性への枠組みの拡張を行う。
• 構造的グラフ理論および既知の結果（例えば、Lozin と Razgon [73]）を用い、誘導部分グラフ関係を検討し、制限付き条件下での H-自由グラフに対する最初のメタ分類を提案する。

実験結果

リサーチクエスチョン

• RQ1 単純で確認可能な条件に基づき、H-部分グラフ自由グラフにおける一般化されたメタ分類を構築できるか？
• RQ2 H-部分グラフ自由グラフに制限されたグラフ問題の tractability と intractability の正確な境界は何か？
• RQ3 C1（有界木幅）、C2（3-正則グラフにおける困難性）、C3（辺分割における困難性の継続性）の 3 つの条件が、複雑性をどのように決定づけるか？
• RQ4 この枠組みは、Subgraph Isomorphism や Edge Steiner Tree などの問題を含め、文献における未解決問題を解消できるか？
• RQ5 誘導部分グラフ関係に対する枠組みのインパクトは何か？また、H-自由グラフに対するメタ分類を導く可能性はあるか？

主な発見

• C1, C2, C3 をすべて満たす問題は、H に互いに素なパスと分割されたかぎりの disjoint な和集合が含まれる場合に限り、H-部分グラフ自由グラフ上で効率的に解ける。
• 本枠組みは、独立集合、頂点被覆、およびさまざまな幅問題を含む多数の代表的問題について、多項式時間解法可能性と NP 完全性の二分法を導出する。
• 一部の問題について、3SUM や Strong Exponential Time Hypothesis などの困難性仮説を仮定することで、ほぼ線形時間での解法可能性と、subquadratic 時間アルゴリズムの非存在との二分法を提供する。
• 本枠組みは、文献における未解決事例を解消する。例えば、H = P5 または H = 2P5 のときの Subgraph Isomorphism の複雑性がこれにより特定される。
• 本枠組みは誘導部分グラフ関係へ拡張可能であり、これにより定理 20 が得られる：H-自由グラフ上で問題が多項式時間で解けるのは、H に完全グラフ、完全二部グラフ、S に属するグラフ、および T（S-グラフの線グラフ）に属するグラフが含まれる場合に限る。
• 本稿では、Weighted Edge Steiner Tree が定理 20 の条件を満たす唯一の既知の問題であると特定する。これにより、より多くの同様の問題の同定が今後の課題（未解決問題）として浮上する。