Prove RandomizedMeanPayoff (openai/math family 104: Quasipolynomial algorithms for mean-payoff, stochastic…
Prove RandomizedMeanPayoff (openai/math family 104: Quasipolynomial algorithms for mean-payoff, stochastic…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 104 of the release, Quasipolynomial algorithms for mean-payoff, stochastic and…
The task
Context: this statement belongs to family 104 of the release, *Quasipolynomial algorithms for mean-payoff, stochastic and parity games* (Theoretical computer science). The family as a whole: Gives deterministic algorithms using $2^{O((\log(L+2))^2)}$ bit operations, for complete binary input length $L$, for ordinary…
Part of raising-heart/openai-math.