cs.LGJul 15, 2026

Optimal and Efficient Contextual Combinatorial Semi-bandits with General Function Approximation

Authors: Hao QinChicheng Zhang

Organizations: The University of Arizona

Abstract

We study the contextual combinatorial semi-bandit (CCSB) problem with general reward function approximation. At each round, the learner observes a context, selects a combinatorial action consisting of a subset of basic arms, and receives the reward of each selected arm; the goal is to maximize the cumulative reward over time. We propose SquareCB.Comb, a computationally efficient algorithm that, at each round, solves a convex optimization problem to sample a combinatorial action that balances exploration and exploitation. SquareCB.Comb scales to large arm sets and imposes no structural assumptions on the action set beyond a cardinality bound of mm on each combinatorial action. We prove that SquareCB.Comb achieves a minimax optimal regret bound of O(mATlogF)O(\sqrt{m A T \log |\mathcal{F}|}), where AA is the number of arms, mm is the maximum number of arms in a combinatorial action, TT is the time horizon, and F\mathcal{F} is the reward function class. In the realizable setting, this bound matches the state-of-the-art regret guarantees achieved by policy search-based algorithms in the more restricted slate recommendation settings, while simultaneously generalizing to arbitrary combinatorial action structures and general reward function approximation.

Explore similar work

May 10, 2026cs.LG

Worst-Case Regret Bounds for Combinatorial Thompson Sampling in Sleeping Semi-Bandits

We revisit combinatorial Thompson sampling (CTS) for semi-bandits with sleeping arms, where arm availability varies over time and actions must satisfy combinatorial constraints, as in wireless mesh routing with fluctuating link availability. Despite its practical relevance, CTS has been hindered by several long-standing problems: (i) the absence of worst-case regret guarantees in the semi-bandit setting even without sleeping arms, (ii) the lack of theory under adversarially varying availability, and (iii) the consistently weak empirical performance of CTS with Gaussian priors (CTS-G). This paper resolves these long-standing issues by providing the first worst-case regret analysis of CTS-G, proving an upper bound of O~(mNT)\tilde{O}(m\sqrt{NT}) and a matching lower bound of Ω~(mNT)\tildeΩ(m\sqrt{NT}). To bridge the gap between theory and practice, we further propose CL-SG, a simple CTS-G variant that samples a single shared Gaussian seed each round to coordinate exploration across arms. We show that CL-SG achieves an improved regret bound of O~(mNT)\tilde{O}(\sqrt{mNT}), together with a matching lower bound Ω(mNT)Ω(\sqrt{mNT}). Experiments on real-world datasets demonstrate that CL-SG consistently outperforms strong baselines including CTS-G and CTS-B, and we open-source our implementation for reproducibility.
Zhiming Huang, Bingshan Hu, Jianping Pan
May 7, 2026cs.LG

Constrained Contextual Bandits with Adversarial Contexts

We study budget-constrained contextual bandits with adversarial contexts, where each action yields a random reward and incurs a random cost. We adopt the standard realizability assumption: conditioned on the observed context, rewards and costs are drawn independently from fixed distributions whose expectations belong to known function classes. We focus on the continuing setting, in which the algorithm operates over the entire horizon even after the budget for cumulative cost is exhausted. In this setting, the objective is to simultaneously control regret and the violation of the budget constraint. Building on the seminal SquareCB\mathsf{SquareCB} framework of Foster et al. [2018], we propose a simple and modular framework that leverages online regression oracles to reduce the constrained problem to a standard unconstrained contextual bandit problem with adaptively defined surrogate reward functions. In contrast to prior works, which focus on stochastic contexts, our reduction yields improved guarantees for more general adversarial contexts, together with an efficient algorithm with a compact and transparent analysis.
Dhruv Sarkar, Abhishek Sinha
Aug 12, 2026cs.LG

An Efficient Near-Optimal Algorithm for Adversarial mm-Set Bandits

We study adversarial combinatorial bandits with mm-set actions, where at each round the learner selects mm out of dd items and observes only the aggregate loss of the selected items. The resulting action set contains K=(dm)K=\binom{d}{m} elements and can therefore be exponentially large. Nevertheless, the loss of every action is determined by the same dd-dimensional vector of item losses. We propose a computationally efficient algorithm that exploits this structure without explicitly enumerating the action set. Against adaptive non-anticipating adversaries, it guarantees, with probability at least 1δ1-δ, regret against the best fixed action of RT=O(dTlog(K/δ)).R_T = O\left(\sqrt{dT\log(K/δ)}\right). This matches the high-probability regret bound of the finite-action EXP3-KW algorithm of Zimmert and Lattimore, whose direct implementation may require exponential space. Our algorithm instead represents each sampling distribution with dd parameters and runs in polynomial time without enumerating the action set. Thus, it resolves the open problem posed by Maiti et al.
Francesco Bacchiocchi, Tommaso Cesari, Roberto Colomboni