2025/11/21 by Yuichi Yoshida, Zihan Zhang, Yoshida, Yuichi +1 · 1 citation
Computer Science · Mathematics · #Complexity and Algorithms in Graphs #Computational Complexity (cs.CC) #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Limits and Structures in Graph Theory #Markov Chains and Monte Carlo Methods
paper · pdf · doi:10.48550/arxiv.2511.16918
openalex publication_date 2025/11/21 · openalex created_date 2025/11/25 · openalex updated_date 2026/07/28
In this work, we study the maximum matching problem from the perspective of sensitivity. The sensitivity of an algorithm A on a graph G is defined as the maximum Wasserstein distance between the output distributions of A on G and on G - e, where G - e is the graph obtained by deleting an edge e from G. The maximum is taken over all edges e, and the underlying metric for the Wasserstein distance is the Hamming distance. We first show that for any ε > 0, there exists a polynomial-time (1 - ε)-approximation algorithm with sensitivity ΔO(1/ε), where Δ is the maximum degree of the input graph. The algorithm is based on sampling from the Gibbs distribution over matchings and runs in time Oε, Δ(m log m), where m is the number of edges in the graph. This result significantly improves the previously known sensitivity bounds. Next, we present significantly faster algorithms for planar and bipartite graphs as a function of ε and Δ, which run in time poly(n/ε). This improvement is achieved by designing a more efficient algorithm for sampling matchings from the Gibbs distribution in these graph classes, which improves upon the previous best in terms of running time. Finally, for general graphs with potentially unbounded maximum degree, we show that there exists a polynomial-time (1 - ε)-approximation algorithm with sensitivity √(n) ⋅ (ε-1 log n)O(1/ε), improving upon the previous best bound of O(n1/(1+ε2)).