[论文解读] A $4/3$ Approximation for $2$-Vertex-Connectivity

Miguel Bosch-Calvo, Fabrizio Grandoni+1 more|arXiv (Cornell University)|Jan 1, 2023

Complexity and Algorithms in Graphs被引用 1

一句话总结

本文提出了一种多项式时间的 4/3-近似算法，用于解决 2-顶点连通生成子图问题（2VCSS），优于此前最佳的 10/7 近似比。该方法通过一种保持近似质量的约化，将问题转化为一类结构化的近乎 3-顶点连通的实例，结合新颖的结构洞察与改进的基于信用的分析方法，实现了更优的近似界。

ABSTRACT

The 2-Vertex-Connected Spanning Subgraph problem (2VCSS) is among the most basic NP-hard (Survivable) Network Design problems: we are given an (unweighted) undirected graph G. Our goal is to find a subgraph S of G with the minimum number of edges which is 2-vertex-connected, namely S remains connected after the deletion of an arbitrary node. 2VCSS is well-studied in terms of approximation algorithms, and the current best (polynomial-time) approximation factor is 10/7 by Heeger and Vygen [SIDMA'17] (improving on earlier results by Khuller and Vishkin [STOC'92] and Garg, Vempala and Singla [SODA'93]). Here we present an improved 4/3 approximation. Our main technical ingredient is an approximation preserving reduction to a conveniently structured subset of instances which are "almost" 3-vertex-connected. The latter reduction might be helpful in future work.

研究动机与目标

• 解决 2-顶点连通生成子图（2VCSS）问题长期存在的开放难题，该问题是基础的 NP-难网络设计问题。
• 克服先前方法仅达到 10/7 近似比的局限，力求获得更接近理论极限的更紧近似界。
• 提出一种新颖的约化技术，保持近似质量的同时，将实例转换为更具结构性的图类子集。
• 通过实现 4/3-近似，建立 2VCSS 的新理论基准，推动可生存网络设计领域的研究进展。

提出的方法

• 引入一种约化方法，将任意 2VCSS 实例映射到一类‘近乎’3-顶点连通的图子类，同时保持近似比不变。
• 应用基于信用的分析框架，通过为块和边分配信用以追踪结构改进，从而界定解的成本。
• 利用 3-匹配引理和分量不相交路径分析，识别并替换次优的边集，以更优的连接替代方案取而代之。
• 基于关键节点和桥边周围的连通性与路径结构，系统性地分析多种情形，尤其关注桥边移除后分量之间的路径。
• 通过用更长的、分量不相交的路径和环替换特定边集（如 𝑢₀𝑢₁, 𝑢₁𝑢₂）来构建改进的解，确保新解保持规范性且 2-顶点连通。
• 利用 4-环及延伸路径（包括干净与非干净路径）的结构特性，在保持或提升连通性的同时降低代价。

实验结果

研究问题

• RQ1 2VCSS 的近似比能否超越当前最佳已知的 10/7？
• RQ2 是否存在一种结构化约化方法，在简化实例空间的同时保持近似质量？
• RQ3 能否通过优化基于信用的分析框架，利用分量不相交路径结构，实现 4/3-近似？
• RQ4 在 2-顶点连通图中，通过边替换实现 4/3-近似的充分必要条件是什么？
• RQ5 如何系统性地利用桥边、4-环与延伸路径之间的相互作用，以降低解的代价？

主要发现

• 本文实现了 2VCSS 的 4/3-近似，相较于此前最佳已知的 10/7 有显著提升。
• 所提出的算法为多项式时间，通过基于分量不相交路径与环替换的系统性构造，保持了解的 2-顶点连通性。
• 基于信用的成本分析表明，在所有情形下，构造的解 𝑆′ 的代价严格低于原始解 𝑆，且在关键情形中满足 cost(𝑆) − cost(𝑆′) > 0。
• 在多种情形中，代价差有正的下界（例如 > 0.25），确保对原始解的稳定改进。
• 对‘近乎’3-顶点连通实例的约化是保持近似质量的，可能为相关问题的未来改进奠定基础。
• 该算法确保所有中间与最终解均保持规范性，避免出现节点数少于 5 个或边数少于 6 条的小型分量或叶块。