[论文解读] Improved approximation for 3-dimensional matching via bounded pathwidth local search

Marek Cygan|arXiv (Cornell University)|Apr 4, 2013

Advanced Graph Theory Research参考文献 24被引用 11

一句话总结

本文提出了一种新颖的局部搜索算法，用于三维匹配问题，通过使用路径宽有界的交换操作，实现了时间复杂度为多项式时间的近似算法，近似比为 $4/3 + \epsilon$，优于此前最佳的 $3/2 + \epsilon$。该方法利用彩色编码与在路径宽有界结构上的动态规划，高效地探索改进集合，而无需穷举所有可能。

ABSTRACT

One of the most natural optimization problems is the k-Set Packing problem, where given a family of sets of size at most k one should select a maximum size subfamily of pairwise disjoint sets. A special case of 3-Set Packing is the well known 3-Dimensional Matching problem. Both problems belong to the Karp`s list of 21 NP-complete problems. The best known polynomial time approximation ratio for k-Set Packing is (k + eps)/2 and goes back to the work of Hurkens and Schrijver [SIDMA`89], which gives (1.5 + eps)-approximation for 3-Dimensional Matching. Those results are obtained by a simple local search algorithm, that uses constant size swaps. The main result of the paper is a new approach to local search for k-Set Packing where only a special type of swaps is considered, which we call swaps of bounded pathwidth. We show that for a fixed value of k one can search the space of r-size swaps of constant pathwidth in c^r poly(|F|) time. Moreover we present an analysis proving that a local search maximum with respect to O(log |F|)-size swaps of constant pathwidth yields a polynomial time (k + 1 + eps)/3-approximation algorithm, improving the best known approximation ratio for k-Set Packing. In particular we improve the approximation ratio for 3-Dimensional Matching from 3/2 + eps to 4/3 + eps.

研究动机与目标

• 为克服现有 $k$-集合打包问题局部搜索算法在准多项式时间内运行的局限性，设计一种时间复杂度为多项式的替代方案。
• 在长期保持的 $3/2 + \epsilon$ 上限之外，提升三维匹配问题的近似比。
• 引入一类新型交换操作——路径宽有界的交换，使得在保持强大近似保证的同时，能够高效搜索。
• 证明：相对于 $O(\log |\mathcal{F}|)$ 大小的路径宽有界交换操作的局部搜索最大值，可获得 $k$-集合打包问题的 $(k+1+\epsilon)/3$-近似解。
• 证明：若不成立 W[1] = FPT，则对所有 $r$-大小交换操作进行枚举的标准局部搜索在多项式时间内不可行，从而证明采用路径宽有界等结构约束的必要性。

提出的方法

• 定义路径宽有界的交换操作，通过交换中待移除与待添加集合之间的交集图的路径宽来定义。
• 利用彩色编码，在常数 $c$ 下，以 $c^r \cdot \text{poly}(|\mathcal{F}|)$ 时间高效采样并检测是否存在路径宽有界的改进交换操作。
• 在路径分解上应用动态规划，于时间限制内验证此类交换操作的可行性与改进性。
• 分析仅考虑路径宽有界交换操作的局部搜索算法的近似比，证明：相对于 $O\left(\log |\mathcal{F}|\right)$ 大小交换操作的局部最大值，可获得 $(k+1+\epsilon)/3$-近似解。
• 证明：除非 W[1] = FPT，否则枚举所有 $r$-大小交换操作在多项式时间内不可行，从而证明采用路径宽有界作为结构约束的合理性。
• 从多色团问题进行归约，证明一般 $r$-大小交换操作枚举是 W[1]-难的，从而确立对结构约束（如路径宽有界）的必要性。

实验结果

研究问题

• RQ1 是否存在一种时间复杂度为多项式的局部搜索算法，用于三维匹配问题，其近似比优于 $3/2 + \epsilon$？
• RQ2 是否可以设计一种局部搜索框架，高效探索改进集合，而无需穷举所有 $r$-大小交换操作？
• RQ3 在交换操作中使用路径宽有界结构，是否能实现可证明更优的近似比，同时保持多项式时间复杂度？
• RQ4 在 $k$-集合打包问题中，搜索所有 $r$-大小交换操作以寻找改进集合的计算复杂度如何？是否可使其达到多项式时间？
• RQ5 是否可将局部搜索最大值的分析推广至非恒定大小的交换操作，并结合路径宽有界等结构约束，以提升近似保证？

主要发现

• 本文在三维匹配问题上实现了 $4/3 + \epsilon$-近似，优于此前最佳的 $3/2 + \epsilon$。
• 相对于 $O(\log |\mathcal{F}|)$ 大小的路径宽有界交换操作的局部搜索最大值，可获得 $k$-集合打包问题的 $(k+1+\epsilon)/3$-近似解。
• 路径宽有界的交换操作可在 $c^r \cdot \text{poly}(|\mathcal{F}|)$ 时间内搜索，从而实现多项式时间近似。
• 枚举所有 $r$-大小交换操作的问题是 W[1]-难的，意味着除非 W[1] = FPT，否则不存在 $f(r) \cdot \text{poly}(|\mathcal{F}|)$ 的算法。
• 该框架可推广至三维匹配之外，暗示在 $k$-中位数或受限最大-最小公平分配等问题中亦可能实现更优近似。
• 从多色团问题的归约证明：一般 $r$-大小交换操作枚举在多项式时间内不可行，从而为采用路径宽有界约束提供了合理性。