[论文解读] An Improved Approximation Algorithm for the Matching Augmentation Problem

J. Cheriyan, R. Cummings+2 more|arXiv (Cornell University)|Jul 22, 2020

Optimization and Search Problems被引用 1

一句话总结

本文提出了一种用于匹配边增强问题（Matching Augmentation Problem, MAP）的 5/3-近似算法，优于此前的 7/4-近似。该方法采用一种新颖的放电方案，以计算最优解的下界，据此按比例分配预算，并战略性地购买边以构建基础图，随后进行增强，确保连通性与 2-边连通性，从而在近似保证方面实现改进。

ABSTRACT

We present a $\frac53$-approximation algorithm for the matching augmentation problem (MAP): given a multi-graph with edges of cost either zero or one such that the edges of cost zero form a matching, find a 2-edge connected spanning subgraph (2-ECSS) of minimum cost. A $\frac74$-approximation algorithm for the same problem was presented recently, see Cheriyan, et al., "The matching augmentation problem: a $\frac{7}{4}$-approximation algorithm," {\em Math. Program.}, 182(1):315--354, 2020; arXiv:1810.07816. Our improvement is based on new algorithmic techniques, and some of these may lead to advances on related problems.

研究动机与目标

• 弥合目前最佳近似比（7/4）与匹配边增强问题（MAP）理论下限之间的差距。
• 设计一种新的算法框架，以改进现有方法在基于匹配的零边结构的 0-1 费用网络设计问题中的表现。
• 开发适用于相关问题（如森林增强与树增强）的技术，通过利用 2-边连通性与边成本约束的结构洞察。
• 在零边匹配不连通的背景下，实现 MAP 的近似比严格低于 2，该目标仍具挑战性。

提出的方法

• 使用放电方案计算最优解代价的下界，据此分配与该下界成比例的预算。
• 基于分配的预算购买边，构建基础图，确保部分 2-边连通性。
• 算法随后遍历基础图，并购买额外边以增强连通性，通过维持信用不变量来确保正确性。
• 该方法依赖于识别并处理特定障碍物（如 S{3,4} 和 R8），通过粘合步骤验证增强操作的有效性。
• 算法结合结构图分析与基于线性规划的下界，指导边的选择与预算分配。
• 关键创新在于使用“可互换对”与“可互换边”来指导增强决策，同时在 2-边连通块之间保持信用不变量。

实验结果

研究问题

• RQ1 能否在匹配边增强问题中实现 5/3-近似，优于先前的 7/4-近似？
• RQ2 在零边匹配不连通的背景下，可开发哪些新算法技术以克服现有原始-对偶与迭代舍入方法的局限性？
• RQ3 放电方案如何适应处理 MAP 实例中的结构障碍物（如 S{3,4} 与 R8）？
• RQ4 能否设计一种粘合步骤，使得即使在标准增强策略失效时，也能成功增强基础图？
• RQ5 所提出的框架能否扩展至其他具有非连通零边森林的连通性增强变体？

主要发现

• 本文提出了一种用于匹配边增强问题的 5/3-近似算法，优于此前已知的最佳比 7/4。
• 该算法成功处理了包含 S{3,4} 与 R8 障碍物的实例，包括先前增强步骤因无效增强而失败的情况。
• 对于包含 k 个 S{3,4} 障碍物副本的一类实例，算法维持了 cost(D2) / opt ≈ 7/4 的代价比，表明该界是紧致的。
• 该算法的粘合步骤在包含单个 S{3,4} 障碍物的 12 个节点实例上失效，表明存在挑战该方法的困难情况。
• 对于 k 个 R8 障碍物副本，2-ECSS 解的代价被限制在 4k + 3 以内，而最优解至少需要 7k + 3 条边，确认在这些情况下 7/4-近似阈值是紧致的。
• 结果表明，放电与预算分配框架可能可推广至具有类似结构约束的其他网络设计问题。