Functor Obandit.MakeHorizonExp3

module MakeHorizonExp3: 
functor (P : HorizonExp3Param) -> Bandit with type bandit = banditPolicy

The Exp3 Bandit for adversarial regret minimization with a horizon-based learning rate as per [1].

Parameters:
P : HorizonExp3Param

type bandit 

The internal data structure of the bandit algorithm.

val initialBandit : bandit

The initial state of the bandit algorithm.

val step : bandit -> float -> int * bandit

step r advances the bandit game one step, where r is the reward for the last action. The result of this call is the next action, encoded as an integer in $ \{ 0, \cdots , K-1 \} $, and the new state of the bandit. The reward range depends on the bandit algorithm in use and the first reward provided to the algorithm is discarded.