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

一句话总结

本文提供了正常Helly圆弧图的完整禁止诱导子图特征刻画，并提出了一种线性时间的认证识别算法，当输入不是正常Helly圆弧图时，该算法会输出一个最小禁止诱导子图作为证书。该方法通过识别弦图最小禁止子图并利用结构分解与模型分析实现高效检测，从而解决了Lin、Soulignac和Szwarcfiter提出的两个开放问题。

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.

研究动机与目标

• 解决通过禁止诱导子图刻画正常Helly圆弧图的开放问题。
• 为正常Helly圆弧图设计一种直接的线性时间识别算法。
• 当输入不是正常Helly圆弧图时，提供一个最小禁止诱导子图作为否定证书。
• 通过识别超出区间与Helly性质的结构障碍，扩展对圆弧图子类的理解。

提出的方法

• 本文识别出刻画正常Helly圆弧图的弦图最小禁止诱导子图（FIS），包括长爪、鞭稍图以及其他特定构型。
• 提出一种认证识别算法，能在O(n+m)时间内构造正常Helly圆弧图模型，或返回一个最小禁止诱导子图作为输出。
• 该方法依赖于对圆弧图模型结构及图中邻接关系的分析，尤其关注弦性顶点及其邻居。
• 关键技术包括通过弦图分解遍历图的结构，并利用局部检查检测如环或$K_{2,3}$等禁止子图。
• 通过检查顶点对及其公共邻居，结合引理验证子图的最小性，实现最小禁止子图的检测。
• 利用关于区间图与圆弧图模型的已有结果，特别是对正常与Helly性质的刻画，以缩小禁止构型的搜索空间。

实验结果

研究问题

• RQ1 构成正常Helly圆弧图的完整禁止诱导子图集合是什么？
• RQ2 能否为正常Helly圆弧图设计一种线性时间认证识别算法，使其在输入非成员时返回一个最小禁止诱导子图作为证书？
• RQ3 正常与Helly圆弧图模型的结构特性如何相互作用，以定义一个与两者交集不同的真子类？
• RQ4 阻止圆弧图被表示为正常Helly圆弧图模型的最小障碍是什么？
• RQ5 此类障碍的检测能否高效完成，达到线性时间复杂度？

主要发现

• 本文识别出刻画正常Helly圆弧图的完整弦图最小禁止诱导子图集合，解决了Lin、Soulignac和Szwarcfiter提出的开放问题。
• 开发了一种线性时间认证识别算法，可构造正常Helly圆弧图模型，或返回一个最小禁止诱导子图作为证书。
• 通过局部邻域分析，该算法能正确检测所有最小禁止子图，包括长爪、鞭稍图和$C^*$构型。
• 该方法确保每个非正常Helly圆弧图均能通过一个最小禁止诱导子图被拒绝，从而提供可验证的否定证书。
• 结构分析确认，正常Helly圆弧图类是正常与Helly圆弧图交集的一个真子类，原因在于某些情况下无法构造同时具备两种性质的模型。
• 禁止子图检测过程的时间复杂度为$O(n+m)$，使得该算法高效且适用于实际实现。