[論文レビュー] Forbidden Induced Subgraphs of Normal Helly Circular-Arc Graphs: Characterization and Detection

Yixin Cao, Luciano N. Grippo+1 more|arXiv (Cornell University)|May 2, 2014

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

ひとこと要約

本稿は、正規ヘリーサークルアークグラフの完全な禁止誘導部分グラフ特徴付けを提供し、入力が正規ヘリーサークルアークグラフでない場合には最小禁止誘導部分グラフを証明書として出力する線形時間の証明可能認識アルゴリズムを提示する。このアプローチにより、Lin、Soulignac、Szwarcfiterが提起した2つの未解決問題が解決され、弦的最小禁止部分グラフの特定と、構造的分解およびモデル解析による効率的検出が可能になる。

ABSTRACT

A normal Helly circular-arc graph is the intersection graph of arcs on a circle of which no three or less arcs cover the whole circle. Lin, Soulignac, and Szwarcfiter [Discrete Appl. Math. 2013] characterized circular-arc graphs that are not normal Helly circular-arc graphs, and used it to develop the first recognition algorithm for this graph class. As open problems, they ask for the forbidden induced subgraph characterization and a direct recognition algorithm for normal Helly circular-arc graphs, both of which are resolved by the current paper. Moreover, when the input is not a normal Helly circular-arc graph, our recognition algorithm finds in linear time a minimal forbidden induced subgraph as certificate.

研究の動機と目的

• 正規ヘリーサークルアークグラフを禁止誘導部分グラフによって特徴付けるという未解決問題を解決すること。
• 正規ヘリーサークルアークグラフの直接的かつ線形時間の認識アルゴリズムを開発すること。
• 入力が正規ヘリーサークルアークグラフでない場合に、最小禁止誘導部分グラフを負の証明書として提供すること。
• 区間的およびヘリーカラスの性質を超えた構造的障害を同定することで、サークルアークグラフの部分クラスの理解を拡張すること。

提案手法

• 本稿は、正規ヘリーサークルアークグラフを特徴付ける弦的最小禁止誘導部分グラフ（FIS）を同定し、長めのキツネ、ホイッピングトップ、およびその他の特定の構成を含む。
• 線形時間で、正規ヘリーサークルアークモデルを構築するか、最小禁止誘導部分グラフを返す証明可能認識アルゴリズムを導入する。
• この手法は、サークルアークモデルの構造とグラフ内の近傍関係、特に単体的頂点とその近傍に注目することで成り立つ。
• 重要な技術として、弦的グラフの分解を介してグラフの構造を走査し、穴や$K_{2,3}$のような禁止部分グラフを検出する局所的チェックを実施する。
• 頂点のペアとその共通近傍を調べることで最小禁止部分グラフを検出する手順を用い、部分グラフの最小性を確認するための補題を適用する。
• 特に、正規およびヘリーカラスの性質の特徴付けに言及する既存の結果を活用し、禁止構成の探索空間を制限する。

実験結果

リサーチクエスチョン

• RQ1 正規ヘリーサークルアークグラフを特徴付ける完全な禁止誘導部分グラフの集合は何か？
• RQ2 入力が正規ヘリーサークルアークグラフでない場合に、最小禁止誘導部分グラフを証明書として出力する線形時間の証明可能認識アルゴリズムを設計できるか？
• RQ3 正規およびヘリーサークルアークモデルの構造的性質がどのように相互作用し、それらの共通部分とは異なる適切な部分クラスを定義するか？
• RQ4 サークルアークグラフが正規ヘリーサークルアークモデルによって表現可能でない原因となる最小の障害は何か？
• RQ5 このような障害の検出は、線形時間の計算量で効率的に行えるか？

主な発見

• 本稿は、Lin、Soulignac、Szwarcfiterが提起した未解決問題を解決するため、正規ヘリーサークルアークグラフを特徴付ける完全な弦的最小禁止誘導部分グラフの集合を同定した。
• 正規ヘリーサークルアークモデルを構築するか、最小禁止誘導部分グラフを証明書として返す線形時間の証明可能認識アルゴリズムを開発した。
• 局所的近傍解析により、長めのキツネ、ホイッピングトップ、$C^*$構成を含むすべての最小禁止部分グラフを正しく検出する。
• この手法により、すべての非正規ヘリーサークルアークグラフが最小禁止誘導部分グラフによって拒否され、検証可能な負の証明書が提供される。
• 構造的解析により、正規ヘリーサークルアークグラフのクラスが、正規およびヘリーサークルアークグラフの共通部分とは異なる真の部分クラスであることが確認された。これは、一部のケースで両方の性質を併せ持つモデルが存在しないことによる。
• 禁止部分グラフの検出手順は$O(n+m)$時間で実行され、アルゴリズムは効率的で実装に適している。