In the best-arm identification problem, an algorithm adaptively selects arms to find the arm of the largest mean reward. Successive Rejects (SR) is a simple fixed-budget best-arm identification algorithm that eliminates one candidate arm at each phase. At first glance, SR seems to have limited adaptivity, since it follows predetermined phase lengths. However, for Gaussian arms with common variance, SR's worst-instance error exponent normalized by the popular complexity measure H1(P) is optimal up to a constant factor, which partly explains why SR's performance is competitive compared with state-of-the-art adaptive sampling algorithms. In this paper, we extend the framework of SR by optimizing its predefined schedule of phase lengths. We formulate phase-schedule design as an optimization problem for the normalized error exponent. Then, we introduce a version of SR with the optimized schedule, which we call H1-balanced Successive Rejects (H1-SR). This schedule is optimal within the class of SR-type algorithms with deterministic equal-count schedules. For Gaussian arms with common variance, H1-SR achieves at least 11/12 of the optimal normalized rate over all adaptive algorithms for every K≥2, and this approximation ratio converges to one as 1−O(1/logK) as K→∞. This is a significant improvement over original SR, whose corresponding fraction of the optimal normalized rate converges to 1/4. Finally, experiments on ten synthetic instances and two dataset-derived Gaussian benchmarks compare the optimized schedule with original SR at finite horizons. They show substantial gains on many instances while also exposing a regime in which more aggressive early elimination is costly.
Figures & tables
Figure 1: Fraction of the total budget spent in each phase, for the original SR and our H1 -SR. Each phase includes all pulls of its surviving arms, not a cumulative per-arm count. Both methods spend the same total budget and eliminate one arm per phase; H1 -SR spends more of the budget in the final phases.
Terminal PoE (%)
Instance
K
T
H1 -SR
SR
Ratio
Supported
Synthetic 1
40
6,000
9.92
18.05
0.550
H1 -SR
Synthetic 2
40
1,000
1.37
4.61
0.297
H1 -SR
Synthetic 3
40
4,000
7.72
7.45
1.036
–
Synthetic 4
40
4,500
9.88
14.56
0.679
H1 -SR
Synthetic 5
40
25,000
9.47
13.73
0.690
H1 -SR
Table 1: Terminal error (%) over 10,000 repetitions. Ratio =PoEH1-SR/PoESR ; boldface marks a Holm-corrected supported improvement.
Appendix figures & tables2 assets
Supplementary material from the paper’s appendix.
Appendix
Figure 2: Trajectory comparisons for synthetic instances 1–6. The terminal points correspond to the fixed-horizon results in Table 1 .
Figure 3: Trajectory comparisons for synthetic instances 7–10, MovieLens 1M, and Open Bandit. Synthetic instance 7 illustrates the finite-budget cost of allocating less sampling effort before early irreversible eliminations.
We study fixed budget constrained best-arm identification in grouped bandits, where each arm consists of multiple independent attributes with stochastic rewards. An arm is considered feasible only if all its attributes' means are above a given threshold. The aim is to find the feasible arm with the largest overall mean. We first derive a lower bound on the error probability for any algorithm on this setting. We then propose Feasibility Constrained Successive Rejects (FCSR), a novel algorithm that identifies the best arm while ensuring feasibility. We show it attains optimal dependence on problem parameters up to constant factors in the exponent. Empirically, FCSR outperforms natural baselines while preserving feasibility guarantees.
Raunak Mukherjee, Sharayu Moharir
Indian Institute of Technology, Bombay · Dept. of Electrical Engineering, IIT Bombay
In many applications, evaluating the effectiveness of different alternatives comes with varying costs or resource usage. Motivated by such heterogeneity, we study the Best Arm Identification with Resource Constraints (BAIwRC) problem, where an agent seeks to identify the best alternative (aka arm) in the presence of resource constraints. Each arm pull consumes one or more types of limited resources. We make two key contributions. First, we propose the Successive Halving with Resource Rationing (SH-RR) algorithm, which integrates resource-aware allocation into the classical successive halving framework on best arm identification. The SH-RR algorithm unifies the theoretical analysis for both the stochastic and deterministic consumption settings, with a new \textit{effective consumption measure
Zitian Li, Wang Chi Cheung
Department of Industrial Systems Engineering & Management, National University of Singapore, Singapore
In fixed-budget best-arm identification, also known as ranking and selection, an algorithm has a sampling budget to distribute across K arms. Each sample provides noisy feedback about that arm's mean, and the goal is to identify the arm with the largest mean. A common performance benchmark is the static oracle: a non-adaptive strategy that knows the means in advance and chooses fixed sampling proportions to maximize the exponential decay rate of the probability of incorrect identification. Several adaptive algorithms have been constructed such that their sampling proportions converge to the static oracle proportions. However, it has remained open whether any algorithm could match the static oracle's error decay rate uniformly across all problem instances. We answer this in the negative. For any K≥3 and for rewards drawn from any one-parameter natural exponential family, we show that for any algorithm, there is at least one instance where the error decay rate is at most (1+8log(K))−1 times that of the static oracle. This also answers the open question posed by Qin (2022), showing that fixed-budget best-arm identification does not admit a complexity.