---
title: Oblivious Bipartite Matching
url: https://www.emergentmind.com/topics/oblivious-bipartite-matching
type: topic
---

# Oblivious Bipartite Matching

Oblivious bipartite matching denotes a family of matching models in which decisions are made without full knowledge of the realized graph, without access to future arrivals, or according to a fixed non-adaptive rule. In its standard contemporary form, the algorithm knows the bipartition \(L \cup R\) and, in weighted variants, all pair weights \(w_{uv}\), but does not know which pairs are actual edges until they are probed; under the query-commit rule, a successful probe must be accepted irrevocably [2002.06037]. In adjacent literatures, the term also appears in the phrases *oblivious algorithm*, referring to a rule that ignores the current matching state when choosing a neighbor, and *oblivious adversary*, referring to an adversary that fixes the request sequence before seeing the algorithm’s random choices [1307.2536, 0705.4673]. A further, more algebraic usage concerns fixed evaluation schedules that are chosen independently of the input graph [2604.01571]. This suggests a unifying theme: algorithmic commitment under restricted information.

## 1. Core formulations and terminological scope

In the edge-weighted oblivious matching problem on bipartite graphs, the input consists of vertex sets \(L\) and \(R\), an unknown edge set \(E \subseteq L \times R\), and known non-negative weights \(w_{uv}\) for all pairs \((u,v)\). An adversary fixes the entire graph before the algorithm runs but reveals only the vertices. The algorithm can discover whether \((u,v)\in E\) only by probing \((u,v)\). If both endpoints are unmatched and the probe succeeds, the edge must be added irrevocably to the matching; otherwise nothing happens. The objective is to maximize the expected weight of the produced matching, compared with the maximum-weight matching \(W^*\) in the realized graph [2002.06037].

This model is a strict generalization of stochastic bipartite matching. In the stochastic formulation, each potential edge \((u,v)\) has a weight \(w_{uv}\) and an existence probability \(p_{uv}\), and edge existences are independent. Any oblivious-matching algorithm can be run in that setting by ignoring the \(p_{uv}\) values and treating the realized graph as an unknown fixed graph. Because the analysis in the weighted Ranking paper does not use independence or the probabilities at all, its guarantee carries over even when stochastic edge existences are arbitrarily correlated [2002.06037].

A related but not identical usage occurs in online bipartite matching. There, the offline side \(L\) is known initially, online vertices arrive one by one, and the algorithm must match or discard each arrival immediately and irrevocably. In that literature, “oblivious” is often used informally to mean that the algorithm acts without knowledge of future arrivals; the lossless-rounding work explicitly treats the online setting as the relevant notion of obliviousness and contrasts it with fully informed offline matching [2106.04863].

The phrase also appears in average-case analyses of a specific online rule called **oblivious**: when a ball \(j\) arrives in \(G(n,n,p)\), the algorithm chooses a uniformly random neighbor from \(N(j)\) without regard to whether that bin is already matched; if the chosen bin is occupied, the attempt fails and the ball is dropped [1307.2536]. By contrast, in metric online matching the distinction is often not between oblivious and adaptive algorithms, but between an **oblivious adversary** and an **adaptive adversary**. The randomized metric algorithm of Meyerson, Nanavati, and Poplawski is analyzed against an oblivious adversary, whereas the deterministic RM-Algorithm on the line is analyzed against an adaptive adversary [0705.4673, 1803.07206].

## 2. Query-commit matching and the \(1-\frac{1}{e}\) Ranking paradigm

A central baseline for oblivious bipartite matching is the weighted Ranking algorithm. Each \(u \in L\) draws an independent rank
\[
y_u \sim \mathrm{Uniform}[0,1],
\]
and the algorithm uses
\[
g(x) := e^{x-1}.
\]
For each pair \((u,v)\), it defines the perturbed weight
\[
\widetilde{w}_{uv} := (1-g(y_u))\,w_{uv},
\]
sorts all pairs in descending order of \(\widetilde{w}_{uv}\), and probes them in that order. If either endpoint is already matched, the pair is skipped; otherwise the probe is executed, and a successful probe is committed immediately [2002.06037].

The main guarantee is that weighted Ranking is \(\left(1-\frac{1}{e}\right)\)-approximate for the edge-weighted oblivious matching problem on bipartite graphs. Formally, for every fixed graph \(G\) and arbitrary non-negative edge weights,
\[
\mathbb{E}\!\left[\sum_{(u,v)\in M(\vec y)} w_{uv}\right]
\ge \left(1-\frac{1}{e}\right) W^*.
\]
The same algorithm is therefore also \(\left(1-\frac{1}{e}\right)\)-approximate for stochastic bipartite matching, even with arbitrary correlation between edge-existence events, because the proof does not use the probabilities \(p_{uv}\) at all [2002.06037].

The analysis is randomized primal–dual. For every matched edge \((u,v)\), the gain-sharing rule sets
\[
\alpha_u = g(y_u)\,w_{uv}, \qquad
\alpha_v = (1-g(y_u))\,w_{uv},
\]
with \(\alpha=0\) on unmatched vertices. Hence \(\alpha_u+\alpha_v=w_{uv}\) on each matched edge, so the dual objective equals the algorithm’s matching weight. The core technical step is to show that for every relevant edge \((u,v)\),
\[
\mathbb{E}[\alpha_u+\alpha_v] \ge \left(1-\frac{1}{e}\right) w_{uv}.
\]
The proof combines a monotonicity lemma, a marginal-rank threshold \(\theta\), a basic gain lemma, and a bipartite-specific extra-gain lemma based on an alternating-path comparison. With the choice \(g(y)=e^{y-1}\), the integral
\[
\int_0^\theta g(y)\,dy + 1-g(\theta)
\]
collapses to \(1-\frac{1}{e}\), independently of \(\theta\) [2002.06037].

This \(1-\frac{1}{e}\) guarantee became the canonical benchmark for the edge-weighted oblivious model. It also clarified a structural fact: the bipartite hypothesis enters exactly at the extra-gain step. The paper explicitly identifies this as the point where the stronger bipartite guarantee is obtained; by comparison, the best known edge-weighted oblivious algorithm for general graphs in the cited prior work achieved only \(0.501\) [2002.06037].

## 3. Quadratic Ranking and the first distribution-free improvement beyond \(1-\frac{1}{e}\)

A subsequent development breaks the \(1-\frac{1}{e}\) barrier in the distribution-free oblivious model. “Edge-weighted Matching in the Dark” studies Oblivious Bipartite Matching as a worst-case, probability-free counterpart of Query-Commit Matching and presents a \(0.659\)-competitive polynomial-time algorithm called **Quadratic Ranking** [2507.19366].

Quadratic Ranking assigns an independent random rank
\[
y_v \sim \mathrm{Uniform}[0,1)
\]
to every vertex \(v \in L \cup R\). It is parameterized by two functions \(g,h : [0,1] \to \mathbb{R}_{\ge 0}\) such that \(g\) is non-increasing, right-continuous, strictly positive on \([0,1)\), and satisfies \(g(1)=0\); \(h\) is non-decreasing, right-continuous, and strictly positive on \([0,1]\); and for all \(x,y\in[0,1]\),
\[
h(x)g(y)+h(y)g(x)\le 1.
\]
The perturbed weight of an edge is
\[
\hat w(u,v) := g(y_u)\,g(y_v)\,w_{uv},
\]
and the algorithm queries edges in descending order of \(\hat w(u,v)\). If edge \((u,v)\) is matched, the dual variables satisfy
\[
\alpha_u \ge h(y_u)g(y_v)w_{uv}, \qquad
\alpha_v \ge h(y_v)g(y_u)w_{uv}, \qquad
\alpha_u+\alpha_v = w_{uv}.
\]
This decouples edge priority and gain-sharing while preserving a primal–dual certificate [2507.19366].

A structural theorem explains why these expressions are quadratic. In a general perturbed-greedy framework with a ranking function \(Rank\) and a share function \(Share\), if one assumes symmetry of priorities, Rank–Share consistency, and preference consistency, then there exist univariate functions \(g,h\) such that
\[
Rank(x,y)=g(x)g(y), \qquad Share(x,y)=h(x)g(y).
\]
Conversely, any such pair satisfies the three axioms. In that sense, the quadratic form is not merely convenient; it is the unique form compatible with the stated consistency properties [2507.19366].

The paper proves a \(0.659\)-competitive guarantee for Oblivious Bipartite Matching and therefore also for Query-Commit Bipartite Matching, even when edge realizations are arbitrarily correlated. It also gives a closed-form analytic choice
\[
g(y)=a-b\cdot \exp(\min\{y,c\}), \qquad h(y)=\sqrt{1-g(y)^2},
\]
with \(a=1.171\), \(b=0.339\), and \(c=0.652\), yielding \(0.6324\), which already exceeds \(1-\frac{1}{e}\). The final \(0.659\) ratio is obtained by discretizing \(g\) and \(h\) into step functions, reducing the lower-bound optimization to a quadratically constrained quadratic program, and then verifying a hand-designed 13-step solution [2507.19366].

The same work sharpens upper bounds as well. For unweighted oblivious matching, it proves that no bipartite algorithm can achieve a competitive ratio strictly larger than \(0.7961\), and no general-graph algorithm can achieve a competitive ratio strictly larger than \(0.7583\). These hardness results improve the previously cited upper bounds of \(0.898\) in the bipartite case and \(0.792\) in the general-graph case [2507.19366].

## 4. Online, fractional, and polyhedral perspectives

A different research line studies online bipartite matching under arrival uncertainty and asks when fractional online algorithms can be rounded without loss. The bipartite fractional matching polytope is integral offline, but Devanur et al. showed that general online lossless rounding is impossible. The 2021 lossless-rounding paper responds by imposing additional non-convex constraints on the fractional process. For a two-choice fractional algorithm with \(P_t=\{i\mid x_{i,t}>0\}\), soundness is defined by
\[
\sum_{i\in P_t} x_{i,t} \le 1-\prod_{i\in P_t} x_i^{(t)},
\]
where \(x_i^{(t)}=\sum_{t'<t} x_{i,t'}\). Under this condition, there exists an online randomized algorithm whose output matching \(\mathcal M\) satisfies
\[
\Pr[(i,t)\in \mathcal M]=x_{i,t}\qquad \forall (i,t).
\]
If the fractional algorithm is maximal, the rounding is implementable in poly-time [2106.04863].

This framework produces integral online algorithms with the same competitive ratios as the underlying fractional solutions. The paper reports \(0.531 \le \alpha \le 0.536\) for unweighted matching and \(11/21 \approx 0.524\) for vertex-weighted matching. It also establishes the threshold
\[
(1\pm o(1))\log\log n
\]
random or advice bits as both necessary and sufficient to achieve a competitive ratio of \(\frac12+\Omega(1)\) for online vertex-weighted bipartite matching. In the same framework, an optimal \(\gamma=\frac12\) semi-OCS is obtained via lossless online rounding [2106.04863].

In the known i.i.d. model, dynamic relaxations refine the set of achievable matching probabilities. Let \(z_{ij}^t\) denote the probability that type \(i\) is matched to ad \(j\) at stage \(t\). The basic dynamic relaxation uses the constraints
\[
Z_{i,V}^t \le \frac1n
\]
and
\[
\sum_{\tau=t+1}^{n} Z_{N,\{j\}}^\tau + n z_{ij}^t \le 1,
\]
which are facet-defining for the achievable-probability polytope \(Q\). The paper shows that these time-indexed constraints dominate the static max-flow relaxation with right-star inequalities, and it derives heuristic policies from the corresponding dual prices. The online decision rule becomes
\[
\arg\max\Bigg\{\max_{j\in S}\Big\{w_{ij}^t-\sum_{\tau=1}^{t-1}\mathbb E_\eta[\mu_{\eta j}^\tau]\Big\},\,0\Bigg\},
\]
which is a dynamic bid-price policy computed entirely offline from the relaxation [1709.01557].

These two strands do not define oblivious bipartite matching in the query-commit sense. A plausible implication is that they provide a broader convex-analytic language for constrained-information matching: non-anticipativity is encoded either as roundability constraints on fractional trajectories or as explicit time-indexed inequalities on achievable probabilities.

## 5. Average-case analysis, metric variants, and the role of the adversary

In random bipartite graphs \(G(n,n,p)\), the word *oblivious* is attached to an especially simple online rule. When a ball \(j\) arrives, the oblivious algorithm chooses a uniformly random bin from \(N(j)\), without conditioning on whether that bin is already matched. If the selected bin is unmatched, the ball is matched; otherwise the attempt fails. For \(p=c/n\), the matching size satisfies
\[
\frac{\mu_O(n,n,c/n)}{n}
=
1-e^{(e^{-c}-1)}+o(1)
\]
asymptotically almost surely. More generally, for every valid monotone \(p(n)\), the performance ratio of oblivious is at least \(1-\frac1e\). The paper also proves that, under the \(G(n,n,p)\) model, greedy and Ranking have equivalent performance and that greedy has performance ratio at least \(0.837\) for all valid \(p(n)\) [1307.2536].

Here the terminology is algorithmic rather than adversarial: the oblivious algorithm is non-adaptive with respect to the current occupancy state. In the metric online-matching literature, by contrast, the central distinction is often the adversary model. The randomized RWGM algorithm for online minimum weighted bipartite matching in arbitrary metric spaces achieves
\[
O\!\left(\frac{\log^3 n}{\log\log n}\right)
\]
expected competitive ratio against an oblivious adversary, and the same bound applies to the fire station problem on the real line. The adversary fixes the full input before seeing the algorithm’s random choices; the analysis relies on probabilistic embeddings into \(\lambda\)-HSTs and on the Randomized Weighted Greedy Matching procedure [0705.4673].

The line metric illustrates the difference sharply. On the one hand, Gupta and Lewi had obtained an \(O(\log n)\)-competitive randomized algorithm only under an oblivious adversary. On the other hand, the RM-Algorithm was shown to be \(\Theta(\log n)\)-competitive on the line against an adaptive adversary. The deterministic RM result therefore matches the best known asymptotic ratio previously obtained only in the weaker oblivious-adversary model [1803.07206].

The resulting terminology is easy to conflate but should be separated carefully. *Oblivious algorithm* means that the algorithm ignores part of the state when choosing actions. *Oblivious adversary* means that the input sequence is fixed before the algorithm’s random bits are realized. Query-commit oblivious matching, in contrast, is a hidden-edge model in which the uncertainty is in the graph itself rather than in an adversarial arrival order.

## 6. Deterministic and algebraic notions of obliviousness

A different but technically adjacent meaning of obliviousness arises in deterministic algebraic algorithms for bipartite matching. “Bipartite Exact Matching in P” studies the problem of deciding whether a colored bipartite graph has a perfect matching with exactly \(t\) red edges. The paper proves the Affine-Slice Nonvanishing Conjecture for all bipartite braces and obtains a deterministic algorithm running in
\[
O(n^3)\ \text{determinant evaluations}
\quad\Rightarrow\quad
O(n^6)\ \text{arithmetic operations}.
\]
The core algebraic encoding is the fixed Vandermonde-weighted matrix
\[
M_G(x,\lambda)_{ij}
=
\begin{cases}
x^{\rho(i,j)}(\lambda+i)^j,& (i,j)\in E(G),\\
0,&\text{otherwise},
\end{cases}
\]
with generating determinant \(D_G(x,\lambda)=\det M_G(x,\lambda)\) and exact-\(t\) coefficient polynomial \(P_{G,t}(\lambda)=[x^t]D_G(x,\lambda)\) [2604.01571].

The paper explicitly notes that its evaluation schedule is entirely input-independent. For each brace block and target \(t\), the algorithm evaluates \(D_G(x,\lambda)\) at \(O(n_j)\) \(x\)-values and \(O(n_j^2)\) \(\lambda\)-values, all fixed in advance, interpolates \(P_{G_j,t}(\lambda)\), and checks whether the result is identically zero. The evaluation points are described as entirely **input-independent** and **fixed in advance**; correctness comes from structural nonvanishing rather than from Schwartz–Zippel randomness. The authors state that, in this algebraic sense, the method is “oblivious,” even though the tight-cut decomposition and brace analysis remain graph-dependent [2604.01571].

This is not oblivious bipartite matching in the query-commit sense. It nevertheless provides a useful contrast. In the query-commit literature, obliviousness concerns hidden edges and irrevocable probes; in the exact-matching derandomization literature, obliviousness concerns fixed algebraic substitution points and non-adaptive evaluation patterns. A plausible implication is that the term has expanded from hidden-information models to broader forms of input-independent algorithm design.

Across these literatures, oblivious bipartite matching has evolved from a simple Ranking-style baseline with a \(\left(1-\frac1e\right)\) guarantee into a technically richer subject involving quadratic primal–dual perturbations, online lossless rounding, dynamic relaxations of achievable matching probabilities, and multiple adversarial or probabilistic interpretations of what it means for a matching algorithm to act “without knowing.” The current edge-weighted distribution-free frontier is a \(0.659\)-competitive non-adaptive algorithm together with a \(0.7961\) upper bound in the bipartite case, leaving a substantial but now much narrower gap than the one that surrounded the original \(1-\frac1e\) barrier [2507.19366].

Source: https://www.emergentmind.com/topics/oblivious-bipartite-matching