---
title: Sample-Based Online Contention Resolution Schemes
url: https://www.emergentmind.com/topics/sample-based-online-contention-resolution-schemes-ocrs
type: topic
---

# Sample-Based Online Contention Resolution Schemes

Sample-based online contention resolution schemes (OCRSs) are online rounding procedures that replace full distributional knowledge with sample access. In the standard product-distribution model, one starts from an unknown vector \(x\) in a feasibility polytope, draws an active set \(R(x)\) by including each element independently with marginal \(x_e\), and seeks an online algorithm that selects a feasible subset while preserving each active element’s chance of survival up to a constant factor. In the sample-based variant, the algorithm does not know \(x\); it receives only a bounded number of independent samples from \(\mathcal D(x)\) before the online process begins, and is then evaluated by selectability against an adversarial arrival order. For matroid constraints, this perspective has recently yielded nearly tight sample complexity bounds and, through the standard OCRS-to-prophet-inequality reduction, sample-based matroid prophet inequalities with the best known competitiveness against an almighty adversary [2507.09507].

## 1. Formal setting and performance criteria

Let \(M=(N,\mathcal I)\) be a matroid with rank
\[
\rho := \rank(M)=\max\{|I|: I\in\mathcal I\}.
\]
For \(x\in[0,1]^N\) in the matroid polytope \(P_M\), the associated product distribution \(\mathcal D(x)\) is defined by drawing a random active set \(R(x)\subseteq N\) with
\[
\Pr[e\in R(x)] = x_e
\]
independently for all \(e\in N\). An OCRS observes the active elements one by one in an adversarial order and must irrevocably accept or reject each active element while maintaining feasibility, so the selected set \(S\) always lies in \(\mathcal I\). Its standard guarantee is \(c\)-selectability:
\[
\Pr[e\text{ is selected}\mid e\in R(x)] \ge c
\quad \text{for every } e\in N.
\]
This probability is over both the random active set and the algorithm’s internal randomness, and in the online model the minimum is taken over worst-case arrival orders [2507.09507].

The sample-based model keeps the same online objective but removes knowledge of \(x\). The algorithm is given only sample access to \(\mathcal D(x)\): before the online phase it may draw a bounded number \(k\) of independent samples \(S\sim \mathcal D(x)\), possibly adaptively, but it never sees \(x\) itself. In the matroid setting studied in recent work, the algorithm knows \(M\), an upper bound \(\rho\) on the rank, and parameters such as \(\varepsilon\), and must remain \(c\)-selectable against an almighty adversary that sees both the realization \(R(x)\) and the algorithm’s random bits before choosing the arrival order [2507.09507].

The central optimization criterion is sample complexity: the smallest number of samples per random variable sufficient to obtain constant selectability. This criterion is distinct from computational complexity. It measures how much prior distributional information must be extracted from data before the online contention-resolution step can reproduce the structural guarantees traditionally available only in the full-information regime [2507.09507].

## 2. Chain-based structure for matroid OCRSs

A central combinatorial device for matroid OCRSs is the spanning chain
\[
\mathcal C=(C_0,\ldots,C_k),\qquad
N=C_0\supseteq C_1\supseteq \cdots \supseteq C_k=\emptyset,
\]
whose links partition the ground set into layers \(C_i\setminus C_{i+1}\). Given such a chain, the Feldman–Svensson–Zenklusen greedy rule processes an arriving active element \(e\in C_i\setminus C_{i+1}\) inside the matroid obtained by restricting to \(C_i\) and contracting \(C_{i+1}\); \(e\) is accepted iff adding it preserves independence in that contracted matroid. This always yields an independent set, because the layers are handled in mutually compatible contracted subproblems [2507.09507].

Analysis is organized through the \(\mathcal C\)-freeness of an element. If \(e\in C_i\setminus C_{i+1}\), its freeness is
\[
\Pr\!\left[e\notin \spn\!\left(((R(x)\setminus\{e\})\cap C_i)\cup C_{i+1}\right)\right].
\]
Operationally, this is the probability that even if every other active element in the same or lower-priority links arrived before \(e\), the greedy rule could still accept \(e\). A chain is \(c\)-balanced for \(x\) if every element has freeness at least \(c\); a distribution over chains is \(c\)-balanced if the expected freeness of every element is at least \(c\) [2507.09507].

This chain viewpoint is the bridge between combinatorial structure and online rounding. In the full-information setting, Feldman–Svensson–Zenklusen construct balanced chains by iteratively removing elements that are likely to be spanned. In the sample-based setting, the object of interest is a sample-based chain oracle: an algorithm that, using only sample access to \(\mathcal D(x)\), outputs a random spanning chain whose distribution is balanced for an appropriate scaling of \(x\) [2507.09507].

The structural reduction from balanced chains to OCRSs is explicit. If there exists a distribution over chains that is \(c\)-balanced for \(\lambda x\), then one can implement a \(\lambda c\)-selectable OCRS for \(M\) without additional access to \(x\). This reduction is what turns the sample-based chain oracle into a full sample-based matroid OCRS [2507.09507].

## 3. Nearly tight sample complexity for matroids

The current benchmark result for matroid constraints states that for every \(\varepsilon>0\) there is a polynomial-time sample-based randomized OCRS for any matroid \(M\) with selectability \(\tfrac14-\varepsilon\) against the almighty adversary, using
\[
O\!\big(\log \rank(M)\cdot \log^2\log \rank(M)\big)
\]
samples from \(\mathcal D(x)\) [2507.09507]. Equivalently, the underlying chain oracle outputs a random spanning chain whose distribution is \((1-\lambda-8\varepsilon)\)-balanced for any \(x\in \lambda\cdot P_M\) with \(\lambda\le 1-4\varepsilon\), and combining this with the chain-to-OCRS theorem yields a \(\lambda(1-\lambda-8\varepsilon)\)-selectable OCRS. Taking \(\lambda=\tfrac12\) and adjusting constants gives the \(\tfrac14-\varepsilon\) guarantee [2507.09507].

A concise comparison of the current bounds is as follows.

| Result | Samples per variable | Guarantee |
|---|---:|---|
| Fu et al. (2024) sample-based matroid OCRS | \(O(\log^4 n)\) | \((\tfrac14-\varepsilon)\)-selectable |
| Nearly tight matroid sample-based OCRS | \(O(\log \rho\cdot \log^2\log\rho)\) | \((\tfrac14-\varepsilon)\)-selectable |
| Lower bound for constant selectability | \(\Omega(\log \rho)\) | necessary even offline |

The improvement is twofold. First, the dependence shifts from \(n\), the number of random variables, to \(\rho\), the matroid rank, which may be much smaller. Second, the upper bound nearly matches the known lower bound up to a \(\log^2\log \rho\) factor. The competitiveness is unchanged: \(\tfrac14-\varepsilon\) remains the best known constant in the considered almighty-adversary setting even when the distributions are fully known [2507.09507].

The balanced-chain statement used to obtain this result is explicit. If
\[
\mathcal C=\textsf{OcrsChain}(M,x,\lambda+4\varepsilon,\varepsilon)
\]
with \(x\in\lambda P_M\), \(\varepsilon\in(0,\tfrac1{20}]\), and \(\lambda\in(0,1-4\varepsilon]\), then the distribution of \(\mathcal C\) is a \((1-\lambda-8\varepsilon)\)-balanced spanning-chain distribution for \(x\). The final OCRS therefore inherits constant selectability from balanced freeness rather than from direct estimation of per-element activation probabilities [2507.09507].

## 4. Sample-based chain construction

The technical obstacle in adapting the Feldman–Svensson–Zenklusen chain construction to the sample-based setting is that the full-information algorithm repeatedly tests probabilities of spanning events of the form
\[
\Pr[e\in \spn(A\cup R(x))]>\tau.
\]
A naive empirical implementation would estimate too many probabilities: a single link may require up to \(\Omega(\rho)\) iterations before stabilization, and a long chain compounds both sample complexity and estimation error. The recent nearly tight construction addresses both issues simultaneously by bounding the chain length, truncating link construction at a random time, and controlling estimation error with Chernoff bounds [2507.09507].

The single-link subroutine \(\textsf{SingleOcrsLink}\) proceeds by maintaining sets \(A_0,A_1,\ldots\). It chooses an iteration cap \(\bar h\) from a carefully designed distribution on \(\{1,\dots,\eta\}\), where
\[
\eta = O(\log\log \rho),
\]
and in each iteration draws
\[
q=O\!\left(\frac{1}{\tau\varepsilon^2}\ln\!\left(\frac{\ln\rho}{\varepsilon}\right)\right)
= O(\log\log\rho)
\]
samples from \(\mathcal D(x)\). Using empirical frequencies, it adds to \(A_h\) those elements whose estimated spanning probability exceeds the threshold. The crucial asymmetry in the stopping distribution is that for \(h\ge 2\),
\[
\Pr[\bar h = h] = \varepsilon\,\Pr[\bar h < h],
\]
while \(\Pr[\bar h=1]\) is tiny. This ensures that the probability of stopping exactly at the unique iteration where an element is still “bad” is smaller by an \(\varepsilon\) factor than the probability of stopping earlier, when the same element is already “good” [2507.09507].

The analysis formalizes this via the notions of \((A,\tau)\)-bad and \((A,\tau)\)-good. An element \(e\notin A\) is \((A,\tau)\)-bad if \(\Pr[e\in\spn(A\cup R(x))]>\tau\), and \((A,\tau)\)-good otherwise. If \(A\) is the output of
\[
\textsf{SingleOcrsLink}(M,x,\rho,(1-\varepsilon)\tau,\varepsilon),
\]
then for every \(e\in N\),
\[
\Pr[e\text{ is }(A,\tau)\text{-bad}]
\le
\varepsilon\cdot \Pr[e\text{ is }(A,\tau)\text{-good}]
+\frac{2\varepsilon^3}{\ln\rho}.
\]
This per-link good-versus-bad dominance is the probabilistic core of the balanced-chain argument [2507.09507].

Progress of the chain is controlled through rank shrinkage. If \(x\in\lambda P_M\), \(\tau\in(\lambda,1]\), and \(A\) is the output of \(\textsf{SingleOcrsLink}\), then
\[
\mathbb E[r(A)] \le \bigl(1+\lambda-(1-3\varepsilon)\tau\bigr)\cdot \rank(M).
\]
With \(\tau=\lambda+4\varepsilon\), this becomes a strict multiplicative contraction by a factor below \(1-\varepsilon\). Iterating the link procedure on restricted matroids for
\[
\zeta = \left\lceil \frac{1}{\varepsilon}\ln\!\left(\frac{\rho}{\varepsilon}\right)\right\rceil
= O\!\left(\frac{1}{\varepsilon}\log\rho\right)
\]
links yields
\[
\Pr[C_\zeta=\emptyset]\ge 1-\varepsilon,
\]
and the balancedness analysis then upgrades this empty-last-link property to a \((1-\lambda-8\varepsilon)\)-balanced chain distribution [2507.09507].

The sample complexity follows by multiplication of the structural parameters: \(O(\log\rho)\) links, each with \(O(\log\log\rho)\) iterations and \(O(\log\log\rho)\) samples per iteration, giving
\[
O\bigl(\log\rho\cdot \log^2\log\rho\bigr)
\]
samples overall. This is the source of the nearly tight bound [2507.09507].

## 5. Prophet inequalities, lower bounds, and information limits

Sample-based OCRSs are tightly coupled to sample-based prophet inequalities. The standard reduction chooses thresholds \(\tau_e\), declares an element active when \(v_e\ge \tau_e\), arranges the induced activity probabilities as a point in the matroid polytope, and then runs an OCRS on the active set. Fu et al. extended this reduction to the sample-based regime: a \(c\)-selectable sample-based matroid OCRS using \(k\) samples per element implies a \((c-\varepsilon)\)-competitive sample-based matroid prophet inequality using
\[
O_\varepsilon(\log n)+k
\]
samples per element. Applying this reduction to the nearly tight matroid OCRS yields a sample-based matroid prophet inequality with sample complexity
\[
O\!\big(\log n + \log\rho\cdot\log^2\log\rho\big)
\]
and competitive ratio \(\tfrac14-\varepsilon\) against an almighty adversary [2507.09507].

The lower-bound landscape is equally important. Fu et al. proved that even for offline contention resolution under matroid constraints, any algorithm guaranteeing constant selectability must use at least \(\Omega(\log n)\) samples per variable on some instances, and in their construction \(\log n\) is essentially \(\log \rho\). Consequently, \(\Omega(\log \rho)\) samples are necessary for constant-factor contention resolution in the sample-based matroid model. The upper bound \(O(\log\rho\cdot \log^2\log\rho)\) is therefore nearly tight [2507.09507].

More severe impossibility results appear in broader information models. For graphic and transversal matroids, no CRS or OCRS with \(O(1)\) samples can be \(\Omega(1)\)-balanced or selectable; in particular, constant-sample information is insufficient to preserve every active candidate with constant probability in those classes [2111.10607]. In a different direction, for arbitrary correlated distributions over subsets, no finite-sample prior-independent universal CRS exists even in the rank-1 setting; the barrier already appears offline and is stronger than the product-distribution matroid model typically used in sample-based prophet inequalities [1909.04268].

These results delimit what “sample-based OCRS” can mean. For product distributions over matroid constraints, polylogarithmic sample complexity is achievable and nearly optimal. For universal schemes over broader distribution families, or for richer classes under constant-sample information, constant-factor guarantees may be impossible [2507.09507].

## 6. Variants, adversaries, and broader OCRS context

The behavior of OCRSs is highly sensitive to the adversary model. In \(k\)-uniform matroids, a simple full-information OCRS achieves \(1-O(1/\sqrt{k})\)-selectability against a fixed-order adversary, whereas against an almighty adversary no OCRS can be \(1-\Omega(\sqrt{\log k/k})\)-selectable; the known greedy algorithm matches this upper bound asymptotically [2309.10078]. This separation is directly relevant to sample-based OCRS results for general matroids: the current \(\tfrac14-\varepsilon\) competitiveness is notable precisely because it holds against the strongest adversary considered in the literature [2507.09507].

A second axis of comparison is the amount of structural commitment made before arrivals. Greedy OCRSs, which pre-sample a down-closed feasible family and then accept every active element that preserves membership in that family, achieve \(1/e\)-selectability for the single-item setting, partition matroids, and transversal matroids, and this is optimal within the greedy class even in the rank-1 case [2111.13253]. Oblivious schemes in the single-item setting also achieve the same \(1/e\) constant, and that constant is optimal for oblivious OCRSs [2111.10607]. These results do not yield sample-complexity bounds for general matroids, but they clarify the interaction between information, precommitment, and adversarial robustness.

Beyond product distributions, contention resolution has a strong connection to arbitrary correlated priors and to secretary-type problems. Offline contention resolution for matroids under correlated input distributions is characterized by weighted-rank inequalities, and universal random-order contention resolution is intimately tied to the matroid secretary problem [1909.04268]. In fact, the matroid secretary conjecture is equivalent to the existence of universal random-order contention resolution schemes that match the offline balance ratio up to a constant factor for every uncontentious correlated distribution [2103.04205]. This does not directly concern the product-distribution sample-based model of recent matroid OCRS work, but it places sample-based OCRS within a larger program: understanding exactly which kinds of distributional information are necessary for online contention resolution, and which can be learned or inferred from limited access.

For product distributions under matroid constraints, the current picture is unusually sharp. Sample-based chain construction reduces the required information from \(O(\log^4 n)\) samples per variable to \(O(\log\rho\cdot \log^2\log\rho)\), almost matching the \(\Omega(\log\rho)\) lower bound, while preserving the best known \(\tfrac14-\varepsilon\) guarantee against an almighty adversary [2507.09507]. The main open questions are equally explicit: close the remaining \(\log^2\log\rho\) gap to a tight \(\Theta(\log\rho)\), improve the constants in both selectability and sample complexity, and determine whether matroid prophet inequalities can achieve comparable sample complexity without routing the construction through OCRSs [2507.09507].

Source: https://www.emergentmind.com/topics/sample-based-online-contention-resolution-schemes-ocrs