[论文解读] Minimum length path decompositions

Dariusz Dereniowski|arXiv (Cornell University)|Jan 1, 2014

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

一句话总结

本文引入了路径宽问题的双准则推广，旨在寻找宽度至多为 $k$ 且长度至多为 $l$ 的路径分解。对于 $k \geq 4$ 或 $l \geq 2$ 的情况，证明了其 NP-完全性；而对于 $k \leq 3$ 的情况，提供了多项式时间算法，从而对连通图实现了近乎完整的复杂度分类。

ABSTRACT

We consider a bi-criteria generalization of the pathwidth problem, where, for given integers $k,l$ and a graph $G$, we ask whether there exists a path decomposition $\cP$ of $G$ such that the width of $\cP$ is at most $k$ and the number of bags in $\cP$, i.e., the \emph{length} of $\cP$, is at most $l$. We provide a complete complexity classification of the problem in terms of $k$ and $l$ for general graphs. Contrary to the original pathwidth problem, which is fixed-parameter tractable with respect to $k$, we prove that the generalized problem is NP-complete for any fixed $k\geq 4$, and is also NP-complete for any fixed $l\geq 2$. On the other hand, we give a polynomial-time algorithm that, for any (possibly disconnected) graph $G$ and integers $k\leq 3$ and $l>0$, constructs a path decomposition of width at most $k$ and length at most $l$, if any exists. As a by-product, we obtain an almost complete classification of the problem in terms of $k$ and $l$ for connected graphs. Namely, the problem is NP-complete for any fixed $k\geq 5$ and it is polynomial-time for any $k\leq 3$. This leaves open the case $k=4$ for connected graphs.

研究动机与目标

• 研究在一般图和连通图中，寻找宽度有界 $k$ 与长度有界 $l$ 的路径分解问题的计算复杂度。
• 确定对于哪些 $k$ 和 $l$ 值，该问题具有可解性或不可解性。
• 根据 $k$ 和 $l$ 对双准则路径分解问题提供完整的复杂度分类。
• 为满足 $k \leq 3$ 且任意 $l > 0$ 的图设计高效算法。
• 解决连通图的复杂度状态，仅留下 $k=4$ 的情况未解决。

提出的方法

• 作者将问题分析为双准则优化：同时最小化路径宽与分解长度。
• 通过从已知的 NP-难问题归约，证明了对任意固定的 $k \geq 4$，问题均为 NP-完全。
• 通过从路径宽问题的一个变种归约，建立了对任意固定的 $l \geq 2$ 的 NP-完全性。
• 对于 $k \leq 3$，设计了一种基于动态规划的算法，可在多项式时间内构造出宽度 $\leq k$ 且长度 $\leq l$ 的有效路径分解。
• 该算法适用于连通与非连通图，依赖于小路径宽图的结构特性。
• 通过案例分析与结构图论，对连通图中 $k=4$ 的剩余开放情况进行了分类。

实验结果

研究问题

• RQ1 对于哪些 $k$ 和 $l$ 值，寻找宽度 $\leq k$ 且长度 $\leq l$ 的路径分解问题是计算上可 tractable 的？
• RQ2 当 $k$ 固定为 $k \geq 4$ 时，双准则路径分解问题是否为 NP-完全？
• RQ3 当 $l$ 固定为 $l \geq 2$ 时，该问题是否为 NP-完全？
• RQ4 能否为满足 $k \leq 3$ 且任意 $l > 0$ 的图构造出多项式时间算法？
• RQ5 当 $k = 4$ 时，连通图的该问题复杂度状态如何？

主要发现

• 双准则路径分解问题对任意固定的 $k \geq 4$ 均为 NP-完全，即使 $l$ 无约束。
• 该问题对任意固定的 $l \geq 2$ 也为 NP-完全，无论 $k$ 取值如何。
• 当 $k \leq 3$ 时，存在多项式时间算法，可为任意 $l > 0$ 构造出宽度 $\leq k$ 且长度 $\leq l$ 的路径分解。
• 对于连通图，当 $k \geq 5$ 时问题为 NP-完全，而当 $k \leq 3$ 时为多项式时间可解。
• 连通图中唯一尚未解决的开放情况是 $k = 4$，其复杂度尚未明确。
• 结果在 $k$ 和 $l$ 的维度上提供了近乎完整的分类，仅连通图中 $k=4$ 的情况仍为开放。