[论文解读] Large Neighborhood Local Search for the Maximum Set Packing Problem

Maxim Sviridenko, Justin Ward|arXiv (Cornell University)|Feb 18, 2013

Optimization and Packing Problems被引用 9

一句话总结

该论文提出了一种针对最大 $k$-集合打包问题的多项式时间局部搜索算法，其近似保证为 $(k+2)/3$，通过使用染色编码和动态规划高效搜索大规模邻域，找到大小为 $\Theta(\log n)$ 的结构化改进。同时，该文证明了紧致的局部性差距为 $k/3$，表明即使使用指数时间的局部搜索，也无法显著超越此界限。

ABSTRACT

In this paper we consider the classical maximum set packing problem where set cardinality is upper bounded by $k$. We show how to design a variant of a polynomial-time local search algorithm with performance guarantee $(k+2)/3$. This local search algorithm is a special case of a more general procedure that allows to swap up to $Θ(\log n)$ elements per iteration. We also design problem instances with locality gap $k/3$ even for a wide class of exponential time local search procedures, which can swap up to $cn$ elements for a constant $c$. This shows that our analysis of this class of algorithms is almost tight.

研究动机与目标

• 设计一种针对最大 $k$-集合打包问题的多项式时间局部搜索算法，其近似保证优于 $k/2$ 的界限。
• 利用固定参数可解性技术，实现对大小为 $\Theta(\log n)$ 的大邻域的高效搜索。
• 弥合现有上界与下界之间在 $k$-集合打包问题局部搜索算法性能上的差距。
• 证明任何局部搜索算法，即使其邻域大小为指数级，也无法获得优于 $k/3$ 的性能比。

提出的方法

• 该算法使用一个多重图 $G_{\mathcal{A}}$ 来表示当前打包 $\mathcal{A}$ 中的集合与不在 $\mathcal{A}$ 中的集合之间的冲突关系。
• 通过搜索规范的 $t$-改进——即包含两个环的连通子图——实现最多替换 $t-1$ 个集合为 $t$ 个新的互不相交集合。
• 利用染色编码与动态规划技术，在多项式时间内找到此类改进，即使 $t = \Theta(\log n)$ 亦可实现。
• 该算法迭代应用改进，直至不存在大小为 $4\log n + 1$ 的进一步规范改进。
• 基于随机图模型的概率分析用于界定不稳定配置的期望数量，从而证明优质解的存在性。
• 通过精心构造的一系列实例，建立局部性差距下界，表明即使线性规模的改进也无法使性能超越 $k/3$。

实验结果

研究问题

• RQ1 是否存在一种多项式时间局部搜索算法，其近似比优于 $k/2$ 的 $k$-集合打包问题？
• RQ2 是否能够高效搜索大小为 $\Theta(\log n)$ 的大邻域，以提升近似保证？
• RQ3 任何局部搜索算法（即使其邻域大小为指数级）所能达到的最佳性能比是多少？
• RQ4 能否通过多项式时间技术进一步改进 $(k+2)/3$ 的近似比？
• RQ5 在最坏情况下，$k/3$ 的局部性差距对局部搜索算法而言有多紧？

主要发现

• 所提出的算法在多项式时间内实现了最大 $k$-集合打包问题的 $(k+2)/3$-近似。
• 该算法通过染色编码与动态规划，高效搜索大小为 $\Theta(\log n)$ 的规范改进。
• 对于任何可交换最多 $cn$ 个元素的局部搜索算法，其局部性差距至少为 $k/3$，即使在指数时间下也成立。
• 该算法的分析几乎达到紧致性，因为 $k/3$ 的下界与指数时间局部搜索的最佳已知近似比一致。
• 通过概率方法证明了不存在大小 $\leq t$ 的不稳定集合组合，从而确保了算法的正确性。
• 本文推测，通过更高级的技术，可能在多项式时间内实现 $(k+1)/3$-近似，但尚需进一步研究。