[論文レビュー] Generalizing Roberts' Characterization of Unit Interval Graphs

Virginia Ardévol Martínez, Roméo Rizzi+3 more|arXiv (Cornell University)|Jan 1, 2024

Advanced Algebra and Logic被引用数 1

ひとこと要約

この論文は、ロバーツの古典的な単位区間グラフの特徴付けを d-区間グラフへ一般化し、d ≥ 2 に対して K₁,₂ₔ₊₁ を部分グラフとしない区間グラフは単位 d-区間グラフであることを証明する。しかし、同じ条件では互いに交差しない単位 d-区間表現が保証されないため、互いに交差しない単位 d-区間グラフのクラスは真に小さい。バランス型の場合、互いに交差しない 2-区間グラフと非交差型 2-区間グラフは一致するが、d > 2 の場合には成り立たない。

ABSTRACT

For any natural number $d$, a graph $G$ is a (disjoint) $d$-interval graph if it is the intersection graph of (disjoint) $d$-intervals, the union of $d$ (disjoint) intervals on the real line. Two important subclasses of $d$-interval graphs are unit and balanced $d$-interval graphs (where every interval has unit length or all the intervals associated to a same vertex have the same length, respectively). A celebrated result by Roberts gives a simple characterization of unit interval graphs being exactly claw-free interval graphs. Here, we study the generalization of this characterization for $d$-interval graphs. In particular, we prove that for any $d \geq 2$, if $G$ is a $K_{1,2d+1}$-free interval graph, then $G$ is a unit $d$-interval graph. However, somehow surprisingly, under the same assumptions, $G$ is not always a \emph{disjoint} unit $d$-interval graph. This implies that the class of disjoint unit $d$-interval graphs is strictly included in the class of unit $d$-interval graphs. Finally, we study the relationships between the classes obtained under disjoint and non-disjoint $d$-intervals in the balanced case and show that the classes of disjoint balanced 2-intervals and balanced 2-intervals coincide, but this is no longer true for $d>2$.

研究の動機と目的

• 論文は、ロバーツによる単位区間グラフの特徴付けを d-区間グラフへ一般化することを検討する。
• 単位 d-区間グラフとその互いに交差しない対応物との間の構造的差異を検討する。
• 特に d = 2 および d > 2 の場合に、バランス型 d-区間グラフとその互いに交差しないバージョンとの関係を調査する。
• 目的は、d-区間グラフのこれらの部分クラス間の階層関係および包含関係を明確にすることである。

提案手法

• 著者たちは、禁止部分グラフ特徴付けを用い、K₁,2d+1 の存在の欠如を主要な構造的制約として焦点を当てる。
• 区間長の調整と包含関係の議論を用いて、明示的な区間表現を構築し、実現可能性を示す。
• バランス型の場合、長さスケーリングと区間配置を適用してバランスを維持するとともに、望ましくない交差を回避する。
• 非実現性を示すために、修正された完全二部グラフ K₁₁,₄ および K_{d²+d−1,d+1} のようなガジェット構成を用いる。
• 証明は、各頂点が複数の区間を持つ場合の区間の包含および交差パターンに関する組合せ的議論に依存する。
• 連続的な d-区間表現に関する既知の結果と半順序理論を応用して、構造的主張を裏付ける。

実験結果

リサーチクエスチョン

• RQ1 d ≥ 2 に対して、ロバーツによる単位区間グラフの特徴付け（K₁,₃ を含まない区間グラフ）を d-区間グラフへ一般化できるか？
• RQ2 K₁,2d+1 を誘導部分グラフとして含まないことが、グラフが互いに交差しない単位 d-区間グラフであるために十分か？
• RQ3 すべての d ≥ 2 に対して、互いに交差しないバランス型 d-区間グラフのクラスとバランス型 d-区間グラフのクラスは一致するか？
• RQ4 d > 2 の場合、互いに交差しない単位 d-区間グラフと非交差型単位 d-区間グラフ、および互いに交差しないバランス型 d-区間グラフとバランス型 d-区間グラフとの間の関係は何か？

主な発見

• すべての d ≥ 2 に対して、K₁,2d+1 を部分グラフとしない区間グラフは単位 d-区間グラフである。これはロバーツの特徴付けの一般化である。
• 互いに交差しない単位 d-区間グラフのクラスは、単位 d-区間グラフの真の部分クラスである。これは、単位 d-区間グラフではあるが、互いに交差しない単位 d-区間グラフでない反例グラフによって示された。
• d = 2 の場合、互いに交差しないバランス型 2-区間グラフのクラスとバランス型 2-区間グラフのクラスは一致するが、d > 2 の場合にはこの同値性は成り立たない。
• d ≥ 3 の場合、互いに交差しないバランス型 d-区間グラフのクラスはバランス型 d-区間グラフの真の部分クラスである。これは、K_{d²+d−1,d+1} ガジェットを用いて構築されたグラフによって示された。
• 図 4 のグラフは単位 2-区間グラフではあるが、互いに交差しない単位 2-区間グラフではない。これは包含関係の厳密性を証明する。
• d ≥ 3 の場合、バランス型 3-区間表現が存在するが、互いに交差しないバランス型 3-区間グラフとして表現できないグラフが存在する。これは、d ≥ 3 で階層関係が厳密に成り立つことを確認する。