超级会员免费看
FPT算法解决图的路径和循环横截问题
在图论中，常常会遇到需要通过移除一定数量的边或顶点来使图达到某种特定性质的问题。这些问题主要分为两类：一类是无向图的分离问题，目标是分离图中特定的顶点；另一类是群标记图的反馈集问题，旨在打破群标记图中的非零循环。本文将介绍针对这些问题的新的固定参数可解（FPT）算法。
1. 引言
节点多路割问题具有半整数性质，这一结果的证明依赖于路径系统的同质性。路径系统是一个元组 $\sigma$，由无向图 $G = (V, E)$、终端集合 $T \subseteq V$、禁止顶点集合 $F \subseteq V$ 以及终端之间的路径集合 $P_{\sigma}$ 组成。通用路径覆盖问题的目标是通过移除非禁止顶点来打破路径系统 $\sigma$ 中的每条路径 $P \in P_{\sigma}$。
路径系统的同质性不仅对路径覆盖问题的近似性有影响，还对其参数化复杂度有重要意义。对于同质路径系统，路径覆盖问题具有半整数性质，这意味着该问题是 2 - 近似的，并且推广了节点多路割问题的结果。通过依赖问题的半整数解来指导搜索树的构建，我们设计了一个有界搜索算法，该算法可以在 $O^*(4^p)$ 时间内解决路径覆盖问题。
基于这一通用结果，我们得到了多路割和多割问题在顶点删除和边删除版本中的新算法。对于多路割问题，之前已有 $O^ (4p^3)$ 算法，后来有 $O^ (4^p)$ 算法，我们得到了具有相同 $O^ (4^p)$ 运行时间的不同算法。对于多割问题，之前的算法运行时间为 $O^ (2^k p p^4 p^3)$，而我们得到了运行时间为 $O^*((8k)^p)$ 的简单 FPT 算
订阅专栏 解锁全文
扫一扫
4256
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
