[论文解读] Dominating Induced Matchings for P7-Free Graphs in Linear Time

Andreas Brandstädt, Raffaele Mosca|arXiv (Cornell University)|Jun 14, 2011

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

一句话总结

本文提出了一种在 $P_7$-free 图上求解支配诱导匹配（DIM）问题的线性时间算法，解决了图论中的一个开放问题。该算法具有鲁棒性，能够处理非 $P_7$-free 输入，通过结构图分析与模块分解，要么计算出最优解，要么正确报告无解或非 $P_7$-freeness。

ABSTRACT

Let $G$ be a finite undirected graph with edge set $E$. An edge set $E' \subseteq E$ is an {\em induced matching} in $G$ if the pairwise distance of the edges of $E'$ in $G$ is at least two; $E'$ is {\em dominating} in $G$ if every edge $e \in E \setminus E'$ intersects some edge in $E'$. The \emph{Dominating Induced Matching Problem} (\emph{DIM}, for short) asks for the existence of an induced matching $E'$ which is also dominating in $G$; this problem is also known as the \emph{Efficient Edge Domination} Problem. The DIM problem is related to parallel resource allocation problems, encoding theory and network routing. It is \NP-complete even for very restricted graph classes such as planar bipartite graphs with maximum degree three. However, its complexity was open for $P_k$-free graphs for any $k \ge 5$; $P_k$ denotes a chordless path with $k$ vertices and $k-1$ edges. We show in this paper that the weighted DIM problem is solvable in linear time for $P_7$-free graphs in a robust way.

研究动机与目标

• 解决 $P_k$-free 图（$k \geq 5$）中支配诱导匹配（DIM）问题复杂性的开放问题，特别针对 $P_7$-free 图。
• 为 $P_7$-free 图上的加权 DIM 问题（最小 DIM）提供多项式时间解法。
• 设计一种鲁棒算法，无需预先确认输入图是否为 $P_7$-free，而是在执行过程中检测非 $P_7$-freeness。
• 通过识别一个新的多项式时间可解类，将 DIM 的理解拓展至已知的可 tractable 类（如 cographs 和弦图二分图）之外。
• 建立一个基于结构分解与通过同质集强制边识别的框架，用于求解 $P_7$-free 图中的 DIM 问题。

提出的方法

• 使用模块分解识别输入图 $G$ 中的最大同质集 $H_1, \ldots, H_k$，实现结构化约简。
• 应用强制边规则：若 $|N(H_i)| = 1$，则使用过程 Hom-1-DIM 固定强制边；若 $H_i$ 是边的不相交并集且 $N(H_i)$ 是稳定集，则将 $H_i$ 的所有边包含在匹配中。
• 通过收缩强制边构造约简图 $G' = \text{Reduced}(G, M)$，保持 DIM 结构不变。
• 对 $G'$ 的每个连通分量，应用 $P_7$-free 二分图 DIM 方法，或检测奇圈，并通过在圈边上的 Check(ab) 验证潜在解。
• 利用距离遗传图与弦图二分图的性质求解剩余分量，借助已知的线性时间算法。
• 执行最终的一致性检查，验证计算出的边集 $M$ 是否在 $G$ 中构成有效的支配诱导匹配。

实验结果

研究问题

• RQ1 支配诱导匹配（DIM）问题在 $P_7$-free 图上是否可在多项式时间内求解？
• RQ2 $P_7$-free 图上的加权 DIM 问题是否可在线性时间内求解？
• RQ3 能否设计一种针对 $P_7$-free 图的鲁棒算法，无需预先检查 $P_7$-freeness？
• RQ4 $P_7$-free 图的哪些结构特性使得 DIM 问题可在线性时间内求解？
• RQ5 在 $P_7$-free 图中，具有特定邻域性质的同质集是否允许强制边的识别？

主要发现

• 加权支配诱导匹配（MDIM）问题在 $P_7$-free 图上可在线性时间内求解。
• 该算法具有鲁棒性：它要么计算出最小权重的 d.i.m.，要么正确报告不存在 d.i.m. 或输入图非 $P_7$-free。
• 该算法的时间复杂度为 $O(n + m)$，其中 $n$ 和 $m$ 分别为顶点数和边数。
• 对于 $P_7$-free 图，DIM 问题可在线性时间内求解，解决了文献 [9] 中提出的开放问题。
• 结构分析表明，具有 d.i.m. 的 $P_7$-free 图在其同质集与约简图中表现出特定性质，从而支持高效的分解。
• 该算法无需预先进行 $P_7$-freeness 检查即可正确处理非 $P_7$-free 输入，避免了昂贵的识别步骤。