English

Adaptivity Gaps for Stochastic Probing with Subadditive Functions

Data Structures and Algorithms 2025-10-17 v2

Abstract

In this paper, we study the stochastic probing problem under a general monotone norm objective. Given a ground set U=[n]U = [n], each element iUi \in U has an independent nonnegative random variable XiX_i with known distribution. Probing an element reveals its value, and the sequence of probed elements must satisfy a prefix-closed feasibility constraint F\mathcal{F}. A monotone norm f:R0nR0f: \mathbb{R}_{\geq 0}^n \to \mathbb{R}_{\geq 0} determines the reward f(XP)f(X_P), where PP is the set of probed elements and XPX_P is the vector with XiX_i for iPi \in P and 0 otherwise. The goal is to design a probing strategy maximizing the expected reward E[f(XP)]\mathbb{E}[f(X_P)]. We focus on the adaptivity gap: the ratio between the expected rewards of optimal adaptive and optimal non-adaptive strategies. We resolve an open question posed in [GNS17, KMS24], showing that for general monotone norms, the adaptivity gap is O(log2n)O(\log^2 n). A refined analysis yields an improved bound of O(logrlogn/loglogn)O(\log r \log n / \log\log n), where rr is the maximum size of a feasible probing sequence. As a by-product, we derive an asymptotically tight adaptivity gap Θ(logn/loglogn)\Theta( \log n/\log\log n) for Bernoulli probing with binary-XOS objectives, matching the known lower bound. Additionally, we show an O(log3n)O(\log^3 n) upper bound for Bernoulli probing with general subadditive objectives. For monotone symmetric norms, we prove the adaptivity gap is O(1)O(1), improving the previous O(logn)O(\log n) bound from [PRS23].

Keywords

Cite

@article{arxiv.2504.15547,
  title  = {Adaptivity Gaps for Stochastic Probing with Subadditive Functions},
  author = {Jian Li and Yinchen Liu and Yiran Zhang},
  journal= {arXiv preprint arXiv:2504.15547},
  year   = {2025}
}

Comments

51 pages, 7 figures, To appear in FOCS 2025

R2 v1 2026-06-28T23:06:38.368Z