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

Andreas Brandstädt, Raffaele Mosca|arXiv (Cornell University)|Aug 31, 2015

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

一句话总结

本文提出了一种针对 $P_6$-free 图中加权高效支配（WED）问题的多项式时间算法，采用直接方法将问题约化为 $P_6$-free 单极图，并通过基于距离的分解与分量约化求解。关键贡献是设计了一个 $\mathcal{O}(n^6m)$ 时间复杂度的算法，解决了 $F$-free 图中 WED 问题的最后一个开放案例，并确立了 $P_k$-free 图上 WED 问题的二分性结果。

ABSTRACT

In a finite undirected graph $G=(V,E)$, a vertex $v \in V$ {\em dominates} itself and its neighbors in $G$. A vertex set $D \subseteq V$ is an {\em efficient dominating set} ({\em e.d.} for short) of $G$ if every $v \in V$ is dominated in $G$ 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. The $P_6$-free case was the last open question for the complexity of ED on $F$-free graphs. Recently, Lokshtanov, Pilipczuk and van Leeuwen showed that weighted ED is solvable in polynomial time for $P_6$-free graphs, based on their sub-exponential algorithm for the Maximum Weight Independent Set problem for $P_6$-free graphs. Independently, at the same time, Mosca found a polynomial time algorithm for weighted ED on $P_6$-free graphs using a direct approach. In this paper, we describe the details of this approach which is simpler and much faster, namely its time bound is ${\cal O}(n^6 m)$.

研究动机与目标

• 通过求解 $P_6$-free 图中的 WED 问题，解决 $F$-free 图中 WED 问题复杂度分类的最后一个开放案例。
• 为 $P_6$-free 图中的 WED 问题提供一种独立于次指数方法的直接、多项式时间算法。
• 通过证明当 $k \leq 6$ 时 WED 问题在 $P_k$-free 图上可多项式时间求解，而当 $k \geq 7$ 时为 NP-完全，建立 WED 问题在 $P_k$-free 图上的二分性。
• 通过提供比先前结果更优的时间界，改进先前的次指数算法，提出一种更快、组合性更强的方法。

提出的方法

• 通过从最小度顶点出发的距离层级分解，将 $P_6$-free 图中的 WED 问题约化为 $P_6$-free 单极图中的相同问题。
• 应用连接约简步骤，简化单极图的结构，确保团部分的每个顶点能区分其在簇部分邻居集合的差异。
• 构建一个有向无环图（DAG）$H$ 来建模顶点间的关系，并识别团部分中的一个优质顶点 $b^*$，使其能支配非团部分的分量。
• 对于 $b^*$ 的每个候选邻居 $a^*$，枚举 $\mathcal{O}(n^3)$ 个 $D(a^*)$-候选集合，并验证其为有限权值高效支配集。
• 使用分量约简步骤，确保簇部分中每个非团分量均被团部分中的某个顶点接触，从而实现高效搜索。
• 将所有步骤整合为完整算法，遍历 $\delta(G)$ 个候选，并应用单极图 WED 算法，实现 $\mathcal{O}(n^6m)$ 的时间复杂度。

实验结果

研究问题

• RQ1 加权高效支配问题在 $P_6$-free 图中是否可多项式时间求解，从而解决 $F$-free 图分类中的最后一个开放案例？
• RQ2 能否设计一种直接的、组合性算法，使 $P_6$-free 图中 WED 问题的时间复杂度优于次指数方法？
• RQ3 $P_6$-free 图的结构是否允许在保持高效支配集的存在性与权值不变的前提下，将其约化为 $P_6$-free 单极图？
• RQ4 使用直接方法求解 $P_6$-free 图中 WED 问题的最紧时间复杂度是多少？

主要发现

• 本文提出了一种在 $P_6$-free 图中求解 WED 问题的多项式时间算法，时间复杂度为 $\mathcal{O}(n^6m)$，显著快于先前次指数方法的 $\mathcal{O}(n^{500})$ 上界。
• 该算法通过基于距离的分解与结构约化，将一般 $P_6$-free WED 问题约化为 $P_6$-free 单极图上的 WED 问题。
• 提出了一种新方法，避免依赖最大权独立集子程序，相比先前方法提供了更简单、更高效的解决方案。
• 该解法建立了二分性：当 $k \leq 6$ 时，$P_k$-free 图上的 WED 问题可多项式时间求解；当 $k \geq 7$ 时为 NP-完全。
• 通过结构约化与对候选支配集的穷举但高效枚举 $\mathcal{O}(n^3)$ 个元组，证明了算法的正确性。
• 该方法通过利用 $P_6$-free 图中距离有界的结构（即任意起点距离为 5 或更远的顶点均不存在），实现了最优性能。