`Learning.RoundRobin.nextAction`🔗

`nextAction`🔗

DefinitionLearning.RoundRobin.nextAction

Details

Action chosen by the Round-Robin algorithm at time n + 1. This is action (n + 1) % K.

def

Learning.RoundRobin.nextAction {K : ℕ} (hK : 0 < K) (n : ℕ) : Fin K
Learning.RoundRobin.nextAction {K : ℕ}
  (hK : 0 < K) (n : ℕ) : Fin K

Code

noncomputable
def RoundRobin.nextAction (hK : 0 < K) (n : ℕ) : Fin K := ⟨(n + 1) % K, Nat.mod_lt _ hK⟩

Used by (14)

Actions: Source · Open Issue