[论文解读] 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

一句话总结

该论文将 Roberts 关于单位区间图的经典刻画推广至 d-区间图，证明对于 d ≥ 2，K₁,₂ₔ₊₁-自由的区间图是单位 d-区间图。然而，同样的条件并不能保证存在不相交的单位 d-区间表示，表明不相交单位 d-区间图的类是严格更小的。在平衡情况下，不相交与非不相交的 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$.

研究动机与目标

• 该论文研究 Roberts 对单位区间图的刻画在 d-区间图中的推广。
• 它探讨单位 d-区间图与其不相交对应类之间的结构差异。
• 它研究平衡 d-区间图与其不相交变体之间的关系，特别是针对 d = 2 和 d > 2 的情况。
• 目标是厘清这些 d-区间图子类之间的层次结构与包含关系。

提出的方法

• 作者采用禁止子图刻画方法，重点关注 K₁,₂ₔ₊₁ 缺失作为关键结构约束。
• 他们通过调整区间长度和包含关系，构造显式区间表示以证明可实现性。
• 在平衡情况下，他们应用长度缩放和区间放置方法，在避免不必要交叠的同时保持平衡。
• 他们使用构件构造法，如修改后的完全二部图 K₁₁,₄ 和 K_{d²+d−1,d+1}，以证明在不相交设置下不可表示性。
• 证明依赖于关于多个区间每顶点的区间包含与交叠模式的组合论证。
• 他们应用关于连续 d-区间表示和半序理论的已知结果，以支持结构主张。

实验结果

研究问题

• RQ1 Roberts 将单位区间图刻画为 K₁,₃-自由区间图的方法能否推广至 d ≥ 2 的 d-区间图？
• RQ2 K₁,₂ₔ₊₁ 作为诱导子图的缺失是否足以保证图是不相交单位 d-区间图？
• RQ3 对于所有 d ≥ 2，不相交平衡 d-区间图类与平衡 d-区间图类是否一致？
• RQ4 对于 d > 2，不相交与非不相交的单位及平衡 d-区间图类之间存在何种关系？

主要发现

• 对于每个 d ≥ 2，K₁,₂ₔ₊₁-自由的区间图是单位 d-区间图，推广了 Roberts 的刻画。
• 不相交单位 d-区间图类是单位 d-区间图类的真子类，通过一个反例图得以证明：该图是单位 d-区间图但不是不相交单位 d-区间图。
• 不相交平衡 2-区间图类与平衡 2-区间图类一致，但该等价性在 d > 2 时不成立。
• 对于 d ≥ 3，不相交平衡 d-区间图类是平衡 d-区间图类的真子类，通过构造一个含 K_{d²+d−1,d+1} 构件的图得以证明。
• 图 4 中的图是单位 2-区间图但不是不相交单位 2-区间图，证明了严格包含关系。
• 存在一个图具有平衡 3-区间表示，但无法表示为不相交平衡 3-区间图，确认了 d ≥ 3 时的严格层次结构。