Table of Contents
Fetching ...

Edge-Weighted Online Bipartite Matching

Matthew Fahrbach, Zhiyi Huang, Runzhou Tao, Morteza Zadimoghaddam

TL;DR

This paper presents the first online algorithm that breaks the long-standing 1/2 barrier and achieves a competitive ratio of at least 0.5086, and can be seen as strong evidence that edge-weighted bipartite matching is strictly easier than submodular welfare maximization in the online setting.

Abstract

Online bipartite matching and its variants are among the most fundamental problems in the online algorithms literature. Karp, Vazirani, and Vazirani (STOC 1990) introduced an elegant algorithm for the unweighted problem that achieves an optimal competitive ratio of $1-1/e$. Later, Aggarwal et al. (SODA 2011) generalized their algorithm and analysis to the vertex-weighted case. Little is known, however, about the most general edge-weighted problem aside from the trivial $1/2$-competitive greedy algorithm. In this paper, we present the first online algorithm that breaks the long-standing $1/2$ barrier and achieves a competitive ratio of at least $0.5086$. In light of the hardness result of Kapralov, Post, and Vondrák (SODA 2013) that restricts beating a $1/2$ competitive ratio for the more general problem of monotone submodular welfare maximization, our result can be seen as strong evidence that edge-weighted bipartite matching is strictly easier than submodular welfare maximization in the online setting. The main ingredient in our online matching algorithm is a novel subroutine called online correlated selection (OCS), which takes a sequence of pairs of vertices as input and selects one vertex from each pair. Instead of using a fresh random bit to choose a vertex from each pair, the OCS negatively correlates decisions across different pairs and provides a quantitative measure on the level of correlation. We believe our OCS technique is of independent interest and will find further applications in other online optimization problems.

Edge-Weighted Online Bipartite Matching

TL;DR

This paper presents the first online algorithm that breaks the long-standing 1/2 barrier and achieves a competitive ratio of at least 0.5086, and can be seen as strong evidence that edge-weighted bipartite matching is strictly easier than submodular welfare maximization in the online setting.

Abstract

Online bipartite matching and its variants are among the most fundamental problems in the online algorithms literature. Karp, Vazirani, and Vazirani (STOC 1990) introduced an elegant algorithm for the unweighted problem that achieves an optimal competitive ratio of . Later, Aggarwal et al. (SODA 2011) generalized their algorithm and analysis to the vertex-weighted case. Little is known, however, about the most general edge-weighted problem aside from the trivial -competitive greedy algorithm. In this paper, we present the first online algorithm that breaks the long-standing barrier and achieves a competitive ratio of at least . In light of the hardness result of Kapralov, Post, and Vondrák (SODA 2013) that restricts beating a competitive ratio for the more general problem of monotone submodular welfare maximization, our result can be seen as strong evidence that edge-weighted bipartite matching is strictly easier than submodular welfare maximization in the online setting. The main ingredient in our online matching algorithm is a novel subroutine called online correlated selection (OCS), which takes a sequence of pairs of vertices as input and selects one vertex from each pair. Instead of using a fresh random bit to choose a vertex from each pair, the OCS negatively correlates decisions across different pairs and provides a quantitative measure on the level of correlation. We believe our OCS technique is of independent interest and will find further applications in other online optimization problems.

Paper Structure

This paper contains 54 sections, 19 theorems, 62 equations, 2 figures, 2 tables, 5 algorithms.

Key Result

theorem 1

There is a 0.5086-competitive algorithm for edge-weighted online bipartite matching.

Figures (2)

  • Figure 1: Complementary cumulative distribution function (CCDF) viewpoint. The first function is the CCDF of vertex $i$, and the second function demonstrates how the CCDF of vertex $i$ is updated.
  • Figure 2: Example of dependence graphs with five ground elements and a sequence of seven pairs.

Theorems & Definitions (33)

  • theorem 1
  • lemma 2
  • proof
  • definition 1: $\gamma$-semi-OCS
  • definition 2: $\gamma$-OCS
  • theorem 3
  • proof : Proof Sketch of a $1/16$-OCS
  • lemma 4
  • lemma 5
  • proof
  • ...and 23 more