---
title: 'OLPA: MDP Planning & PUCS Bandits'
url: https://www.emergentmind.com/topics/olpa
type: topic
---

# OLPA: MDP Planning & PUCS Bandits

OLPA is an acronym used for two distinct algorithmic constructs in the arXiv literature. In one usage, it denotes Open-Loop Optimistic Planning, a planning approach for discounted Markov Decision Processes (MDPs) with access only to a generative model and with policies restricted to fixed action sequences; in that line of work, the central algorithms are OLOP and its KL-based refinement KL-OLOP. In another usage, OLPA denotes a stochastic combinatorial bandit algorithm for probing-augmented user-centric selection (PUCS), where a learner first probes a subset of arms to acquire side information and then assigns plays under resource uncertainty [1904.04700; 2507.20112]. The shared acronym masks a substantive divergence in modeling assumptions, feedback structure, and regret notions.

## 1. Terminological scope and disambiguation

In the planning literature, the designation OLPA is used to cover “Open-Loop Optimistic Planning (OLOP/KL-OLOP),” with emphasis on online planning under simulator-call budget constraints. The central problem is to recommend a single root action after spending at most \(n\) calls to a simulator, while reasoning over open-loop action sequences of finite horizon \(L\) [1904.04700].

In the PUCS literature, OLPA is the name of a specific online-learning algorithm. The setting is sequential decision-making with information acquisition: in each round, a learner probes at most \(I\) arms, observes side information for those probed arms, and then assigns \(K\) plays to \(M\) arms. The objective is a \(\zeta\)-approximation regret criterion with \(\zeta=(e-1)/(2e-1)\) [2507.20112].

This suggests that OLPA is not a uniquely identifying acronym across research areas. A plausible implication is that, in technical writing, the expansion should be made explicit on first use, because the planning and PUCS usages refer to different optimization problems, different observables, and different notions of performance.

## 2. OLPA as open-loop optimistic planning in discounted MDPs

The planning formulation considers a discounted MDP with state space \(S\), action space \(A\) with \(|A|=K\), and discount \(\gamma\in[0,1)\). The transition and reward kernels are unknown; only a generative model is available, so that each query at \((s,a)\) returns a next state \(s'\sim P(\cdot\mid s,a)\) and reward \(r\in[0,1]\sim P(\cdot\mid s,a)\). The available budget is \(n\): at most \(n\) simulator calls to select a single root action [1904.04700].

Open-loop policies are fixed sequences of actions of some finite horizon \(L\), chosen without observing intermediate states. The objective is to recommend a first action minimizing the simple regret
\[
r_n = V(s_0) - V(s_0,a_1),
\]
where \(V(s_0)\) is the optimal \(\gamma\)-discounted return from the root state \(s_0\), and \(V(s_0,a_1)\) is the value of the recommended first action.

Within this formulation, OLOP organizes the simulator budget into \(M\) episodes of length \(L\), where
\[
M = \max\Bigl\{m: m\Bigl\lceil\frac{\log m}{2\,\log(1/\gamma)}\Bigr\rceil \le n\Bigr\},
\qquad
L = \Bigl\lceil\frac{\log M}{2\,\log(1/\gamma)}\Bigr\rceil.
\]
It builds a complete \(|A|\)-ary tree of depth \(L\). Each node \(a=a_{1:t}\in A^t\), for \(1\le t\le L\), records
\[
T_a = \# \text{ of visits of sequence } a,\qquad
S_a = \text{sum of observed rewards at that depth},\qquad
\hat\mu_a = S_a/T_a \; (\text{or } +\infty \text{ if } T_a=0).
\]

The practical significance of the open-loop restriction is stated directly in the recommendations: in high-dimensional or continuous state spaces where open-loop sequences suffice, such as highway driving, OLPA can give strong anytime guarantees with small code complexity. This does not eliminate the distinction between open-loop and closed-loop control; rather, it identifies a regime in which fixed action sequences are operationally adequate.

## 3. OLOP, KL-OLOP, and regret guarantees

At episode \(m\), OLOP computes for every node \(a\) an optimistic upper-confidence bound on the mean reward at that node,
\[
U_a^\mu(m) = \max\left\{q\in\mathbb{R}: 2\,(\hat\mu_a(m)-q)^2 \le \frac{4\,\log M}{T_a(m)}\right\}
= \hat\mu_a(m) + \sqrt{\frac{2\,\log M}{T_a(m)}}.
\]
It then defines the optimistic value of a full sequence \(a\) of length \(t\) by
\[
U_a(m) = \sum_{t=1}^{|a|} \gamma^t\,U_{a_{1:t}}^\mu(m) + \frac{\gamma^{|a|+1}}{1-\gamma}.
\]
For each leaf \(a\in A^L\), it defines the \(B\)-value
\[
B_a(m) = \min_{1\le t\le L} U_{a_{1:t}}(m),
\]
selects the leaf maximizing \(B_a(m)\), rolls it out in episode \(m\), and after \(M\) episodes recommends the first action of the most-visited leaf [1904.04700].

The stated regret guarantee depends on a branching-complexity quantity \(\kappa_2\) that measures the branching complexity of near-optimal prefixes. For any \(\kappa'>\kappa_2\), the simple regret of OLOP satisfies
\[
E[r_n] =
\begin{cases}
O(n^{-1/2}) & \text{if } \gamma\sqrt{\kappa'} \le 1,\\[4pt]
O\!\left(n^{-(\log(1/\gamma)/\log \kappa')}\right) & \text{if } \gamma\sqrt{\kappa'} > 1.
\end{cases}
\]

KL-OLOP modifies the upper-confidence construction. The motivating observation is empirical: OLOP’s Hoeffding-based \(U_a^\mu\) can exceed \(1\) for small \(T_a\), which breaks monotonicity of \(U_a\) along prefixes and causes uniform exploration. KL-OLOP replaces the quadratic Chernoff-Hoeffding divergence by the Bernoulli Kullback-Leibler divergence on \(I=[0,1]\),
\[
\mathrm{BER}(p,q)=p\log(p/q)+(1-p)\log((1-p)/(1-q)),
\]
and sets
\[
U_a^\mu(m)=\max\{q\in[0,1]: T_a(m)\cdot \mathrm{BER}(\hat\mu_a(m),q)\le f(m)\},
\]
with
\[
f(m)=2\log M + 2\log\log M.
\]
In practice, \(U_a^\mu(m)\) is found by a few Newton iterations. Because \(U_a^\mu(m)\in[0,1]\), the \(B\)-value coincides with \(U_a\):
\[
B_a(m)=U_a(m)=\sum_{t=1}^L \gamma^t\,U_{a_{1:t}}^\mu(m)+\frac{\gamma^{L+1}}{1-\gamma}.
\]

Theoretical analysis is unchanged in order terms: exactly the same regret analysis as OLOP goes through, yielding the identical \(O(\cdot)\) bounds above. The distinction is therefore primarily practical rather than asymptotic: KL-OLOP inherits OLOP’s sample-complexity guarantees while tightening the UCB construction.

## 4. Efficient implementation, empirical behavior, and practical use in planning

A direct implementation is computationally prohibitive. Naïvely recomputing \(U_a\) for all \(|A|^n\) nodes is exponential. The proposed implementation maintains only the explored subtree \(T_m^+\) after \(m\) episodes:
\[
T_m = \text{all prefixes actually visited},\qquad
T_m^+ = T_m \cup \{\text{children of nodes in } T_m\},
\]
with leaf set \(L_m^+\). At each episode, one updates \(U_a^\mu\) only for \(a\in T_m^+\), whose size is \(O(mKL)\), and selects \(a\in L_m^+\) maximizing \(U_a\). When rolling out \(a\), any newly encountered prefix \(a_{1:t}\) is added along with its \(K\) children to \(T_m^+\) [1904.04700].

The resulting complexity statements are explicit. For naïve OLOP/KL-OLOP, time and memory are \(O(MK^L)\). For the lazy variant, time is \(O(KLM^2)\) and memory is \(O(KLM)\). Since \(M=\Theta(n/\log n)\) for \(n\to\infty\), the lazy implementation is polynomial.

The empirical findings are equally explicit. On benchmarks described as highway driving, mini-grid world, and stochastic rewards, OLOP is overly conservative in low-budget regimes and behaves roughly like uniform sampling until very large budgets. KL-OLOP achieves the same final regret but converges one order of magnitude faster in sample budget. An additional “aggressive” variant with
\[
f(m)=\log M
\]
can help in near-deterministic settings at the risk of occasional over-commitment in high noise.

The paper’s practical recommendations are correspondingly concrete: use KL-OLOP by default with \(f(m)=2\log M+2\log\log M\); implement lazy tree expansion to obtain polynomial time and memory; tune the aggressive variant if the environment is almost deterministic and faster early gains are needed; and choose
\[
L=\Bigl\lceil\frac{\log M}{2\log(1/\gamma)}\Bigr\rceil
\]
with \(M\) as the largest integer such that \(M\cdot L\le n\).

## 5. OLPA as a stochastic combinatorial bandit for PUCS

In the PUCS framework, there are \(M\) arms indexed by \(m\in[M]=\{1,\dots,M\}\) and \(K\) plays indexed by \(k\in[K]\), over rounds \(t=1,2,\dots,T\). For each arm \(m\), the number of available resource units \(D_{t,m}\in\{1,\dots,D_{\max}\}\) is drawn i.i.d. from an unknown distribution with mass function \(p_{m,d}=P[D_{t,m}=d]\). If play \(k\) is assigned to arm \(m\) and obtains a resource unit, it draws \(R_{t,m,k}\), i.i.d. from an unknown distribution \(F_{m,k}\) with mean \(\mu_{m,k}=E[R_{t,m,k}]\) [2507.20112].

In each round, after probing, the learner chooses an assignment \(C_t=\{C_{t,m}\subseteq[K]: m\in[M]\}\), where the sets \(C_{t,m}\) form a partition of \([K]\). If arm \(m\) has \(N_{t,m}\) resource units and is assigned \(|C_{t,m}|\) plays, then the reward from \(m\) is
\[
R_m^{\rm prob}(C_{t,m};X_{t,m},N_{t,m}) = \sum_{i=1}^{\min\{N_{t,m},|C_{t,m}|\}} X_{t,m,(i)}^{\rm sort}
\]
when \(m\) is probed, and
\[
R_m(C_{t,m};p_{m,\cdot},\mu_{m,\cdot})
=
\sum_{d=1}^{|C_{t,m}|} p_{m,d}\cdot\sum_{i=1}^d \mu_{m,(i)}^{\rm sort}
+
\sum_{d=|C_{t,m}|+1}^{D_{\max}} p_{m,d}\cdot\sum_{i=1}^{|C_{t,m}|} \mu_{m,(i)}^{\rm sort}
\]
when it is unprobed, in expectation.

Probing is explicit and costly. In each round, the learner chooses \(S_t\subseteq[M]\), with \(|S_t|\le I\), to probe. For each \(m\in S_t\), it observes \((N_{t,m},X_{t,m,k}:k\in[K])\). Probing overhead is modeled by a loss factor \(\alpha(|S_t|)\in[0,1]\), nondecreasing, with \(\alpha(0)=0\). The total reward is
\[
R_t^{\rm total}(S_t,C_t)
=
\bigl(1-\alpha(|S_t|)\bigr)
\left(
\sum_{m\in S_t}R_m^{\rm prob}(C_{t,m};X_{t,m},N_{t,m})
+
\sum_{m\notin S_t}R_m(C_{t,m};p_{m,\cdot},\mu_{m,\cdot})
\right).
\]

The offline objective is to maximize
\[
R(S)=(1-\alpha(|S|))\,f(S),
\qquad
f(S)=E\Bigl[\max_C
\sum_{m\in S}R_m^{\rm prob}(C_m)
+\sum_{m\notin S}R_m(C_m)\Bigr],
\]
and seek a \(\zeta\)-approximation \(S\) such that \(R(S)\ge \zeta R(S^*)\), where \(\zeta=(e-1)/(2e-1)\). In the online case, the \(\zeta\)-approximation regret over \(T\) rounds is
\[
\mathcal{R}_{\rm regret}(\zeta,T)
=
\sum_{t=1}^T \bigl[\zeta\,R(S_t^*)-R(S_t)\bigr],
\]
with the target of sublinear regret \(O(\sqrt{T}+\ln^2 T)\).

OLPA addresses this online problem. At time \(t\), for each \((m,k)\), it maintains the empirical mean \(\hat\mu^{(t)}_{m,k}\), empirical CDF \(\hat F^{(t)}_{m,k}\), empirical mass \(\hat p^{(t)}_{m,d}\), and the UCB radius
\[
\epsilon^{(t)}_{m,k}
=
\sqrt{
\bigl(1+n^{(t)}_{m,k}\bigr)
\frac{
\ln\bigl(\sqrt{n^{(t)}_{m,k}+1}/\delta\bigr)
}{
2\,(n^{(t)}_{m,k})^2
}
}
\qquad
(=\infty \text{ if } n^{(t)}_{m,k}=0).
\]
Its round structure has two phases. In Phase I, it sets \(S_t^{\rm pr}\leftarrow\) `OfflineGreedyProbing`\((\{\hat p^{(t)},\hat F^{(t)}\})\), probes each \(m\in S_t^{\rm pr}\), and updates estimates. In Phase II, it replaces \(\mu_{m,k}\) by \(\hat\mu^{(t)}_{m,k}+\epsilon^{(t)}_{m,k}\) for unprobed \(m\), solves
\[
C_t=\arg\max_C R_t^{\rm total}(S_t^{\rm pr},C)
\]
by maximum-weighted matching with optimistic estimates, executes \(C_t\), observes rewards for plays that get resources, and updates estimates again. The paper notes that \(\delta\approx 1/T\) ensures high-probability concentration uniformly in \(t\).

## 6. Regret analysis and empirical evaluation in PUCS

The regret analysis begins from the per-round comparison
\[
r_t=\zeta\,R(S_t^*)-R(S_t)\le R(\bar S_t^*)-R(S_t),
\]
where \(\bar S_t^*\) is the offline greedy probing on true parameters, and the \(\zeta\) guarantee gives \(R(\bar S_t^*)\ge \zeta R(S_t^*)\) [2507.20112].

The decomposition isolates two sources of statistical error. First, error from estimating \(p\) contributes an \(O(1)\cdot \sqrt{1/t}\) term via the DKW inequality. Second, error from estimating \(\mu\) contributes \(O(\sum \epsilon^{(t)}_{m,k})\), which sums to \(O(\ln^2 T)\). The key lemmas are stated as follows: resource-mass estimation satisfies
\[
|\hat p^{(t)}_{m,d}-p_{m,d}|
\le
\sqrt{\frac{2}{t}\ln\frac{4}{\delta}}
\quad \text{with prob } \ge 1-\delta;
\]
deviation in total reward due to \(\hat p\) is bounded by
\[
O\bigl(D_{\max}K\sqrt{\ln(1/\delta)/t}\bigr);
\]
the mean-reward UCB obeys
\[
P\bigl[\mu_{m,k}-\hat\mu^{(t)}_{m,k}>\epsilon^{(t)}_{m,k}\bigr]\le \delta;
\]
and the deviation from using \(\hat\mu+\epsilon\) instead of the true \(\mu\) is at most
\[
2\sum_{m,k}\epsilon^{(t)}_{m,k}.
\]

Combining these ingredients and choosing \(\delta\approx 1/T\), Theorem 2 gives
\[
\mathcal{R}_{\rm regret}(\zeta,T)
=
\sum_{t=1}^T r_t
=
O\Bigl(D_{\max}K\sqrt{T\ln T}+M\ln^2T\Bigr)
=
\widetilde O(\sqrt T+\ln^2T).
\]
The paper also proves a lower bound \(\Omega(\sqrt T)\) in expectation, by reduction to a two-arm Bernoulli test with gap \(\Delta=c/\sqrt T\) and standard information-theoretic arguments using Le Cam and Pinsker. The upper bound is therefore tight up to logarithmic factors.

The experimental evaluation uses two real-world datasets: NYYellowTaxi 2016, consisting of all yellow-taxi pickups in Manhattan from 3/22–3/31/2016, and Chicago Taxi Trips 2016, a random subset from 1/9–9/29/2016. Latitude and longitude are discretized into a \(0.01^\circ\) grid, each cell becomes an arm, passenger pickups of size \(d\) are counted and normalized into \(p_{m,d}\), \(K\) vehicle locations are pre-sampled and fixed, and Manhattan distances to pickups are normalized to \([0,1]\). Two reward models are used: Bernoulli rewards \(R_{m,k}\sim\mathrm{Bernoulli}(\mu_{m,k})\), and a general discrete model with support \(\{0.1,0.4,0.7,1.0\}\) and probabilities from the empirical distance distribution.

The baselines are Non-Probing (OnLinActPrf), RR (Random-Probing + Random assignment), and GR (Greedy-Probing + Random assignment). Cumulative regret is the reported metric. On Chicago data, in setting \((a)\) with \(M=3\), \(K=2\), and Bernoulli rewards, regret at \(t=1000,2000,3000\) is \(67.7,112.1,151.4\) for OLPA, \(117.8,220.6,309.4\) for GR, \(87.8,122.2,170.6\) for NonP, and \(120.2,223.6,327.3\) for RR. Figures 2(a–d) on NYYellowTaxi confirm that OLPA consistently attains the lowest cumulative regret, with gains more pronounced in larger \(M,K\) or general reward settings. The interpretation given is that probing yields a substantial constant-factor reduction in regret by focusing plays on better arms more quickly, and that the two-phase OLPA policy effectively balances information acquisition and exploitation.

## 7. Conceptual comparison of the two OLPA usages

The two usages of OLPA are united by optimism under uncertainty and by explicit budget constraints, but they optimize different objects. In open-loop planning, the decision variable is a sequence of actions of horizon \(L\), and the resource budget is a simulator-call budget \(n\). In PUCS, the decision variables are a probing set \(S_t\) and an assignment \(C_t\), and the resource constraints arise from probe budget \(I\), probing overhead \(\alpha(\cdot)\), and random arm capacities \(D_{t,m}\) [1904.04700; 2507.20112].

Their regret notions are correspondingly different. The planning line uses simple regret,
\[
r_n = V(s_0)-V(s_0,a_1),
\]
after spending a fixed planning budget to recommend one root action. The PUCS line uses \(\zeta\)-approximation regret accumulated over \(T\) rounds,
\[
\mathcal{R}_{\rm regret}(\zeta,T)=\sum_{t=1}^T [\zeta R(S_t^*)-R(S_t)].
\]
The first is a one-shot recommendation problem under discounted returns; the second is an online-learning problem with repeated interaction, side information, and assignment structure.

A further distinction lies in the role of optimism. OLOP and KL-OLOP construct optimistic values over prefixes in an action tree, with KL-OLOP specifically enforcing \(U_a^\mu(m)\in[0,1]\) through Bernoulli KL bounds. PUCS-OLPA uses optimistic mean-reward estimates \(\hat\mu+\epsilon\) for unprobed arms and combines them with empirical resource distributions and greedy probing. This suggests a family resemblance at the level of algorithmic philosophy, but not at the level of state, action, or feedback semantics.

For readers encountering OLPA in citations or implementation repositories, the central disambiguator is therefore the surrounding problem statement: discounted MDP planning with a generative model points to Open-Loop Optimistic Planning, whereas probing, side information, assignment, and \(\zeta\)-approximation regret point to the PUCS algorithm named OLPA.

Source: https://www.emergentmind.com/topics/olpa