方針
各回を の勝ち、 の勝ち、引き分けの三種類として数える。未決着なら通常の三項分布を使え、どちらかの移動回数が になる場合は第 回が最後の勝ちである条件を付ける。
解答
第 回までの の移動回数を とする。各回の三結果は確率 であり、 または になった時点でゲームは終わる。
(1) 二人が同じベンチにいる条件は である。 なら、移動が起きた 回を選び、すべてが一方だけの勝ちとなる二通りを除くので通りである。 では第 回に初めて端へ着く必要があり、それぞれ 通りである。したがって(2) 未決着の 、 では なら第 回が の最後の勝ちなので同様に ならこれら以外は である。
(3) で未決着となる条件は である。よって負の階乗を含む項を0として整理すると
別解
解法2(状態の漸化式と母多項式)
方針
状態 への到達確率を一歩前の三状態から更新する。未決着の範囲では更新式を反復した係数が の係数になる。吸収境界だけ最後の一歩を分離して各小問を求める。
解答
(2) 未決着状態 の確率を とするとしたがって未決着範囲 では、 はの の係数である。よって境界 へ入るには、第 回直前に にいて最後に が勝つ必要があるから同様に であり、解法1の(2)の式を得る。
(1) 同じベンチの内部状態は 、 なので、母多項式の次数 の係数和から両端を除く。両端は吸収境界へ最後の一歩で入る場合を加え直す。したがってである。ただし では0である。
(3) で未決着である確率は母多項式の の次数がそれぞれ2以下の項の係数和だからこれを整理してを得る。
総評
難易度7、計算量7。目安時間は28分である。二人が同じベンチにいる条件は ではなく である。移動回数が の場合は、それ以前にゲームが終わらないよう第 回を最後の勝ちに固定する。未決着状態と吸収境界を同じ三項分布で無条件に数えないことが重要である。