yukicoder No.1460 Max of Min
お題箱より。
No.1460 Max of Min - yukicoder
解法
この問題の解法はいくつかのステップで構成されていて、その1つ1つが覚えておくと有用なテクニックだと思います。順に追っていきましょう。
ステップ1
求めたい値 は、与えられた数列の要素に対して と を取ることを大量に繰り返したものです。要素に対して四則演算などを行うことはありません。
このような問題では二分探索が有用であることがあります。つまりある整数 に対する「求めたい値は 以上か?」という判定問題を考え、これを様々な について繰り返し解くことで求めたい値を特定するという戦略です。
判定問題に落とすメリットは、与えられた要素や計算途中の要素を 以上かどうかで二値化して考えることができる点です。関数 を
- が 以上ならば 、そうでなければ
と定義します。このとき と について
- は、 または のとき 、そうでないとき
- は、 かつ のとき 、そうでないとき
が成立します。そして最終的に かどうかを判定すれば良いので、全ての要素を最初から最後まで二値化した状態で考えることができます。
これ以降、数列 の要素は二値化されたものとして扱います。
ステップ2
の値を順に決めていく処理について考察します。この処理を視覚的にとらえると次の図のようになります。数列 をずらして数列 に重ねていき、もし縦に が並んだところが存在すれば次の の要素は 、そうでなければ となります。
ここで数列 側の である要素に注目します。数列 の後ろから 番目の要素が であるとします( は 始まりで数えます)。この は、
- 側の である要素 と重なったときに、その 個先にある の要素 を にする能力がある
と考えることができます。
判定したいのは かどうかです。この考え方を用いると、判定問題を次のように書き表すことができます。
- 与えられた の範囲で である要素からスタートして、 側の と重なることで右側に進むことを繰り返し、ちょうど に到達できるか?
より正確に定式化するため、次のように集合 を定義します。
- 与えられた範囲の数列 について、 である整数 からなる集合を とする。
- 与えられた数列 について、 である整数 からなる集合を とする。
かどうかの判定問題は、次のように定式化されます。
- 集合 の要素を1つ選んで、変数 の初期値とする。以下の操作を0回以上繰り返すことで、 を と一致させることができるか?
- 集合 の要素を1つ選んで とする。このとき である必要がある。 に を加算する。
ここで「 である必要がある」という条件は、処理の過程で と が重なる機会があることに対応しています。
ステップ3
説明を簡単にするため、「 である必要がある」という条件をいったん無視します。
前ステップで定式化した問題は、個数制限なし部分和問題に初期値の条件が付いたものです。それぞれの値の大きさを確認すると、 は非常に大きく、 の要素は 以下なので 以下と比較的小さいことが特徴です。
この部分和問題を で解く方法があります。キーなるアイデアは次の通りです。
- 大きい値を作る時でも小さい値を大量に足す必要がある。なので小さい値をどれか選んで として、まず で割った余りを と一致させてから、 を足し続ければ良い。
具体的に解法を説明します。 の要素のうち、どれでも良いので1つを選んで とします。 である整数 について、次の値を考えます。
- 操作によって作ることができる の値であって、 で割った余りが であるものの最小値
を と一致させられる必要十分条件は です。必要性は の定義から直接分かり、十分性は としたあとに を加算し続けることで と一致させられることから分かります。
あとは の求め方です。これを求めるために、次のグラフを構成します。
- グラフはそれぞれの の値に対応する 個の頂点と、1個の始点を持つ。
- 始点から、 の要素を1つ選んで初期値とすることに対応する辺を作る。初期値とする値を とすると、これは終点が でコストが の辺である。
- 始点以外の 個の頂点から、 の各要素を加算する操作に対応する辺を作る。辺の始点を 、加算する値を とすると、これは終点が でコストが の辺である。
個の頂点番号は を で割った余りに対応し、辺は に値を加算することに対応しています。そのため はこのグラフにおける始点からの最短距離として計算することができます。グラフは密になる可能性がありますが、優先度付きキューを使わないダイクストラ法を用いることで で解けます。
※説明がしやすいので始点を明示的に置きましたが、置かずに の初期値を から設定しても構いません。
最後に「 である必要がある」という条件を考慮します。これを扱うのは面倒なので、最初に までの値を愚直に求めて、 の要素 を の範囲で取ってしまうのが楽だと思います。最初から として扱うようにすれば条件を気にする必要はありません。ただしこの場合は、 が小さいときの実装に注意してください。