[论文解读] Dominating Induced Matchings in $S_{1,2,4}$-Free Graphs

Andreas Brandstädt, Raffaele Mosca|arXiv (Cornell University)|Jun 27, 2017

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

一句话总结

本文提出了一种针对 $S_{1,2,4}$-free 图的支配诱导匹配（DIM）问题的多项式时间算法，扩展了此前关于 $S_{1,2,3}$-free 和 $P_7$-free 图的结果。通过结合结构分析与两种不同的算法方法——边缩减和基于着色的分解，证明了该类图中 DIM 可在多项式时间内求解，推进了关于所有 $S_{i,j,k}$-free 图中 DIM 可 tractable 的猜想。

ABSTRACT

Let $G=(V,E)$ be a finite undirected graph without loops and multiple edges. A subset $M \subseteq E$ of edges is a {\em dominating induced matching} ({\em d.i.m.}) in $G$ if every edge in $E$ is intersected by exactly one edge of $M$. In particular, this means that $M$ is an induced matching, and every edge not in $M$ shares exactly one vertex with an edge in $M$. Clearly, not every graph has a d.i.m. The \emph{Dominating Induced Matching} (\emph{DIM}) problem asks for the existence of a d.i.m.\ in $G$; this problem is also known as the \emph{Efficient Edge Domination} problem; it is the {\em Efficient Domination} problem for line graphs. The DIM problem is \NP-complete in general, and even for very restricted graph classes such as planar bipartite graphs with maximum degree 3. However, DIM is solvable in polynomial time for claw-free (i.e., $S_{1,1,1}$-free) graphs, for $S_{1,2,3}$-free graphs as well as for $S_{2,2,2}$-free graphs, in linear time for $P_7$-free graphs, and in polynomial time for $P_8$-free graphs ($P_k$ is a special case of $S_{i,j,\ell}$). In a paper by Hertz, Lozin, Ries, Zamaraev and de Werra, it was conjectured that DIM is solvable in polynomial time for $S_{i,j,k}$-free graphs for every fixed $i,j,k$. In this paper, combining two distinct approaches, we solve it in polynomial time for $S_{1,2,4}$-free graphs which generalizes the $S_{1,2,3}$-free as well as the $P_7$-free case.

研究动机与目标

• 解决 $S_{1,2,4}$-free 图中支配诱导匹配（DIM）问题的复杂性。
• 将已知的 $S_{1,2,3}$-free 和 $P_7$-free 图中 DIM 的多项式时间可解性扩展到更广泛的图类。
• 为 $S_{1,2,4}$-free 图提供一种结合边缩减与基于着色的分解的构造性算法框架。
• 支持更广泛的猜想：所有 $S_{i,j,k}$-free 图中 DIM 均可在多项式时间内求解。

提出的方法

• 提出双管齐下的算法方法：一种基于边缩减，另一种基于子图的可行 $xy$-着色。
• 从候选边 $xy$ 出发，利用距离层级分解分析邻域 $N_1, N_2, N_3, N_4$，并施加结构约束。
• 应用边 C-缩减（Edge C-Reduction）简化图结构，同时保持支配诱导匹配的存在性，确保边选择无冲突。
• 对 $G[X]$ 进行部分着色，其中 $X = \{x,y\} \cup N_1 \cup N_2 \cup N_3$，然后通过强制规则将其扩展至 $G[Y]$。
• 利用已知的 $S_{1,2,2}$-free 图的多项式时间算法，在部分着色后求解 $G[Y]$ 上的 DIM 问题。
• 将所有组件整合为一个完整算法，检查 $P_3$ 子图中所有相关边作为支配诱导匹配的候选边。

实验结果

研究问题

• RQ1 能否在多项式时间内求解 $S_{1,2,4}$-free 图中的 DIM 问题，该类图同时推广了 $S_{1,2,3}$-free 和 $P_7$-free 图？
• RQ2 结合两种不同的算法策略——边缩减与基于着色的分解，是否能实现该类图中 DIM 的多项式时间可解性？
• RQ3 能否利用 $S_{1,2,4}$-free 图的结构特性，确保每个支配诱导匹配必须包含至少一条 $P_3$ 中的边？
• RQ4 在 $S_{1,2,4}$-free 图中，支配诱导匹配的存在性是否可通过在候选边及其邻域上进行有限组局部检查来判定？
• RQ5 本文开发的算法框架是否支持更广泛的猜想：所有 $S_{i,j,k}$-free 图中 DIM 均可在多项式时间内求解？

主要发现

• 在 $S_{1,2,4}$-free 图中，DIM 问题可在多项式时间内求解，扩展了此前关于 $S_{1,2,3}$-free 和 $P_7$-free 图的结果。
• 提出了一种新算法（算法 5.1），通过分析 $P_3$ 子图中的候选边并应用结构约束，正确且高效地判断支配诱导匹配的存在性。
• 该算法结合了距离层级分析、边 C-缩减和可行 $xy$-着色，确保了正确性与多项式时间复杂度。
• 其正确性依赖于以下事实：任何具有支配诱导匹配的 $S_{1,2,4}$-free 图，其支配诱导匹配中必包含一条属于某个 $P_3$ 的边，从而使得可在多项式大小的候选集上进行穷举搜索。
• 时间复杂度为多项式时间，得益于对子问题的高效处理，包括利用已知的 $S_{1,2,2}$-free 图的多项式时间算法。
• 该结果支持了关于所有 $S_{i,j,k}$-free 图中 DIM 均可在多项式时间内求解的猜想，但 $S_{1,3,4}$ 和 $S_{2,2,4}$ 的情形仍待解决。