エクサウィザーズ 2019 E - Black or White
解法
答えを定式化する
番目のチョコレートを食べ終わった直後に、
- 黒が残っている確率:
- 黒白どちらも残っている確率:
とします。このとき黒だけが残っている確率は です。
番目に食べるチョコレートが黒であるパターンは、
- 番目のチョコレートまで食べ終わった直後、黒だけが残っている。
- 番目のチョコレートまで食べ終わった直後、黒白どちらも残っていて、 の選択で黒を選ぶ。
のどちらかなので、その確率は で求めることができます。
計算に必要な確率を求める
計算に必要な確率 と を求めましょう。
片方のチョコが切れた後の考え方を簡単にするため、問題を少し言い換えます。
- すぬけ君はチョコを1個食べようとするごとに、必ずちょうど1回 黒か白を等確率で選ぶ。選んだ方のチョコがある場合はそちらを食べ、ない場合は選択に関わらず残っている色のチョコを食べる。
この言い換えによって、 番目のチョコを食べ終わった直後までに色を選んだ回数が必ず 回となります。
黒が残っている確率は、この 回の選択で黒を選んだ回数が 回以下である確率になります。その確率は
となります。
同様に白黒どちらも残っている確率は、黒を選んだ回数が 回以下かつ白を選んだ回数が 回以下である確率になります。黒白の合計が 回なので、計算すると黒を選んだ回数は 回以上 回以下です。その確率は
となります。(左右それぞれ、 の範囲外のものは無視します)
これを全ての について計算したいのですが、毎回全部計算していては間に合いません。これを計算するためにパスカルの三角形を使います。
頭に付いている の累乗は最後に掛けることにして、二項係数の部分だけ考えます。 の二項係数の部分を とします。
求めたい値は図のように、パスカルの三角形の各段における連続した要素和になります。1つ前の段に注目すると、ほとんどの値については2方向に値が足されるので次の段では2倍されます。唯一 だけについては、右側の遷移先が範囲外になるので2倍されません。
このことから以下の漸化式が成り立ちます。
に対しても同様に、右側に加えて左側についても範囲から外れるところの値を処理することによって、二項係数の和を計算する漸化式を立てることができます。これらの確率が計算できれば、最初に示した式で答えを求めることができます。
ACコード
Submission #4774057 - ExaWizards 2019
有理数を素数modで出力する形式はAtCoderではなかなか見ないですが、Codeforcesではよく見ます。四則演算については割り算として逆元を用いることにして普通に計算すれば大丈夫です。