[论文解读] Directed Multicut with linearly ordered terminals

Robert F. Erbacher, Trent Jaeger+2 more|arXiv (Cornell University)|Jul 28, 2014

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

一句话总结

本文引入并分析了具有线性有序终端的有向多割问题，证明其在以割集大小 $ p $ 为参数时是固定参数可追踪的（FPT），并提出一个时间复杂度为 $ O(4^p p n^4) $ 的算法。主要贡献是为这一特殊情况提供了多项式时间的 FPT 算法，该问题在网络安全中有应用，且在参数化归约下与一般有向多割问题具有相同的复杂度。

ABSTRACT

Motivated by an application in network security, we investigate the following "linear" case of Directed Mutlicut. Let $G$ be a directed graph which includes some distinguished vertices $t_1, \ldots, t_k$. What is the size of the smallest edge cut which eliminates all paths from $t_i$ to $t_j$ for all $i < j$? We show that this problem is fixed-parameter tractable when parametrized in the cutset size $p$ via an algorithm running in $O(4^p p n^4)$ time.

研究动机与目标

• 研究有向多割问题在终端线性有序时的复杂度，其动机来自网络安全应用。
• 确定该特殊情况是否具有固定参数可追踪（FPT）解法。
• 在参数化复杂度方面，建立线性有序情况与一般有向多割问题之间的等价性。
• 为线性有序终端情况提供一个多项式时间的 FPT 算法。

提出的方法

• 通过将原图嵌入辅助节点和边的变换，将一般有向多割问题归约为线性有序情况。
• 构建一个偏序集割（Poset Cut）实例，其中偏序关系反映终端之间所需的分离顺序。
• 使用构件构造方法，确保从 $ s_i $ 到 $ t_j $（$ i < j $）的路径仅在割集中的边被移除时才会被破坏。
• 采用参数化算法，搜索大小不超过 $ p $ 的最小边割，利用动态规划和图分解技术。
• 通过双向的多项式时间归约，证明线性情况与一般有向多割问题在复杂度上的等价性。
• 通过两次调用线性割算法并反转终端顺序，将该算法应用于有向多路割问题，以实现 2-近似。

实验结果

研究问题

• RQ1 当以割集大小 $ p $ 为参数时，具有线性有序终端的有向多割问题是否是固定参数可追踪的？
• RQ2 线性有序情况能否在多项式时间内归约为一般有向多割问题，同时保持参数化复杂度？
• RQ3 线性有序情况是否具有时间复杂度为 $ O(4^p p n^4) $ 的多项式时间 FPT 算法？
• RQ4 线性有序情况能否用于在 2 倍近似因子内求解有向多路割问题？
• RQ5 当 $ k = 3 $ 个终端时，线性割问题是否为 NP 完全问题？

主要发现

• 具有线性有序终端的有向多割问题在以割集大小 $ p $ 为参数时是固定参数可追踪的，其算法时间复杂度为 $ O(4^p p n^4) $。
• 当 $ k = 3 $ 个终端时，该问题即使在存在线性排序约束下仍为 NP 完全问题。
• 线性有序情况与一般有向多割问题在参数化复杂度上是等价的，因为两者可在多项式时间内相互归约。
• 通过两次调用线性割算法并反转终端顺序，可获得有向多路割问题的 2-近似算法。
• 从无向多路割到线性割的归约保持了解的大小，且可在多项式时间内计算。
• 证明了偏序集割问题与有向多割问题在固定参数可追踪性方面是等价的，从而扩展了 FPT 技术的应用范围。