[论文解读] Uniquely Restricted Matchings in Interval Graphs

Mathew C. Francis, Dalu Jacob+1 more|arXiv (Cornell University)|Apr 24, 2016

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

一句话总结

本文提出了一种多项式时间算法，用于在区间图中计算最大基数的唯一受限匹配，通过在区间嵌套有向图上使用动态规划方法，解决寻找最大强独立集这一更一般性问题。主要贡献在于解决了Golumbic等人提出的一个开放问题，且为正规区间图和二分排列图提供了线性时间变体。

ABSTRACT

A matching $M$ in a graph $G$ is said to be uniquely restricted if there is no other matching in $G$ that matches the same set of vertices as $M$. We describe a polynomial-time algorithm to compute a maximum cardinality uniquely restricted matching in an interval graph, thereby answering a question of Golumbic et al. ("Uniquely restricted matchings", M. C. Golumbic, T. Hirst and M. Lewenstein, Algorithmica, 31:139--154, 2001). Our algorithm actually solves the more general problem of computing a maximum cardinality "strong independent set" in an interval nest digraph, which may be of independent interest. Further, we give linear-time algorithms for computing maximum cardinality uniquely restricted matchings in proper interval graphs and bipartite permutation graphs.

研究动机与目标

• 解决Golumbic等人（2001年）提出的开放问题：是否存在多项式时间算法，用于计算区间图中的最大基数唯一受限匹配？
• 将解决方案扩展至正规区间图和二分排列图，提供线性时间算法。
• 引入并解决更一般性问题：在区间嵌套有向图中寻找最大基数强独立集。
• 利用交错圈特征刻画与区间表示性质，提供理论基础。
• 通过证明在排列图中，非唯一受限匹配可存在任意长度的偶数交错圈，阐明其局限性。

提出的方法

• 使用基于区间左端点从左到右排序的区间表示法对区间图进行建模。
• 构建一个区间嵌套有向图D，其中每个顶点代表原图中的一条边，有向边编码区间包含与相交关系。
• 定义D中的强独立集为一组边，其内部无相互有向边，从而确保不存在交错圈。
• 证明D中的强独立集恰好对应于原区间图中的唯一受限匹配。
• 在区间嵌套有向图上应用动态规划，以O(m⁴)时间复杂度计算最大强独立集。
• 针对特殊图类（正规区间图与二分排列图）优化算法，实现线性时间复杂度。

实验结果

研究问题

• RQ1 是否可以在多项式时间内计算任意区间图中的最大基数唯一受限匹配？
• RQ2 能否通过交错圈结构刻画区间图中唯一受限匹配的特性？
• RQ3 该问题能否推广为更具一般性的图论问题，以拓展其适用范围？
• RQ4 为何现有针对正规区间图的线性时间算法在某些情况下失效，如何修正？
• RQ5 在排列图中，交错圈与匹配唯一性之间存在何种关系？

主要发现

• 针对任意区间图，存在一种多项式时间算法，可计算最大基数唯一受限匹配，从而解决了Golumbic等人（2001年）提出的开放问题。
• 该算法基于在区间嵌套有向图中求解最大强独立集问题，已证明其与原始匹配问题等价。
• 针对正规区间图，提出一种线性时间算法，优于以往存在缺陷的方法。
• 还为二分排列图设计了线性时间算法，扩展了该方法的适用范围。
• 本文证明，在排列图中，非唯一受限匹配可存在任意长度k ≥ 4的偶数交错圈，且此类交错圈不限于长度4。
• 通过构造一个具有长度k的哈密顿交错圈（k为任意偶数且k ≥ 4）的排列图，证明在这些图中，最小交错圈长度不存在常数上界。