[论文解读] Matching Augmentation via Simultaneous Contractions

Mohit Garg, Felix Hommelsheim+1 more|arXiv (Cornell University)|Nov 3, 2022

Complexity and Algorithms in Graphs被引用 3

一句话总结

本文提出了一种多项式时间的 13/8-近似算法用于匹配增强问题（MAP），优于此前最佳的 5/3 比例。该方法通过 α-近似保持的约化将问题转化为结构化实例，并引入重复同时收缩技术以简化图结构，从而通过增强路径与可收缩子图的结构分析，实现更紧的下界和改进的近似保证。

ABSTRACT

We consider the matching augmentation problem (MAP), where a matching of a graph needs to be extended into a $2$-edge-connected spanning subgraph by adding the minimum number of edges to it. We present a polynomial-time algorithm with an approximation ratio of $13/8 = 1.625$ improving upon an earlier $5/3$-approximation. The improvement builds on a new $α$-approximation preserving reduction for any $α\geq 3/2$ from arbitrary MAP instances to well-structured instances that do not contain certain forbidden structures like parallel edges, small separators, and contractible subgraphs. We further introduce, as key ingredients, the technique of repeated simultaneous contractions and provide improved lower bounds for instances that cannot be contracted.

研究动机与目标

• 开发一种用于匹配增强问题（MAP）的多项式时间近似算法，且近似比优于此前结果。
• 将任意 MAP 实例约化为不含禁止子结构（如平行边、小割点集和可收缩子图）的良构实例。
• 引入重复同时收缩技术作为简化 MAP 图结构的核心方法。
• 为非可收缩实例建立改进的下界，从而实现更紧的近似保证。
• 突破 MAP 的 5/3 近似瓶颈，实现 13/8 的近似比。

提出的方法

• 引入一种新的 α-近似保持约化方法（对任意 α ≥ 3/2），将任意 MAP 实例转化为不含平行边、小割点集或可收缩子图的结构化实例。
• 应用重复同时收缩技术以简化图结构，消除冗余或可收缩的组件。
• 分析商图 G/H 中增强路径的结构，区分开放、闭合与堆叠的 2-增强路径。
• 使用辅助有向图 Daux 建模组件与路径之间的关系，通过追踪红色（小）和绿色（大）节点以检测环与路径。
• 证明结构引理，表明某些配置（例如 Daux 中红色节点之间的 2-环）会导致可收缩子图的出现，与结构化假设矛盾。
• 证明在特定的 2-组件配置中，任何最优解必须至少购买 4 条单位边，而 5 条边足以实现 2-边连通性，若此类子图存在则导致矛盾。

实验结果

研究问题

• RQ1 能否通过新约化与收缩技术，将 MAP 的近似比提升至 5/3 以上？
• RQ2 MAP 实例的何种结构特性允许实现近似保持的简化？
• RQ3 重复同时收缩技术能否用于消除可收缩子图并简化问题？
• RQ4 非可收缩 MAP 实例的紧下界是什么？它们如何改进近似保证？
• RQ5 在何种条件下增强路径会导致可收缩子图的存在？此类配置在结构化实例中如何被排除？

主要发现

• 本文提出了一种用于 MAP 的多项式时间 13/8-近似算法，优于此前最佳的 5/3 比例。
• 引入了一种新的 α-近似保持约化方法，可将任意 MAP 实例转化为不含平行边、小割点集和可收缩子图的结构化实例（对任意 α ≥ 3/2）。
• 开发并应用了重复同时收缩技术，用于简化图结构并消除冗余结构。
• 证明了若辅助有向图 Daux 中红色节点之间存在 2-环，则必然存在可收缩子图，与结构化假设矛盾。
• 对于一种特定的 2-组件配置（两个通过共享顶点连接的 4-环），任何最优解必须至少购买 4 条单位边，而 5 条边足以实现 2-边连通性，表明此类子图在结构化实例中不可能存在。
• 结构分析确认，此类配置的缺失确保了改进下界的正确性以及 13/8-近似算法的有效性。