[論文レビュー] Recognizing Proper Tree-Graphs

Steven Chaplick, Petr A. Golovach+2 more|arXiv (Cornell University)|Jan 1, 2020

Advanced Graph Theory Research参考文献 11被引用数 1

ひとこと要約

本稿では、木 T の分割における連結部分グラフの積集合グラフである適切な T-グラフの認識が、T のサイズをパrameterとして固定パrameter tractable（FPT）であることを確立している。実行時間は 2^O(t² log t) · n³ である。著者らは、yes-インスタンスに対して適切な T-表現を出力する構成的アルゴリズムを提示し、この問題のパラメータ化された複雑さを解明した。これに対して、H が木でない場合には適切な H-グラフ認識は NP-完全であるのと対照的である。

ABSTRACT

We investigate the parameterized complexity of the recognition problem for the proper H-graphs. The H-graphs are the intersection graphs of connected subgraphs of a subdivision of a multigraph H, and the properness means that the containment relationship between the representations of the vertices is forbidden. The class of H-graphs was introduced as a natural (parameterized) generalization of interval and circular-arc graphs by Biró, Hujter, and Tuza in 1992, and the proper H-graphs were introduced by Chaplick et al. in WADS 2019 as a generalization of proper interval and circular-arc graphs. For these graph classes, H may be seen as a structural parameter reflecting the distance of a graph to a (proper) interval graph, and as such gained attention as a structural parameter in the design of efficient algorithms. We show the following results. - For a tree T with t nodes, it can be decided in 2^{𝒪(t² log t)} ⋅ n³ time, whether an n-vertex graph G is a proper T-graph. For yes-instances, our algorithm outputs a proper T-representation. This proves that the recognition problem for proper H-graphs, where H required to be a tree, is fixed-parameter tractable when parameterized by the size of T. Previously only NP-completeness was known. - Contrasting to the first result, we prove that if H is not constrained to be a tree, then the recognition problem becomes much harder. Namely, we show that there is a multigraph H with 4 vertices and 5 edges such that it is NP-complete to decide whether G is a proper H-graph.

研究の動機と目的

• H が木であるときの適切な H-グラフ認識のパラメータ化された複雑さを特定すること。
• 木 T のサイズに指数的依存するが、それ以外は多項式時間で動作する効率的な適切な T-グラフ認識のアルゴリズムを開発すること。
• H が木でない場合の適切な H-グラフ認識の難解性と、H が木である場合の tractability を対比すること。
• 木に似たホストグラフを用いた適切な H-グラフの構造的性質とその表現を調査すること。
• 適切な H-グラフ認識における FPT と NP-完全性の境界に位置する未解決の問題に取り組むこと。

提案手法

• T の木構造に基づく動的計画法を設計し、その階層的かつ非循環的な性質を活用する。
• T の分割上でのモデルの変更によって適切な T-表現を構築する構成的表現アプローチを用いる。
• 交差を区間型の順序に一致させるとともに、包含関係を避けるために一連のモデル変換を適用する。
• 問題を、分割内での高々3本のパスにおける区間表現のチェックに還元し、木構造による複雑さの上限を導く。
• 次数3のノードおよび分割ノードの正規化ラベルを用いて構造的制約を強制し、可能な表現の探索を効率化する。
• Kmin および Kmax の頂点のモデルに対して対称的な変更を加え、パス上の前綴・接尾語性質を強制し、区間順序の整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 木 T のサイズをパrameterとして、適切な T-グラフ認識問題は固定パラメータ tractable か？
• RQ2 yes-インスタンスに対して適切な T-表現を出力する構成的アルゴリズムを設計できるか？
• RQ3 H が木に制限されない場合、適切な H-グラフ認識の複雑さはいかほどか？
• RQ4 H にサイクルが存在する場合、適切な H-グラフ認識は NP-完全になるか、特に小さな H に対してもそうなるか？
• RQ5 H に対して適切な H-グラフ認識が依然として tractable となるような構造的条件はあるか？

主な発見

• 適切な T-グラフの認識は、t を木 T のノード数として、2^O(t² log t) · n³ 時間で固定パラメータ tractable である。
• すべての yes-インスタンスに対して、アルゴリズムは適切な T-表現を構築するため、結果は構成的であり、アルゴリズム的応用において実用的である。
• H が4頂点5辺の多重グラフである場合でさえ、H が木でない限り、問題は NP-完全になる。
• NP-完全性の結果は、小さな非カスス多重グラフに対しても成り立つため、木から一般の多重グラフに移行する際の複雑さの鋭い閾値を示している。
• アルゴリズムの核となる部分は、分割内での高々3本のパスにおける区間順序性を満たすようにモデルを変換することにあり、これにより効率的な動的計画法が可能になる。
• 本稿では、弦的グラフの適切なリーフェージの計算が FPT であることを確立し、決定版は最小のホスト木を当てずっぽうし、適切性を検証することで解ける。