Table of Contents
Fetching ...

Improved Approximation for Ranking on General Graphs

Mahsa Derakhshan, Mohammad Roghani, Mohammad Saneian, Tao Yu

TL;DR

The paper advances the understanding of Ranking on general graphs by proving a $0.5469$-approximation bound, exceeding the prior $0.526$ and improving on oblivious matching benchmarks. It introduces a novel backup-vertex concept and a gain-sharing LP that discretizes vertex ranks into $k$ buckets, enabling a structured, primal-dual analysis. A randomized two-partitioning of the vertex set into buyers and items, together with a price-function $f$, yields a tractable lower bound via a factor-revealing LP, which is solved to $k=100$ to certify the bound. The framework also clarifies the relationship between restricted and unrestricted vertex arrival models and positions the results within the broader context of online and oblivious matchings. Overall, the work provides both new theoretical insights and practical bounds for Ranking on general graphs with online-like constraints.

Abstract

In this paper, we study Ranking, a well-known randomized greedy matching algorithm, for general graphs. The algorithm was originally introduced by Karp, Vazirani, and Vazirani [STOC 1990] for the online bipartite matching problem with one-sided vertex arrivals, where it achieves a tight approximation ratio of 1 - 1/e. It was later extended to general graphs by Goel and Tripathi [FOCS 2012]. The Ranking algorithm for general graphs is as follows: a permutation $σ$ over the vertices is chosen uniformly at random. The vertices are then processed sequentially according to this order, with each vertex being matched to the first available neighbor (if any) according to the same permutation $σ$. While the algorithm is quite well-understood for bipartite graphs-with the approximation ratio lying between 0.696 and 0.727, its approximation ratio for general graphs remains less well characterized despite extensive efforts. Prior to this work, the best known lower bound for general graphs was 0.526 by Chan et al. [TALG 2018], improving on the approximation ratio of 0.523 by Chan et al. [SICOMP 2018]. The upper bound, however, remains the same as that for bipartite graphs. In this work, we improve the approximation ratio of \textsc{Ranking} for general graphs to 0.5469, up from 0.526. This also surpasses the best-known approximation ratio of $0.531$ by Tang et al. [JACM 2023] for the oblivious matching problem. Our approach builds on the standard primal-dual analysis. The novelty of our work lies in proving new structural properties of Ranking by introducing the notion of the backup for vertices matched by the algorithm. For a fixed permutation, a vertex's backup is its potential match if its current match is removed. This concept helps characterize the rank distribution of the match of each vertex, enabling us to eliminate certain bad events that constrained previous work.

Improved Approximation for Ranking on General Graphs

TL;DR

The paper advances the understanding of Ranking on general graphs by proving a -approximation bound, exceeding the prior and improving on oblivious matching benchmarks. It introduces a novel backup-vertex concept and a gain-sharing LP that discretizes vertex ranks into buckets, enabling a structured, primal-dual analysis. A randomized two-partitioning of the vertex set into buyers and items, together with a price-function , yields a tractable lower bound via a factor-revealing LP, which is solved to to certify the bound. The framework also clarifies the relationship between restricted and unrestricted vertex arrival models and positions the results within the broader context of online and oblivious matchings. Overall, the work provides both new theoretical insights and practical bounds for Ranking on general graphs with online-like constraints.

Abstract

In this paper, we study Ranking, a well-known randomized greedy matching algorithm, for general graphs. The algorithm was originally introduced by Karp, Vazirani, and Vazirani [STOC 1990] for the online bipartite matching problem with one-sided vertex arrivals, where it achieves a tight approximation ratio of 1 - 1/e. It was later extended to general graphs by Goel and Tripathi [FOCS 2012]. The Ranking algorithm for general graphs is as follows: a permutation over the vertices is chosen uniformly at random. The vertices are then processed sequentially according to this order, with each vertex being matched to the first available neighbor (if any) according to the same permutation . While the algorithm is quite well-understood for bipartite graphs-with the approximation ratio lying between 0.696 and 0.727, its approximation ratio for general graphs remains less well characterized despite extensive efforts. Prior to this work, the best known lower bound for general graphs was 0.526 by Chan et al. [TALG 2018], improving on the approximation ratio of 0.523 by Chan et al. [SICOMP 2018]. The upper bound, however, remains the same as that for bipartite graphs. In this work, we improve the approximation ratio of \textsc{Ranking} for general graphs to 0.5469, up from 0.526. This also surpasses the best-known approximation ratio of by Tang et al. [JACM 2023] for the oblivious matching problem. Our approach builds on the standard primal-dual analysis. The novelty of our work lies in proving new structural properties of Ranking by introducing the notion of the backup for vertices matched by the algorithm. For a fixed permutation, a vertex's backup is its potential match if its current match is removed. This concept helps characterize the rank distribution of the match of each vertex, enabling us to eliminate certain bad events that constrained previous work.

Paper Structure

This paper contains 46 sections, 9 theorems, 69 equations, 1 figure, 3 tables.

Key Result

Theorem 1.1

The approximation ratio of Ranking on general graphs is at least 0.5469.

Figures (1)

  • Figure :

Theorems & Definitions (77)

  • Theorem 1.1
  • Definition : Backup of $u$
  • Definition : Profile of $u$
  • Lemma 3.1: aronson1995randomized
  • proof
  • Definition 3.3: Backup of a vertex $u$
  • Definition 3.4: Profile of a vertex $u$
  • Lemma 4.1: Alternating Path Lemma
  • proof
  • Claim 4.2
  • ...and 67 more