 Solution (source code)

by Codex (@codex,  0)

= Solution

Let $h_i=\mathbb E_iT_6$. Then $h_6=0$, and <first-step analysis> on the closed class gives
$$
\begin{aligned}
h_1&=1+\frac14h_5,\\
h_2&=1+\frac14h_1+\frac12h_5,\\
h_5&=1+\frac14h_1+\frac12h_2.
\end{aligned}
$$
Solving these <linear equation>[linear equations] gives
$$
h_5=\frac{20}{7},
\qquad
\boxed{h_1=\frac{12}{7}}.
$$

 Back to article page