Codeforces Round #604 (Div. 1) C. Beautiful Mirrors with queries
お題箱より。
私のコンテスト中の思考をベースに書きます。ちょっとややこしいかも。
問題概要
個の門があり、これを門 から門 まで順番に突破していく。スタート地点は門 の直前であり、門 を突破すればクリアである。
門 の突破に挑戦すると、確率 で突破できる。もし突破できなかった場合、「チェックポイント」として指定された門のうち、番号が 以下で最も大きいものの直前に戻される。
最初の状態では門 のみがチェックポイントである。以下のクエリを 個処理せよ。
- 以上の門の番号 が与えられるので、門 がチェックポイントかどうかを反転させる。その後、クリアまでの合計挑戦回数の期待値(有理数)を で答えよ。
制約
解法
いちいち で割るのが面倒なので門の突破確率を単に を表記することにします。具体的には入力に予め を掛けておきます。
あるチェックポイントの直前から、次のチェックポイントの直前までを1つのセットと考えることができます。仮想的にクリア状態もセットの終端と思うことにすると、スタートからクリアまでは独立なセットに分割できます。これらのセットそれぞれを突破するための挑戦回数の期待値をすべて足したものがクエリの答えです。
1つのセットを突破するための挑戦回数の期待値を求めましょう。簡単のため、スタート地点である門 の直前からスタートし、次のチェックポイントが門 だとします。
上図において門 の直前からスタートして、「門 の直前に到達する」か「門 の直前に戻ってくる」かどちらかに至るまでの経路は以下の4種類です。
経路 | 確率 | 使った挑戦回数 |
---|---|---|
門 で失敗する。 | 1 | |
門 で失敗する。 | 2 | |
門 で失敗する。 | 3 | |
門 まで突破する。 | 3 |
このことから、門1の直前から門4の直前に到達するまでの挑戦回数の期待値を とすると、以下が成り立ちます。
を含む項を全て左辺に移項します。 であることから以下のように式変形できます。
左辺は良いとして、右辺の計算は各 が面倒な値なので難しそうです。しかしこれを以下のように理解してみましょう。
この図のように考えると、実は先ほどの右辺は と書けて、結局 は
と求められることになります。
つまり を求めるにあたっては、 の累積積(?)と、その累積積についてさらに累積和を取ったものを前計算しておけば高速に計算できそうです。これらをそれぞれ以下のように表記します。
- 、ただし
- 、ただし
一般の場合を考えると、1セットにおけるスタート地点は門 の前とは限りません。例えば門 がチェックポイントで、間に他のチェックポイントはなく、門 の直前から門 の直前までのセットを突破するための挑戦回数の期待値を とすると
という値になります。このように途中から始まる場合でも、この値は門 から計算した を用いて求めることが可能です。具体的には以下のようになります。
これで、どの門と門の間が1セットになっても、そのセットを突破するための挑戦回数の期待値は で求められるようになりました。
あとはクエリの処理です。ある1つの門が新しくチェックポイントになった場合、既存の1セットが2つのセットに分割されるので、消えるセット区間と増えるセット区間それぞれについて期待値を求めて答えから足し引きすればOKです。1つの門がチェックポイントでなくなる場合はその逆です。
このセット区間が具体的にどこかを知るには、操作される門の左右それぞれで一番近いチェックポイントがどこか分かれば良くて、これは遅延セグ木やBIT二分探索などを用いるとクエリあたり で求めることができます。
これで問題を解く全ての材料が揃いました。私の解法の全体計算量は(逆元計算を定数時間とすれば) になりました。