[论文解读] Simultaneous Interval Graphs

Krishnam Raju Jampani, Anna Lubiw|arXiv (Cornell University)|Sep 17, 2010

Advanced Graph Theory Research参考文献 13被引用 4

一句话总结

本文提出了一种 $O(n^2 "log n)$ 算法，用于识别同时区间图，其中两个共享顶点集的区间图必须在共享顶点上具有一致的区间表示。该方法使用 PQ-树约简和从两幅图中导出的两个 PQ-树之间的兼容性检查，利用最大团结构和节点排序约束，确保同时可表示性。

ABSTRACT

In a recent paper, we introduced the simultaneous representation problem (defined for any graph class C) and studied the problem for chordal, comparability and permutation graphs. For interval graphs, the problem is defined as follows. Two interval graphs G_1 and G_2, sharing some vertices I (and the corresponding induced edges), are said to be `simultaneous interval graphs' if there exist interval representations R_1 and R_2 of G_1 and G_2, such that any vertex of I is mapped to the same interval in both R_1 and R_2. Equivalently, G_1 and G_2 are simultaneous interval graphs if there exist edges E' between G_1-I and G_2-I such that G_1 \cup G_2 \cup E' is an interval graph. Simultaneous representation problems are related to simultaneous planar embeddings, and have applications in any situation where it is desirable to consistently represent two related graphs, for example: interval graphs capturing overlaps of DNA fragments of two similar organisms; or graphs connected in time, where one is an updated version of the other. In this paper we give an O(n^2*logn) time algorithm for recognizing simultaneous interval graphs,where n = |G_1 \cup G_2|. This result complements the polynomial time algorithms for recognizing probe interval graphs and provides an efficient algorithm for the interval graph sandwich problem for the special case where the set of optional edges induce a complete bipartite graph.

研究动机与目标

• 解决区间图的同时表示问题，其中两个区间图共享一个公共顶点集，且在这些顶点上必须具有一致的区间表示。
• 为当可选边在图的非共享部分之间构成完全二分图时的区间图夹逼问题提供一种高效算法。
• 将同时图表示的框架扩展至区间图，补充现有关于弦图、可比图和排列图的研究结果。
• 通过将探测图识别问题视为同时区间图的一个特例（其中非探测集合构成完全二分图）来推广探测图识别。

提出的方法

• 将输入区间图的每个 PQ-树约简为仅包含对应于共享顶点集 $I$ 的节点，从而生成表示非最大团的 PQ-树。
• 使用递归匹配策略，通过比较未匹配的关键节点与最大团后代及全集，对齐 PQ-树。
• 基于最大团后代 ($MMD$) 与全集 ($U$) 的交集应用约简模板，以指导树的重排并确保兼容性。
• 利用从 PQ-树性质和区间表示公理推导出的结构约束，检查两棵树之间子团的可合并性。
• 通过优先选择深度最大、全集最大且 $MMD$ 后代最少的节点，实现在每轮迭代中 $O(n)$ 时间内的节点选择与匹配。
• 摊还分析表明，约简的总次数为 $O(n \log n)$，每步约简耗时 $O(n)$，从而总时间复杂度为 $O(n^2 \log n)$。

实验结果

研究问题

• RQ1 同时区间图识别问题是否可在多项式时间内求解？若可，其最优时间复杂度是多少？
• RQ2 在两个区间图之间存在共享顶点约束的背景下，PQ-树应如何调整以表示非最大团？
• RQ3 哪些结构条件可确保具有公共顶点集的两个区间图具有相容的区间表示？
• RQ4 同时表示问题对于区间图是否等价于可选边集为完全二分图的图夹逼问题的一个特例？
• RQ5 用于探测区间图的技术能否推广以处理两个图而非一个？

主要发现

• 本文提出了一种 $O(n^2 \log n)$ 的算法用于识别同时区间图，其中 $n = |G_1 \cup G_2|$。
• 该算法将每个 PQ-树约简至共享顶点集 $I$，从而实现对非最大团结构之间兼容性的检查。
• 该方法基于 $MMD$（最大团后代）和 $U$（全集）集合对 PQ-树节点实施基于案例的约简策略，并为每种情况提供模板。
• PQ-树约简的总次数被限制在 $O(n \log n)$ 以内，且每步约简耗时 $O(n)$，从而得出整体时间复杂度。
• 空间复杂度为 $O(n + m)$，因为每个节点显式存储 $U(y)$ 和 $|MMD(y)|$，且内部节点的数量受叶子节点数量的限制。
• 该算法推广了探测区间图识别问题，并为完全二分图情况下的区间图夹逼问题提供了高效解法。