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

一句话总结

本文通过提供正常 Helly 圆弧图（即弧在圆周上且无三个弧覆盖整个圆周的交集图）的全部极小禁止诱导子图列表，解决了长期存在的开放问题。作者基于 Lin、Soulignac 和 Szwarcfiter 的前期工作，他们虽已识别出部分禁止子图，但未完成完整表征。本文运用结构图论与一种新颖的圆弧模型构造方法，证明了剩余的极小禁止子图正是完整表征该类图所必需的，从而完成了对这一重要圆弧图子类的禁止子图表征。

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.

研究动机与目标

• 解决正常 Helly 圆弧图的完整禁止诱导子图表征这一开放问题。
• 识别 Lin、Soulignac 和 Szwarcfiter 未确定的剩余极小禁止诱导子图。
• 利用禁止子图建立正常 Helly 圆弧图的完整结构表征。
• 提供构造性证明，表明每个正常 Helly 圆弧图均可拥有一个无三个弧覆盖圆周的圆弧模型。

提出的方法

• 作者通过分析图中无弦路径与邻域交集的性质，研究正常 Helly 圆弧图的结构。
• 他们定义并利用集合 A_i、B_i、O_i、T_i 对顶点进行划分，基于其与固定圈 C 的邻接关系，实现圆弧模型的系统构造。
• 关键构造为：对每个顶点 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 在 Lin、Soulignac 和 Szwarcfiter 已识别的子图之外，正常 Helly 圆弧图类的极小禁止诱导子图有哪些？
• RQ2 能否利用结构与模型论技术，为正常 Helly 圆弧图实现完整的禁止子图表征？
• RQ3 是否可以为任意正常 Helly 圆弧图构造一个圆弧模型，使得无三个弧覆盖整个圆周？
• RQ4 顶点的邻域结构如何与有效圆弧模型的构造相关联？

主要发现

• 本文识别出正常 Helly 圆弧图类的全部极小禁止诱导子图，解决了 Lin、Soulignac 和 Szwarcfiter 提出的开放问题。
• 证明了图 G 是正常 Helly 圆弧图当且仅当其不包含所识别的任一极小禁止诱导子图作为诱导子图。
• 作者为任意正常 Helly 圆弧图构造了一个有效圆弧模型，使得无三个弧覆盖圆周，从而确认了基于模型与基于禁止子图定义之间的等价性。
• 每个顶点 v 的圆弧模型 X(v) 的构造被证明精确保留了原图的边集，确保了表示的正确性。
• 证明依赖于对顶点类型（O_i、T_i、A_i、B_i）及其与固定圈 C 的邻接关系的详细案例分析，表明该圆弧模型具有连续性且保持交集关系。
• 该结果完成了对正常 Helly 圆弧图的禁止子图表征，类似于 Lekkerkerker 与 Boland 对区间图的经典表征。