AtCoder Beginner Contest 224 G 問題 Roll or Increment
問題
提出解答
問題の概要
変数 があり, 最初, と設定されている. 以下の2つの操作を好きな回数できる.
- のとき, 円払って とする.
- 円払って, とする. ただし, は の中から当確率でランダムに選ぶ関数.
にするための費用の期待値を最小になるように行動した際のその期待値の最小値を求めよ.
制約
解法
戦略の決定
に対して, で の状況から始めたときの にするための費用の期待値の最小値とする. このとき,
である.
ここで, ならば, であることがわかる.
さて, この方程式によって, と求まったとする. このとき, 当然
である. と置き, の場合をそれぞれ考慮すると,
になる.
のときの に着目する. このとき, は単調減少で, は定数なので, ある整数 で, 以下を満たすものが存在する.
- ]
以上のことから, 期待値を最小にとるときの戦略は, ある 以上 以下の整数 を用いて,
- のときは になるまで足し続ける.
- それ以外のときは になるまで を選択する.
となることがわかる.
期待値の導出
期待値を求める.
- のとき, この場合は 回の加算が最適になる. これは確定で 円の費用である.
- それ以外のとき
- になるまで を選択する. 1回の選択で, となる確率 は, である. 確率 で成功する試行を成功するまで行う回数は幾何分布に従う. 確率 の幾何分布に従う確率変数の期待値は, である.
- その後, 回加算する. このフェーズ開始前に は を台集合とする一様分布に従う. よって, 加算する回数の期待値は, である.
- 以上から, この場合の期待値は である.
このことから, 求めるべき値は,
- のとき
- のとき
ここで, において, 変数変換をすることにより,
とする. 正の実数上で定義される関数 について, 以下のような重大な性質がある.
関数 は下に凸な関数であり, で最小値 を取る.
証明は相加相乗平均の関係と微分である.
このことから, と の大小関係によって場合分けをすることによって, 求めることができる. の場合も同様である.