[论文解读] An Efficient Branching Algorithm for Interval Completion

Yixin Cao|arXiv (Cornell University)|Jun 13, 2013

Advanced Graph Theory Research参考文献 10被引用 4

一句话总结

本文提出了一种时间复杂度为 6^k · n^O(1) 的参数化算法来解决区间补全问题，显著优于此前最优的 k^{2k} · n^O(1) 时间复杂度。该算法引入了一种基于浅层障碍结构性质的新型分支策略——具体而言，是针对包含6–7个顶点的框架及5条关键缺失边的障碍——实现了高效的剪枝与对浅层终端的模块化处理，从而在通过至多添加k条边将图转化为区间图时，实现了更简单且更高效的算法。

ABSTRACT

We study the \emph{interval completion} problem, which asks for the insertion of a set of at most $k$ edges to make a graph of $n$ vertices into an interval graph. We focus on chordal graphs with no small obstructions, where every remaining obstruction is known to have a shallow property. From such a shallow obstruction we single out a subset 6 or 7 vertices, called the frame, and 5 missed edges in the subgraph induced by the frame. We show that if none of these edges is inserted, then the frame cannot be altered at all, and the whole obstruction is also fixed, by and large, in the sense that their related positions in an interval representation of the objective interval graph have a specific pattern. We propose a simple bounded search process, which effectively transforms a given graph to a graph with the structural property that all obstructions are shallow and have fixed frames. Then we fill in polynomial time all obstructions that have been previously left in indecision. These efforts together deliver a simple parameterized algorithm of time $6^k\cdot n^{O(1)}$ for the problem, significantly improving the only known parameterized algorithm of time $k^{2k}\cdot n^{O(1)}$.

研究动机与目标

• 开发一种更快的固定参数可满足性（FPT）算法来解决区间补全问题，即寻找使图变为区间图所需添加的最少边数。
• 解决弦图中大型障碍物的处理挑战，特别是具有极小三元组（ATs）的浅层见证，这些障碍物比环更难处理。
• 通过减少参数k的指数依赖性，改进现有的 k^{2k} · n^O(1) 算法。
• 通过引入‘框架’与‘浅层终端’对浅层障碍物进行结构表征，以实现有界分支与模块化处理。
• 通过利用固定框架的不变性以及模块的全或无插入特性，实现更简单且更高效的算法。

提出的方法

• 算法首先通过预处理阶段将输入图转换为所有障碍物均为浅层且具有固定框架的形式。
• 对于每个浅层障碍物，该方法识别出一个包含6或7个顶点的框架以及一组5条关键缺失边；若这5条边均未被插入，则框架被固定且无法再被修改。
• 算法在以下两种选择之间进行分支：插入5条关键边中的一条，或假设框架被保留；在后一种情况下，问题通过隔离浅层终端而得以简化。
• 该方法利用了浅层终端形成不相交模块的事实，这些模块必须以全或无的方式与图的其余部分连接，从而实现高效处理。
• 在固定所有框架后，剩余图被划分为两个不相交的区间子图，通过贪心的区间表示扩展方法在多项式时间内完成合并。
• 该算法使用一种在每次边插入时严格递减的度量，确保终止性和正确性，并通过‘可避免边’的概念避免使用硬性约束，从而避免禁止边。

实验结果

研究问题

• RQ1 是否可以将区间补全问题的时间复杂度中的指数因子降低至 k^{2k} 以下？
• RQ2 浅层障碍物的何种结构性质使得其分支效率高于暴力搜索？
• RQ3 是否可以利用6–7个顶点的框架及其5条关键缺失边，来在不进一步分支的情况下修复整个障碍物？
• RQ4 在无小障碍物的弦图中，浅层终端是否形成可集体处理的模块？
• RQ5 是否可以通过利用框架不变性与模块保持特性，实现更简单且更快速的FPT算法？

主要发现

• 本文提出了一种时间复杂度为 6^k · n^O(1) 的区间补全算法，相较于此前的 k^{2k} · n^O(1) 复杂度界限实现了显著改进。
• 关键洞见在于：若一个6–7个顶点的框架中，其5条关键边均未被插入，则该框架即被固定且无法再被修改，从而支持安全分支。
• 在无小障碍物的弦图中，浅层终端形成不相交的模块，且与这些模块相连的边必须以全或无的方式插入。
• 该算法确保在所有框架被固定后，剩余图由两个不相交的区间子图构成，且可在多项式时间内完成合并。
• 该方法将小障碍物的分支因子从12降低至6，提升了效率，同时不损害正确性。
• 该算法正确且可在FPT时间内终止，其度量在每一步均严格递减，从而保证了搜索树大小的有界性。