Xmas Contest 2020 B: Beterminant 解説
https://atcoder.jp/contests/xmascon20/tasks/xmascon20_b
問題概要
円払うと % で 円もらえる賭けを 回やって最終的に所持金が増えている確率が を超えるような最大の を求めよ.存在しない場合や無限個存在する場合はそれを指摘せよ.
考察
として,所持金が増えるのはあたりが 回以上出たときです. が一定の範囲内では を増やしてもその確率は減少しないので,条件を満たす最大の を求めるにあたっては ( は正の整数) の形のみ考えればよいです.
所持金の増加の期待値を考えると, のときはたくさんやったら負けそうで, のときはたくさんやったら勝てそうです. のときは期待値は ですが, のとき切り捨てで得をしてそうなのでなんとなく勝てそうです.コンテスト中に正解するためにはこのくらいの考察でほぼ足りるのですが,以下ちゃんとした正当化を与えておきます.
道具
整数 と実数 (,,) に対し, と定めます (すなわち,確率 であたる賭けを 回やってあたりが 回未満の確率です).
Uhlmann [1] により以下の式が示されています:
- ()
- (,)
- ()
[1] の論文は記法がちょっと違うしドイツ語だしなので,ここでも証明をまとめておきます.
1. と 3. は なのでよいです.
ここで, の による微分を計算しておきます. として, です ( が について単調減少なことは定義の意味から明らかですが).さらに, で,これは のとき負, のとき , のとき正です.これを の評価に用います.
2. について, はよいです. のとき, なので,平均値の定理と合わせて,
です (最後の不等号は の単調性から従います).また,偶数 に対し, より,
です.これで「中央とその手前」のすべての不等号が示され,残りは 1. より得られます.
4. について, として,
なのでよいです.
議論
のときは所持金が増えないので条件を満たす は存在しません.以下 とします.また, とおきます.
より です.
3. と 4. より,正の整数 に対し です. のとき, のとき なので, が得られます.よって,各 に対し を条件を満たす候補 として調べればよいです.制約下での の最大値は, のときの です (ちなみに,このように得られた評価は少し緩く,実際に条件を満たす の最大値はこのとき です).
一方,1. と 2. より,正の整数 に対し です. のとき, なので が得られます.ここですべての等号が成り立つのは かつ のとき,すなわち の場合であり,そうでない場合はこれで無限個の が条件を満たすことがわかりました.
の場合は, は が偶数のとき より大きく が奇数のときちょうど であることが簡単にわかります.よって条件を満たす は存在しません.
実装
多倍長整数を使って を計算する (最初に を計算し,二項係数などをひとつずつ求めていく) のが確実です.浮動小数点数で適切に計算 (階乗の などをとる) してぎりぎりになるケースは実際には制約下にはありません.ちなみに,有理数 に対し らしいです [2].
回中 回あたる確率を DP で求めていってもよいです (誤差も小さいです). のみ考えるという考察すらスキップ可能です.あたりが少ないほうだけ調べる (つまり,所持金が増えない確率を計算する),答えを埋め込むなどをしないと時間制限は厳しいかもしれません.
注意を要するのは条件を満たす が無限個存在するかの判定です.場合分けをする場合は を忘れない必要があります.実験的に行う場合は,「適当に大きい で成り立たなかったら無限個存在はしない」としてしまうのは誤りで,ちゃんと を見たり前後 個程度を見たりすることになります.
統計情報
正解者:チーム 人任せ (0:45:20) はじめ 31 チーム
コメント
- 厳密な証明をしなくてもそれっぽくやれば正解できる (ただし考察が雑なほど一部のケースではまる)
- 整数パーセントなことが本質的な制約 (そして出てくる答えの上限は案外 (?) 大きい)
という特徴の問題でした.1 つ目のために普通のコンテストには出しにくい問題ですが,クリスマスにはとっつきやすい枠としてよさそうという気持ちで出題しました.結果としては順位表を赤く染め上げてしまいました…….ここまでは予想外でしたが,一発 AC の方はとても丁寧だと思います.
ところで, のときに だけ考えると所持金が増える確率が単調減少ということも実験的に気づきました.このことを使った人もいるかもしれません.これについては証明が思い浮かなかったので,証明あるいは反証を募集しています. のときに様子が異なるので,上で示した Uhlmann の結果よりも大変そうと考えています.
参考文献
[1] Uhlmann, W. Ranggrößen als Schätzfunktionen. Metrika 7, 23–40 (1963).
[2] Nowakowski, Szymon. "Uniqueness of a Median of a Binomial Distribution with Rational Probability." arXiv preprint arXiv:2004.03280 (2020).