[论文解读] Weighted Efficient Domination for $P_5$-Free Graphs in Linear Time

Andreas Brandstädt|arXiv (Cornell University)|Jul 24, 2015

Advanced Graph Theory Research参考文献 6被引用 6

一句话总结

本文提出了一种线性时间算法，用于在 $P_5$-free 图中求解加权高效支配集（WED）问题，方法基于模分解和结构分析。研究证明，对于素 $P_5$-free 图，一个高效支配集（e.d.）要么是一个薄蜘蛛图（其 e.d. 为度数为 1 的顶点），要么是一个两顶点集合，其中两个顶点均具有最小度数且其邻域为团，从而实现确定性的线性时间求解。

ABSTRACT

In a finite undirected graph $G=(V,E)$, a vertex $v \in V$ {\em dominates} itself and its neighbors. A vertex set $D \subseteq V$ in $G$ is an {\em efficient dominating set} ({\em e.d.} for short) of $G$ if every vertex of $G$ is dominated by exactly one vertex of $D$. The {\em Efficient Domination} (ED) problem, which asks for the existence of an e.d. in $G$, is known to be NP-complete for $P_7$-free graphs but solvable in polynomial time for $P_5$-free graphs. Very recently, it has been shown by Lokshtanov et al. and independently by Mosca that ED is solvable in polynomial time for $P_6$-free graphs. In this note, we show that, based on modular decomposition, ED is solvable in linear time for $P_5$-free graphs.

研究动机与目标

• 解决加权高效支配集（WED）问题在 $P_5$-free 图中是否可在线性时间内求解的开放问题。
• 刻画存在高效支配集的素 $P_5$-free 图的结构特征。
• 基于模分解与基于度数的顶点选择，设计一种确定性的线性时间算法，用于求解 $P_5$-free 图上的 WED 问题。
• 证明对于素 $P_5$-free 图，任何包含超过两个顶点的 e.d. 必为薄蜘蛛图，且任意两顶点 e.d. 均由最小度数顶点构成，且其邻域为团。

提出的方法

• 利用模分解将 $P_5$-free 图上的 WED 问题约化为素图情形，使用定理 1。
• 通过证明此类图要么是薄蜘蛛图，要么恰好由两个 e.d. 顶点构成，刻画存在 e.d. 的素 $P_5$-free 图。
• 利用结构性质：e.d. 顶点的邻域为团，且每个邻域中的顶点在另一邻域集合中均有邻接点。
• 应用基于度数的选择策略：e.d. 的候选顶点为最小度数 $\delta(G)$ 的顶点，且满足 $d$ 和 $d'$ 使得 $N(d)$ 与 $N(d')$ 均为团。
• 设计一种弱鲁棒性算法，以线性时间检查薄蜘蛛图结构或两顶点 e.d. 候选集合。
• 通过验证 $\{d, d'\}$ 是否恰好支配所有顶点，确保正确性与线性时间复杂度。

实验结果

研究问题

• RQ1 加权高效支配集（WED）问题是否可在线性时间内求解于 $P_5$-free 图？
• RQ2 哪些结构特性刻画了存在高效支配集的素 $P_5$-free 图？
• RQ3 在素 $P_5$-free 图中，e.d. 是否仅有两种可能配置：薄蜘蛛图或两顶点集合？
• RQ4 在 $P_5$-free 图中，e.d. 是否唯一由最小度数顶点及其团邻域决定？
• RQ5 是否可基于模分解与基于度数的顶点选择，在线性时间内求解 WED 问题？

主要发现

• 基于模分解的算法可在线性时间内求解 $P_5$-free 图上的 WED 问题。
• 对于素 $P_5$-free 图，仅当图是薄蜘蛛图或恰好存在两个顶点构成 e.d. 时，e.d. 才存在。
• 在非薄蜘蛛图中，e.d. 由两个顶点 $d$ 和 $d'$ 构成，其最小度数为 $\delta(G)$，且邻域 $N(d)$、$N(d')$ 均为团。
• 若 $d$ 是唯一最小度数顶点，则 $d'$ 为 $V \setminus N[d]$ 中的最小度数顶点，且 $\{d, d'\}$ 是唯一的 e.d.。
• 该算法通过检查薄蜘蛛图结构或具有团邻域的候选两顶点集合，在线性时间内正确识别出 e.d.。
• 两种情形下解均唯一，从而可通过选择最小度数顶点并验证邻域与支配性质，实现 WED 问题的线性时间求解。