cs.DSSep 21, 2026

Poisson Exchange Beyond Submodularity: Effective Approximation Algorithms for Offline and Online Subset Selection over Matroids

Authors: Shi FuYouming QiaoDacheng TaoZongqi WanQixin Zhang

Abstract

Over the past decade, a growing body of research has shown that γγ-weak submodularity broadly arises in numerous subset selection tasks, including feature selection, neural network pruning, and video summarization. Despite its prevalence, maximizing a γγ-weakly submodular function subject to a general matroid constraint remains challenging. To date, the only known approximation guarantee is the conservative (1+1/γ)2(1+1/γ)^{-2} factor established by \citet{chen2018weakly}. To improve upon this result, this paper proposes a novel algorithm called \MGPE, which repeatedly performs maximum-gain local exchanges through careful control of a non-homogeneous Poisson clock, and proves that this \MGPE\ can attain an approximation ratio arbitrarily close to ργ=1(γ/(2γ))γ22(1γ)ρ_γ=1-\left(γ/(2-γ)\right)^{ \frac{γ^2}{2(1-γ)} }. In sharp contrast to the previous guarantee, our obtained factor ργρ_γ not only strictly improves upon (1+1/γ)2(1+1/γ)^{-2} for every γ(0,1]γ\in(0,1], but also can asymptotically approach the optimal (11/e)(1-1/e)-approximation for submodular maximization as γ1γ\to1. Furthermore, we surprisingly find that when the matroid constraint reduces to a cardinality or the objective satisfies the stronger notion of αα-weak DR-submodularity, \MGPE\ can automatically recover the tight approximation ratios of 1eγ1-e^{-γ} and 1eα1-e^{-α}, respectively. Here, α(0,1]α\in(0,1] denotes the DR ratio.

Explore similar work

Aug 12, 2026cs.LG

Adversarial Resilience of Poisson-Process Submodular Maximization over Matroids: From Robust Offline Optimization to Full-Bandit Learning

We study nonnegative submodular maximization subject to a general matroid when the offline algorithm is given an arbitrary controlled value oracle. Our main result is an adversarial resilience theorem for the Spiteful Greedy Swap Poisson Process (SGS-Poisson): without modifying its Poisson intensity, single-element exchange rule, or spiteful drop step, the algorithm retains limiting approximation factors 1/e1/e for non-monotone objectives and 11/e1-1/e for monotone objectives. More precisely, under every controlled oracle f^\widehat f satisfying f^(S)f(S)ξ|\widehat f(S)-f(S)|\le ξ for every set SS, our implementation returns a feasible set with expected value at least (1/eε)\OPTO(kξ)(1/e-\varepsilon)\OPT-O(kξ) and (11/eε)\OPTO(kξ)(1-1/e-\varepsilon)\OPT-O(kξ), respectively, using O~(nk2ε2)\widetilde O(nk^2\varepsilon^{-2}) oracle calls. As a consequence, the offline-to-online reduction yields full-bandit CMAB algorithms for general matroid-constrained submodular rewards with exact limiting approximation-regret factors 1/e1/e and 11/e1-1/e and O~(n1/5k4/5T4/5)\widetilde O(n^{1/5}k^{4/5}T^{4/5}) regret.
Vaneet Aggarwal
Sep 9, 2026cs.DS

A Sharp Barrier for Consistent Submodular Maximization: Any Improvement over 222-\sqrt{2} Entails Exponential Queries or Linear Recourse

Consistent submodular maximization studies the tradeoff between solution quality and stability when elements arrive over time. For a monotone submodular objective, which models diminishing returns, an algorithm maintains a set of at most kk available elements and changes only O(1)O(1) elements after each insertion. Dütting et al. [2025] established a tight 2/32/3 approximation with unrestricted computation and a polynomial-time 0.510.51 approximation. They left open at STOC 2025 whether efficient algorithms can match the offline 11/e1-1/e guarantee. We resolve this problem by proving that the supremum approximation achievable with polynomially many value queries and worst-case constant recourse is β=220.5858<11/e.β=2-\sqrt2\approx0.5858<1-1/e. For every ε>0\varepsilon>0, our randomized algorithm attains βεβ-\varepsilon with O(ε2)O(\varepsilon^{-2}) changes per insertion. Any fixed improvement requires exponentially many queries before one critical insertion or linear recourse of Ω(k)Ω(k) changes at that insertion, even with unlimited queries afterwards. This gap quantifies the cost of consistency: the current oracle hides which elements will be needed after an arrival. We also determine the exact curvature-dependent threshold 1(21)ϑ1-(\sqrt2-1)\vartheta, attain 11/eε1-1/e-\varepsilon for weighted coverage with O(ε1)O(\varepsilon^{-1}) recourse, and separate the existence of universal future-price certificates from their efficient computation. Our algorithm has a bounded-bit polynomial-time implementation for polynomial-bit rational oracle answers; the lower bound uses only logarithmic-bit rational answers.
Shi Fu, Qixin Zhang, Dacheng Tao
Jun 3, 2026cs.DS

A General Framework for Dynamic Consistent Submodular Maximization

Consistency is an important property in dynamic submodular maximization and entails maintaining a near-optimal solution at all times, making only a small number of adjustments to the solution in each step. Prior work has explored this question for the insertion-only case, where the algorithm faces a stream of nn insertions, and has established lower and upper bounds for the cardinality-constrained version of the problem. We consider this question in the fully dynamic setting, where the stream of operations may contain both insertions and deletions. We develop a general framework for designing algorithms for this setting, and instantiate it to obtain the first constant-factor approximations with sublinear consistency. For cardinality constraints, we propose a 12O(ε)\frac 12 - O(\varepsilon) approximation that is O(1ε2)O\left(\frac{1}{\varepsilon^2}\right) consistent. For rank-kk matroid constraints, we construct a 14O(ε)\frac 14 - O(\varepsilon) approximation to the dynamic optimum that is O(logkε2)O\left(\frac{\log k}{\varepsilon^2}\right) consistent.
Paul Dütting, Federico Fusco, Silvio Lattanzi +3