---
title: Bounded Full-Information Algorithms
url: https://www.emergentmind.com/topics/bounded-full-information-algorithm
type: topic
---

# Bounded Full-Information Algorithms

A bounded full-information algorithm denotes, across several technical literatures, an algorithmic construction that either operates in a full-information regime under explicit bounds or reproduces the effect of an unbounded full-information process using bounded resources. In online non-additive path learning, the full-information algorithm is Context-dependent Component Hedge (CDCH), whose analysis relies on transition gains bounded by \(B\) after reduction to an additive-gain automaton [1804.06518]. In asynchronous distributed computing, a bounded full-information algorithm is an iterated shared-memory protocol that simulates the unbounded full-information protocol when each shared-memory entry carries only \(b\) bits [2509.13157]. Related bounded variants of full-information learning also arise in bounded-recall online learning [2205.14519], general memory-bounded learning under a known underlying distribution [1712.03524], and resource-constrained dynamic pricing with known demand, where the full-information algorithm is the Boundary Attracted Re-solve Method [2501.14155].

## 1. Terminological scope and recurring structure

The phrase appears in distinct but structurally related settings. In each case, the idealized object is a full-information process: observation of all transition outputs, revelation of the entire reward vector, writing of the entire current view, or knowledge of the demand model. The bound is then imposed on gain magnitude, shared-memory capacity, recall length, working memory, or feasible resource consumption.

| Domain | Full-information object | Bounding mechanism |
|---|---|---|
| Online path learning | target \(y_t\) and output \(\mathrm{out}_t(e)\) of every transition \(e\in E\) | bounded transition gains \(B\) |
| Iterated shared memory | unbounded full-information protocol \(FI_P\) | \(b\)-bit shared-memory entries |
| Online learning with bounded recall | reward vector \(r_t \in [0,1]^d\) revealed each round | dependence on last \(M\) rewards only |
| Bounded-memory learning | known underlying distribution over \(X\) | bounded memory and candidate-set representation |
| Dynamic pricing with knapsack | known linear demand \(f(\mathbf p)=\boldsymbol\alpha+B\mathbf p\) | resource capacities \(\mathbf C\) |

Taken together, these works suggest a recurring design pattern. One either compresses full information into a lower-dimensional or bounded representation, or one simulates the combinatorial effect of full information indirectly. The technical tools differ sharply—finite-state transducers, protocol complexes, restart-based averaging, separability arguments, and re-solving with boundary attraction—but the underlying question is similar: how much of the power of full information survives after the relevant bound is imposed?

A persistent source of confusion is terminological. In some papers, “bounded” refers to a bounded gain parameter or bounded regret analysis; in others, it refers to bounded memory, bounded recall, or bounded shared-memory entries. The phrase therefore does not designate a single formal model. It designates a family of constructions in which full-information behavior is retained, approximated, or simulated under an explicit resource constraint.

## 2. CDCH and bounded gains in online non-additive path learning

In “Online Non-Additive Path Learning under Full and Partial Information” [1804.06518], the learning problem is defined over a fixed acyclic expert automaton \( \mathcal{A} \) whose accepting paths correspond to experts. At round \(t\), the learner selects an accepting path \( \pi_t \), the path induces an output sequence \( \mathrm{out}_t(\pi_t)\in\Sigma^* \), the adversary provides a target sequence \(y_t\in\Sigma^*\), and gain is measured through count-based pattern overlap:
\[
\Theta(y)\in \mathbb{R}^p,\qquad [\Theta(y)]_k = \#\{\text{occurrences of }\theta_k\text{ in }y\},
\]
\[
(\mathrm{out}_t(\pi), y_t) := \Theta(\mathrm{out}_t(\pi)) \cdot \Theta(y_t) \ge 0.
\]
This objective is non-additive in the original automaton, so standard additive path-learning updates do not apply directly.

The full-information regime is defined by observing both the target \(y_t\) and the output \( \mathrm{out}_t(e) \) of every transition \(e\in E\). The algorithm proposed for this setting is Context-dependent Component Hedge (CDCH). Its central construction is an intermediate context-dependent automaton
\[
\mathcal{A}' = \Pi(\mathcal{A} \circ T_\Phi),
\]
obtained by compiling context-dependent rewrite rules into a deterministic finite-state transducer \(T_\Phi\), composing it with the expert automaton, and projecting away the input labels. For every accepting path \(\pi\) in \(\mathcal A\), there exists a unique accepting path \(\pi'\) in \(\mathcal A'\). The transformed automaton preserves path identity, has a fixed topology over time, has size independent of the output alphabet size \(|\Sigma|\), and converts the original count-based gain into an additive path gain:
\[
(\mathrm{out}_t(\pi), y_t) = \sum_{e'\in \pi'} g_{t,e'}.
\]

Once this reduction is available, CDCH maintains a weight vector \(w_t\) over transitions of \( \mathcal{A}' \) in the unit-flow polytope \(P\). The multiplicative update is
\[
\widehat{w}(e') \leftarrow w_t(e') \exp(-\eta \ell_{t,e'}), \qquad \ell_{t,e'} := B - g_{t,e'},
\]
followed by relative entropy projection back to \(P\):
\[
w_{t+1} = \arg\min_{w\in P} \sum_{e'\in E'} w(e')\ln\frac{w(e')}{\widehat{w}(e')} + \widehat{w}(e') - w(e').
\]
Prediction is performed by decomposing \(w_t\) into a convex combination of path distributions over accepting paths in \( \mathcal{A}' \), then sampling one path.

The regret guarantee is given in terms of the length \(K\) of the longest path in \( \mathcal{A}' \), the number \(M\) of transitions in \( \mathcal{A}' \), and the upper bound \(B\) on transition gains:
\[
\forall \pi^* \in \Pi,\quad \sum_{t=1}^T (\mathrm{out}_t(\pi^*), y_t) - (\mathrm{out}_t(\pi_t), y_t) \le \sqrt{2 T B^2 K^2 \log(KM)} + B K \log(KM).
\]
The paper notes that this is more favorable than earlier full-information methods based on \(-\log\) losses and is tighter than the prior RRWM-based approach by a factor of \(K\). A common misconception is that full information alone makes the problem additive; the construction of \( \mathcal{A}' \) shows that additivity is achieved only after an explicit automata-theoretic transformation.

## 3. Simulating the unbounded full-information protocol with bounded entries

“Space-Time Trade-off in Bounded Iterated Memory” [2509.13157] studies a different use of the phrase. Here the reference object is the unbounded full-information protocol in asynchronous shared memory, where in every round each process shares its complete knowledge of the system. The question is how many extra rounds are required to implement that protocol when each shared-memory entry has only \(b\) bits.

The model is a family of iterated shared-memory algorithms \(\mathit{ITER}\), organized into layers \(M[1],\dots,M[R]\), with one shared register per process in each layer. In round \(r\), process \(p_i\) writes an encoding of its current local state to \(M[r,i]\), reads according to a write-read pattern \(P\), and updates its state:
\[
M[r,i] \gets write_P(encode(s,r));\qquad v \gets read_P(M[r]);\qquad s \gets next\_state(s,v,r).
\]
If the encoding and state-update functions are the identity, the protocol is the full-information protocol \(FI_P\). Under bounded entries, the number of non-\(\bot\) values available per entry is bounded by
\[
|\mathrm{Im}(\omega_{A(k)})| \le 2^b - 1.
\]

The paper frames simulation topologically, via the protocol complex \(\Xi_A(\mathcal I)\). The goal is not bit-for-bit reproduction of the unbounded protocol, but generation of a protocol complex isomorphic to that of \(FI_P\). This distinction is crucial: the bounded protocol may encode states differently, provided the resulting simplicial complex matches the combinatorial structure of the unbounded full-information evolution.

The central necessary condition is stated through vertex distinguishability. If
\[
\Xi_{A(r)}(\mathcal I)\cong \Xi_{FI_P}(\mathcal I),
\]
then
\[
\forall \sigma\in \mathrm{Faces}(\mathcal I)\ \exists k\le r:\ \sigma \text{ is distinguishable under }\omega_k.
\]
In other words, every face of the input complex must become distinguishable at some round. This is the combinatorial mechanism behind the space-time trade-off.

The main asymptotic lower bound states that for \(n>2\), simulating \(r\) iterations of the unbounded full-information protocol requires
\[
\Omega\!\big((n!)^{r-1}\cdot 2^{\,n-b}\big)
\]
rounds. For iterated collect, the bound is tight:
\[
|\omega_A| \in \Theta\big((n!)^{r-1}\cdot 2^{n-b}\big).
\]
For snapshot-based models, the paper gives
\[
|\omega_A| \in \Omega\big((n!)^{r-1}\cdot 2^{n-b}\big)
\]
and a construction with
\[
|\omega_A| \in O\big((n!)^{r-1}\cdot 2^{n-b}\cdot n\big).
\]
The constructive component is the Greedy Star algorithm, which builds a sequence of encoding functions by selecting stars of vertices and assigning unique encodings inside each selected star so that those stars become distinguishable. The paper concludes that the algorithm is asymptotically optimal for iterated collect and within a linear factor \(n\) of optimal for snapshot-based models. A notable special case is that for two processes, the round complexity is \(1\), achievable with 2-bit registers.

## 4. Bounded recall as a bounded full-information learner

In “Online Learning with Bounded Recall” [2205.14519], the underlying environment is full-information online learning: on each round \(t\), the learner chooses a distribution \(x_t \in \Delta([d])\), the adversary reveals a reward vector \(r_t \in [0,1]^d\), and performance is measured by per-round regret
\[
Reg(\mathcal A;r) :=\frac{1}{T}\left(\max_{i\in[d]}\sum_{t=1}^T r_{t,i}-\sum_{t=1}^T \langle x_t,r_t\rangle\right).
\]
The bound is on recall. An algorithm is \(M\)-bounded-recall if
\[
x_t = f_t(r_{t-M},\dots,r_{t-1}),
\]
with \(r_i=0\) for \(i\le 0\). If the rule does not depend on \(t\), the algorithm is stationary.

The paper establishes a sharp lower bound: for every \(M>0\), every \(M\)-bounded-recall algorithm, and every \(T>M\), there exists a distribution over length-\(T\) instances such that
\[
\mathbb E[Reg(\mathcal A;r)] \ge \Omega\!\left(\sqrt{\frac{\log d}{M}}\right).
\]
It also gives a simple nonstationary baseline, PeriodicRestart, which partitions time into blocks of length \(M\) and restarts a standard low-regret algorithm in each block. If the base algorithm \(A\) satisfies \(Reg(A;r)\le R(T,d)\), then
\[
Reg(\text{PeriodicRestart};r)\le R(M,d).
\]

The main negative result concerns the natural idea of running Hedge, FTRL, or a related mean-based learner on the last \(M\) rounds only. For any \(M\)-mean-based algorithm and any \(T\ge 3M\), there exists a length-\(2T\) instance with two actions such that
\[
Reg(\mathcal A;r)\ge \frac{1}{18}-o(1).
\]
Thus the sliding-window mean-based approach can suffer constant regret per round. This directly contradicts the common intuition that truncating history in a standard full-information algorithm preserves no-regret behavior.

The positive result is AverageRestart. For each \(m\in[M]\), one runs the base algorithm \(A\) on the suffix \(r_{t-m},\dots,r_{t-1}\), obtaining \(x_t^{(m)}\), and plays
\[
x_t = \frac{1}{M}\sum_{m=1}^M x_t^{(m)}.
\]
The rule is stationary because it depends only on the last \(M\) rewards. If the base algorithm satisfies \(Reg(A;r)\le R(T,d)\), then
\[
Reg(\text{AverageRestart};r)\le R(M,d).
\]
With Hedge as the base learner, this yields
\[
Reg(\text{AverageRestart};r) \le O\!\left(\sqrt{\frac{\log d}{M}\right),
\]
matching the lower bound up to constants. The paper further shows that ordering matters: any bounded-recall algorithm that plays a symmetric function of the past \(M\) losses must incur constant regret per round on some instance.

## 5. General memory-bounded learning under known distribution

“A General Memory-Bounded Learning Algorithm” [1712.03524] studies a realizable online labeled-example model in which the learner receives examples \((x,f(x))\), the target \(f\) belongs to a hypothesis class \(H=\{h:X\to\{0,1\}\}\), and the underlying distribution over \(X\) is known. The paper phrases the main text in terms of the uniform distribution over \(X\). The learning objective is not to store examples explicitly, but to store only a few important bits that give sufficient information.

The algorithmic state is a candidate set \(T\subseteq H\), initially \(T:=H\). The central combinatorial condition is separability. Writing the class as a bipartite graph with hypotheses on one side and examples on the other, and using the density
\[
d(S,T)=\frac{e(S,T)}{|S||T|},
\]
the graph is \((\alpha,\epsilon)\)-separable if any \(T\subseteq A\) that is not \((\alpha,\epsilon)\)-tight admits \(S\subseteq B\) and disjoint \(T_0,T_1\subseteq T\) such that
\[
|S|\ge \alpha|B|,\qquad |T_0|\ge \alpha|T|,\qquad |T_1|\ge \alpha|T|,
\]
and
\[
\left|d(S,T_0)-d(S,T_1)\right|\ge \epsilon.
\]
The paper explicitly describes separability as the anti-mixing notion and notes that the negation of mixing and anti-mixing are similar but not identical.

Two subroutines drive the algorithm. `Is-close(h,\epsilon,k)` tests whether a hypothesis \(h\) is close to the target \(f\) by drawing labeled examples and checking disagreement frequency. `Estimate(S,\tau,k)` estimates \(d(S,f)\) by sampling labeled examples and returning the ratio of positive labels among examples with \(x\in S\). The guarantees are concentration bounds for closeness testing and density estimation.

The main loop has two cases. If \(T\) is \((\alpha,\epsilon)\)-tight, an oracle returns a witness hypothesis \(h\) such that \( |T\cap B_h(\epsilon)|\ge |T| \), the learner runs `Is-close`, and either halts with \(h\) or deletes the entire \(\epsilon\)-ball:
\[
T := T\setminus B_h(\epsilon).
\]
If \(T\) is not tight, the oracle returns \(S,T_0,T_1,d_0,d_1\) with
\[
h\in T_0 \Rightarrow e(h,S)\le d_0,\qquad h\in T_1 \Rightarrow e(h,S)\ge d_1,
\]
and \(d_1-d_0 \ge \Omega(\alpha)|S|\). The learner estimates \(d(S,f)\) and deletes either \(T_0\) or \(T_1\) according to which side is inconsistent with the estimate. The paper’s theorem states that for any hypothesis class \(H\) that is \((\alpha,\epsilon)\)-separable, Algorithm 1 is a bounded-memory learner for \(H\). It is also shown to be a statistical query algorithm and therefore robust to classification noise.

## 6. Boundary attraction in full-information dynamic pricing

“Learning to Price with Resource Constraints: From Full Information to Machine-Learned Prices” [2501.14155] treats the full-information setting of dynamic pricing with knapsack. The seller has \(n\) products, \(m\) resources, horizon \(T\), initial capacities \(\mathbf C\), consumption matrix \(A\), remaining inventory \(\mathbf c^t\), and chooses prices \(\mathbf p^t\in [L,U]^n\). Demand follows the linear model
\[
f(\mathbf p)=\boldsymbol\alpha + B\mathbf p,
\]
with realized demand
\[
\mathbf d^t=f(\mathbf p^t)+\boldsymbol\epsilon^t,
\]
revenue
\[
r^t=(\mathbf p^t)^\top \mathbf d^t,
\]
and inventory dynamics
\[
\mathbf c^{t+1}=\mathbf c^t-A\mathbf d^t.
\]
The full-information analysis assumes the linear demand function is known, noise is independent across time and sub-Gaussian with parameter \(\sigma\), and \(B+B^\top \succ 0\), which implies \(B\) is invertible.

The fluid benchmark solves
\[
\max_{\mathbf p}\quad r=\mathbf p^\top \mathbf d
\quad \text{s.t.}\quad
\mathbf d=\boldsymbol\alpha+B\mathbf p,\ 
A\mathbf d\le \frac{\mathbf C}{T},
\]
with optimal value \(r^\star\). Regret is
\[
\operatorname{Regret}_T(\pi)=Tr^\star-\mathbb E\!\left[\sum_{t=1}^T r^t\right].
\]

The full-information algorithm is the Boundary Attracted Re-solve Method. At time \(t\), it resolves the fluid problem using remaining inventory \(\mathbf c^t\) and remaining horizon \(T-t+1\), producing \((\mathbf p^{\pi,t},\mathbf d^{\pi,t})\). It then modifies the target demand by rounding small components down to zero:
\[
\tilde d_i^t= \begin{cases}
d_i^{\pi,t}, & d_i^{\pi,t}\ge \zeta (T-t+1)^{-1/2},\\
0, & d_i^{\pi,t}< \zeta (T-t+1)^{-1/2}.
\end{cases}
\]
The posted price \(\mathbf p^t\) is chosen so that \(f(\mathbf p^t)=\tilde{\mathbf d}^t\).

This boundary attraction replaces standard re-solving by “resolve + boundary attraction.” The purpose is to handle near-zero demand coordinates without invoking the non-degeneracy condition often required in earlier logarithmic-regret analyses. The proof uses a hybrid policy decomposition,
\[
\operatorname{Regret}_T(\pi) = \mathbb E\!\left[\sum_{t=1}^T \left(\mathcal T(\pi^t,F^T)-\mathcal T(\pi^{t+1},F^T)\right)\right],
\]
and analyzes three cases: all demand components large, all components small, and the mixed case. The per-step regret is controlled by a term proportional to \(1/(T-t+1)\), so summing over \(t\) yields logarithmic growth. The theorem states that if \(\zeta\ge 4\sigma^2\), then
\[
\operatorname{Regret}_T(\pi)=O\!\left(\zeta^2 n^2 \|B^{-1}\|_2 \log T\right).
\]
A recurrent misconception is that logarithmic regret here depends on a stable optimal basis. The stated result avoids that requirement by using the boundary-attraction threshold together with the quadratic structure induced by \(B+B^\top \succ 0\).

Source: https://www.emergentmind.com/topics/bounded-full-information-algorithm