Codeforces Round #564 C. Nauuo and Pictures
問題概要
枚の画像がランダムに表示されるWebサイトがある。各画像には重み が設定されていて、画像 の表示確率は である。
画像を 回表示させる。このとき画像が1回表示されるごとにその画像の重みが変動する。各画像には0または1の値 が定められていて、表示された画像 について であれば重みが-1、 であれば重みが+1される。
画像を 回表示させた後の各画像の重みの期待値を、有理数 で求めよ。
C1
制約
- は0または1
解法
制約が小さいので、 枚の画像それぞれについて別々に計算することを考えてみましょう。答えを求めたい画像を とします。
そうすると、 以外の画像について具体的に何が選ばれたかはあまり興味がありません。
- 画像
- 画像 以外の である画像たち(グループ0とします)
- 画像 以外の である画像たち(グループ1とします)
の3つだけを区別すれば十分です。ここで、グループ0, 1に属する画像の初期重み合計をあらかじめ計算し、それぞれ としておきます。
以下のような状態を持つDPを考えます。
- 画像をこれまで合計 回表示させて、画像 が 回、グループ0の画像たちが合計 回表示されている確率
グループ1の画像たちが選ばれた回数が入っていませんが、合計回数が分かっているので で求められます。これらの情報があれば、この時点での
- の重み ( ならマイナス、 ならプラス)
- グループ0の画像たちの重み合計
- グループ1の画像たちの重み合計
が求められるので、そこから遷移確率を計算することができます。最終的に を使えば期待値を計算できます。
ACコード
Submission #55259545 - Codeforces
重みが負になるケースを無理やり計算しようとするとおかしなことが起こり得るので注意。負になるケースに正の確率で遷移することはないので、 if(dp[i][j][k] == 0) continue;
のような1行を入れておけば大丈夫です。
C2
制約
- は0または1
解法
C2では制約が大きいので全部別々に計算することはできません。
である画像たちをグループ0、 である画像たちをグループ1とします。それぞれの初期重みの和を とします。
まずは1つ1つの画像が何回選ばれるかを考えずに、グループ0, 1それぞれの合計表示回数が確率いくらで何回になるかを考えます。すなわち以下のようなDPを考えます。
- 画像をこれまで合計 回表示させて、グループ0の画像たちが合計 回表示されている確率
これはC1と同じような遷移で、状態数 で計算できます。
ここから1つ1つの画像について考えていきます。ある1つの画像 について考え、例えばそれがグループ0に属しているとします。グループ0の画像が 回選ばれた時の画像 の重みの期待値を と表記すると、画像 についての答えは となります。
初期値は です。 から を計算できないか考えてみましょう。
グループ0の画像を 回選んでいる時点で、グループ0の重み合計は です。そのうち画像 の重みがいくらかによって遷移確率が決まり、その値は確率によって変動しますが…その期待値はまさしく として求められています。そのため 回目で画像 が選ばれる確率は とみなすことができて、その確率で の重みが1減るため
と計算することができます。
さらにこの式から、 の値は初期値 に比例していることが分かります。つまり全ての についてこの の値を全部計算しなくても、 とみなして を求め、 まで計算してしまってから、最後に各 ごとに を掛けることで答えを求めることができます。
ここまではグループ0についての計算でしたが、グループ1の計算についても同様に求めることができます。グループ0のときは重みが0以下になってしまう場合に注意してください。
ACコード
Submission #55265191 - Codeforces
計算量は逆元計算を除くと になるのですが、制約がまあまあキツ目なので重いところに逆元計算が掛かるとちょっと危なくなります。上記のコードは として になっていますが何とか通りました。
必要な逆元は の前後にある高々 個くらいなので、必要なものを前計算しておくことで に節約することができます。