blob: 61e1691821de35333caee75ce71a7d1c81adc2cf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
We obtain a valid game run by terminating a game early of course,
We may consider the adversaries ${\cal A}_n$ obtained by terminating
$\cal A$ after the first $n$ refresh attempts $R_C$ with false planchets.
Also ${\cal A}_n$ inherits optimality from $\cal A$.
We shall now prove $E({p \over b + p} | X \neq \emptyset) = {1\over\kappa}$ for ${\cal A}_n$.
We shall prove $E({p \over b + p} | X \neq \emptyset) = {1\over\kappa}$ (\dag)
with the expectation taken over games with false planchets
in which the adversary plays optimally
in that no strictly simpler game run increases $p \over b + p$.
induction on the length of the game now still produces disjoint groupings
$\mathbb{G}$ of optimal games in which
$\sum_{\mathbb{G}} {p \over b + p} = {1\over\kappa} |\mathbb{G}|$.
We conclude that $E({p \over b + p}) = {1\over\kappa}$, as desired.
|