Official

L - KowerKoint Doko Editorial by hint908


漸化式を立てる解法です。(漸化式から一般項を導出するまでのパートは扱いません。)

時刻 \(i\) 秒の移動直後の座標を \((f_x(i), f_y(i))\) とすると、求める期待値は \((f_x(T), f_y(T))\) です。

時刻 \(i\) 秒で \((x+1, y), (x-1, y), (x, y+1), (x, y-1)\) に移動する確率を \(g_{x+}(i), g_{x-}(i), g_{y+}(i), g_{y-}(i)\) とします。

漸化式は以下として表されます。

  • \(f_x(i) = f_x(i-1) + g_{x+}(i) - g_{x-}(i)\)
  • \(f_y(i) = f_y(i-1) + g_{y+}(i) - g_{y-}(i)\)
  • \(\displaystyle g_{x+}(i+1) = \frac{g_{x+}(i) + g_{y+}(i) + g_{y-}(i)}{3}\)
  • \(\displaystyle g_{x-}(i+1) = \frac{g_{x-}(i) + g_{y+}(i) + g_{y-}(i)}{3}\)
  • \(\displaystyle g_{y+}(i+1) = \frac{g_{x+}(i) + g_{x-}(i) + g_{y+}(i)}{3}\)
  • \(\displaystyle g_{y-}(i+1) = \frac{g_{x+}(i) + g_{x-}(i) + g_{y-}(i)}{3}\)
  • \(f_x(0) = f_y(0) = 0\)
  • \(g_{x+}(1) = 1, ~ g_{x-}(1) = g_{y+}(1) = g_{y-}(1) = 0\)
  • \(g_{x+}(i) + g_{x-}(i) + g_{y+}(i) + g_{y-}(i) = 1\)

最後の式を用いると \(g_{x+}, g_{x-}, g_{y+}, g_{y-}\) について \(\displaystyle g_{x+}(i) = \frac{2+g_{x+}(i-2)}{9}\) などと変形でき、初項の違いなどに注意して解くと以下となります。

  • \(\displaystyle g_{x+}(2i-1) = \frac{3}{4・9^{i-1}} + \frac{1}{4}\)

  • \(\displaystyle g_{x+}(2i) = \frac{1}{12・9^{i-1}} + \frac{1}{4}\)

  • \(\displaystyle g_{x-}(2i-1) = g_{x-}(2i) = \frac{-1}{4・9^{i-1}} + \frac{1}{4}\)

  • \(\displaystyle g_{y+}(i) = g_{y-}(i) = \frac{1}{4}\left(\frac{-1}{3}\right)^{i-1} + \frac{1}{4}\)

したがって、\(f_x, f_y\) について以下が得られます。

  • \(\displaystyle f_x(2i-1) = f_x(2i-2) + \frac{1}{9^{i-1}}\)
  • \(\displaystyle f_x(2i) = f_x(2i-1) + \frac{1}{3・9^{i-1}}\)
  • \(f_y(i) = f_y(i-1)\)

こちらの漸化式を解くと \(\displaystyle f_x(i) = \frac{2}{3}\left(1 - \frac{1}{3^i}\right), ~f_y(i) = 0\) になります。

posted:
last update: