執筆時レート:緑
問題文→https://atcoder.jp/contests/abc263/tasks/abc263_d
公式解説→https://atcoder.jp/contests/abc263/editorial
目次
問題
長さ の整数列 対し、以下の連続する操作を一度だけ行う。
Step : 先頭から 個以上を選び、それぞれ で置き換える。
Step : 末尾から 個以上を選び、それぞれ で置き換える。
操作後の の要素の総和として考えられる最小値を求めよ。
制約
- 入力は全て整数
解説
まず、 と で置き換える項がオーバーラップする操作が考えられますが、そのような操作は考慮しなくて良いです。
なぜなら、オーバーラップした操作後の数列は、 で置き換えられない項だけはじめに で置き換える操作と同じ結果になるからです。
よって、Step で置き換える範囲が重ならないように操作するものとして考えることができ、そうすることで数列を分割した次の考え方ができます。
数列を位置 で 分割します。左側の部分でStep 、右側の部分でStep を行い、各部分の操作後の総和の最小値がこの分割での総和の最小値となります。この最小値を とします。
すると、求める答えは を で全探索したときの最小値 になります。
数列を 分割することは、つまり、その境界によって や で置き換えられる最大項数を制限していることになります。
すべての制限を調べることによって答えが求まるということです。
次に、 の求め方を考えます。 つの関数 を、
位置 より左側でStep を行った後の総和の最小値
位置 より右側でStep を行った後の総和の最小値
とすると、 は
となります。
の値はDPによって求めることができます。
を考えるとき、末項 を で 置き換える、 置き換えないの 通りに場合分けができます。
置き換える場合、操作後の総和は です。
置き換えない場合、操作後の総和の最小値は一つ前の位置 より左側でStep を行った後の総和の最小値に を加えたものであるので、 です。
よって、 となります。
も同様に求められます。
これでこの問題が解けました!
計算量は です。
実装
C++による実装例です。
https://atcoder.jp/contests/abc263/submissions/33850906
添え字で混乱する場合は以下のイメージを持つと良いです。