[论文解读] Single Exponential FPT Algorithm for Interval Vertex Deletion and Interval Completion Problem

Arash Rafiey|arXiv (Cornell University)|Nov 19, 2012

Advanced Graph Theory Research参考文献 18被引用 3

一句话总结

本文首次提出了区间顶点删除与区间补全问题的单指数时间FPT算法，时间复杂度分别为O(c^k n(n+m))，其中c = min{18,k}和c = min{17,k}。通过利用不含小型区间图障碍物的图的结构分解，该算法能高效剪枝搜索树，显著优于STOC 2007年提出的O(k^{2k}n^3m)上界。

ABSTRACT

Let G be an input graph with n vertices and m edges and let k be a fixed parameter. We provide a single exponential FPT algorithm with running time O(c^kn(n+m)), c= min {18,k} that turns graph G into an interval graph by deleting at most k vertices from G. This solves an open problem posed by D.Marx [19]. We also provide a single exponential FPT algorithm with running time O(c^kn(n+m)), c= min {17,k} that turns G into an interval graph by adding at most$k edges. The first FPT algorithm with run time O(k^{2k}n^3m) appeared in STOC 2007 [24]. Our algorithm is the the first single exponential FPT algorithm that improves the running time of the previous algorithm. The algorithms are based on a structural decomposition of G into smaller subgraphs when G is free from small interval graph obstructions. The decomposition allows us to manage the search tree more efficiently.

研究动机与目标

• 解决D. Marx提出的一个开放问题：是否存在针对区间顶点删除问题的单指数时间FPT算法。
• 设计一种高效的固定参数可满足算法，通过顶点删除或边添加将图转化为区间图。
• 在先前O(k^{2k}n^3m)上界的基础上，进一步改进区间图修改问题的FPT算法运行时间。
• 通过降低参数k的指数依赖性，使更大规模实例的实际计算成为可能。

提出的方法

• 当输入图G不包含小型区间图障碍物时，该算法利用图的结构分解将其划分为更小的子图。
• 该分解通过隔离并处理阻碍G成为区间图的障碍物，实现了对搜索树的更高效剪枝。
• 该方法利用区间图的性质及禁止子图的特征，限制了搜索过程中递归分支的数量。
• 运行时间被限制在O(c^k n(n+m))，其中顶点删除问题的c = min{18,k}，边添加问题的c = min{17,k}，实现了对k的单指数依赖。
• 通过利用仅需修改有限数量的顶点或边即可消除障碍物的事实，该算法维持了有界的搜索树。
• 核心创新在于分解技术，它将指数因子从k^{2k}降低至c^k，其中c ≤ 18或17，具体取决于问题变体。

实验结果

研究问题

• RQ1 能否为区间顶点删除问题设计出一种单指数时间FPT算法，从而改进先前的O(k^{2k}n^3m)上界？
• RQ2 该方法能否以相当的效率扩展至区间补全问题？
• RQ3 如何利用不含小型区间障碍物的图的结构特性，来减少FPT算法中的搜索空间？
• RQ4 区间图修改问题中，对参数k的最紧可能的指数依赖关系是什么？

主要发现

• 本文首次提出针对区间顶点删除问题的单指数时间FPT算法，运行时间为O(c^k n(n+m))，其中c = min{18,k}。
• 对于区间补全问题，该算法实现了O(c^k n(n+m))的运行时间，其中c = min{17,k}，相较于先前的上界有显著改进。
• 结构分解技术通过隔离障碍物并减少递归分支，实现了更高效的搜索树遍历。
• 通过将指数因子从k^{2k}降低至c^k（其中c被限制在17或18），实现了运行时间的改进。
• 该算法解决了D. Marx提出的一个开放问题，为区间图修改问题的固定参数可满足性设立了新基准。
• 该方法具有可推广性，为改进其他图修改问题中的FPT算法提供了通用框架。