[論文レビュー] On circular-arc graphs having a model with no three arcs covering the circle

Luciano N. Grippo, Martín D. Safe|arXiv (Cornell University)|Feb 11, 2014

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

ひとこと要約

この論文は、円周上の弧の交差グラフとして表せるが、3つの弧が円周全体を被覆しないようなグラフである正規ヘリーサークルアーグラフの、長年の未解決問題を解決する。著者らは、リン、スルィニャック、シュバルツファイターらの先行研究に基づき、一部の禁止部分グラフを同定したが、完全な特徴付けは未解決のままであった。構造的グラフ理論と、新しい円周アーグラフモデルの構築を用いて、残りの最小禁止部分グラフが、このクラスを完全に特徴付けるために必要なものであることを証明した。これにより、この重要なサブクラスの円周アーグラフの禁止部分グラフ特徴付けが完成した。

ABSTRACT

An interval graph is the intersection graph of a finite set of intervals on a line and a circular-arc graph is the intersection graph of a finite set of arcs on a circle. While a forbidden induced subgraph characterization of interval graphs was found fifty years ago, finding an analogous characterization for circular-arc graphs is a long-standing open problem. In this work, we study the intersection graphs of finite sets of arcs on a circle no three of which cover the circle, known as normal Helly circular-arc graphs. Those circular-arc graphs which are minimal forbidden induced subgraphs for the class of normal Helly circular-arc graphs were identified by Lin, Soulignac, and Szwarcfiter, who also posed the problem of determining the remaining minimal forbidden induced subgraphs. In this work, we solve their problem, obtaining the complete list of minimal forbidden induced subgraphs for the class of normal Helly circular-arc graphs.

研究の動機と目的

• 正規ヘリーサークルアーグラフの完全な禁止誘導部分グラフ特徴付けを解くという未解決問題を解決すること。
• リン、スルィニャック、シュバルツファイターによって以前に同定されていなかった、残りの最小禁止誘導部分グラフを同定すること。
• 禁止部分グラフを用いた、正規ヘリーサークルアーグラフの完全な構造的特徴付けを確立すること。
• 任意の正規ヘリーサークルアーグラフが、3つの弧が円周全体を被覆しない円周アーグラフモデルをもつことを構成的証明すること。

提案手法

• 著者らは、弦なしパスとグラフ内の近傍集合の交わりの性質を用いて、正規ヘリーサークルアーグラフの構造を分析する。
• 彼らは、固定されたサイクル C に対する頂点の隣接関係に基づいて、集合 A_i, B_i, O_i, T_i を定義し、アーグラフモデルの体系的構築を可能にする。
• 重要な構築では、各頂点 v に対して、C 上の頂点との共通近傍によって誘導される弦なしパスに隣接する頂点の性質に基づき、円周 C 上の円弧 X(v) を割り当てる。
• アーグラフモデル X(v) は、部分円弧 X^1_i(v)、X^2_i(v)、および開円弧 (r_j, ℓ_k) の和集合として定義され、連続性と適切な交差挙動を保証する。
• 証明では、{X(v) | v ∈ V(G)} の族が、G に対する有効な円周アーグラフモデルを形成することを示し、X(u) ∩ X(v) ≠ ∅ が成り立つのは uv ∈ E(G) のときに限ることを保証する。
• 構築の正当性は、頂点の種類（O_i, T_i, A_i, B_i）とサイクル頂点への隣接関係に関するケース解析を通じて検証され、交差グラフの正しさが保証される。

実験結果

リサーチクエスチョン

• RQ1 リン、スルィニャック、シュバルツファイターによってすでに同定されたものとは異なる、正規ヘリーサークルアーグラフのクラスにおける最小禁止誘導部分グラフは何か？
• RQ2 構造的およびモデル理論的技法を用いて、正規ヘリーサークルアーグラフの完全な禁止部分グラフ特徴付けを達成できるか？
• RQ3 任意の正規ヘリーサークルアーグラフに対して、3つの弧が円周全体を被覆しない円周アーグラフモデルを構築することは可能か？
• RQ4 頂点の近傍構造は、有効な円周アーグラフモデルの構築とどのように関係するか？

主な発見

• この論文は、リン、スルィニャック、シュバルツファイターらが提起した未解決問題を解決し、正規ヘリーサークルアーグラフの完全な最小禁止誘導部分グラフの集合を同定した。
• グラフが正規ヘリーサークルアーグラフであるための必要十分条件は、同定された最小禁止誘導部分グラフをどれも誘導部分グラフとして含まないことであることを証明した。
• 著者らは、3つの弧が円周全体を被覆しない円周アーグラフモデルを、任意の正規ヘリーサークルアーグラフに対して構築した。これにより、モデルに基づく定義と禁止部分グラフに基づく定義との同値性が確認された。
• 各頂点 v に対するアーグラフモデル X(v) の構築が、元のグラフの辺集合を正確に保つことが証明され、表現の正しさが保証された。
• 証明は、頂点の種類（O_i, T_i, A_i, B_i）と固定サイクル C への隣接関係に関する詳細なケース解析に依拠しており、アーグラフモデルが連続的かつ交差を保存することを示した。
• この結果により、正規ヘリーサークルアーグラフの禁止部分グラフ特徴付けが完成した。これは、レッカーパーカーとボランの区間グラフの古典的特徴付けに類似している。