Codeforces Round #587 (Div. 3) F. Wi-Fi
お題箱より。
セグメント木を使わない解法を…とのリクエストだったので、何通りか解法を紹介します。
問題概要
個の部屋が並んでいて、順に番号 が付けられている。これらの部屋全てにインターネット回線を提供したい。
回線提供には2つの方法がある。
- それぞれの部屋 について、 コイン払うことでその部屋に単独でインターネット回線を提供できる。
- いくつかの部屋は無線ルーターを持っていて、その部屋 については コイン払うことで区間 に含まれる全ての部屋にインターネット回線を提供できる。
整数 と各部屋の無線ルーターの所持有無が与えられるので、全ての部屋にインターネット回線を提供するために払う合計コインの最小値を求めよ。
制約
解法1:セグメント木
この問題は結局、
(区間, その区間を使うコスト)の組がいくつか与えられるので、整数点 全てを覆う最小コストを求めよ。
という問題です。この問題をパターンとして捉えセグメント木で処理するのがたぶん一番楽です。
を「整数点 が全て覆われるための最小コスト」とします。予め区間を右端で分類しておき、 を更新するときには を右端とするような区間それぞれに対して、
- その区間の左端を 、コストを とするとき、 で を更新(今の値より小さければ採用)する
とすれば良いです。少なくとも までが覆われている状態を遷移元とすることで、区間 を新たに採用して までを覆うことができます。
区間最小が取れるセグメント木にDPの値を入れることで高速に の計算ができます。セグメント木のクエリ1回が なので全体計算量は です。
この解法は後に紹介するようなこの問題特有の単調性が無くても使えるので、そういった意味でもこの解法を知っておくのがオススメです。
ACコード1
Submission #60990629 - Codeforces
解法2:スライド最小値
ルーターが覆う区間の長さは左右にはみ出る場合を除けば一定で、ルーターを置く部屋を右にずらしていくと左端も右端も単調に変化します。このような場合、先ほどの の計算はスライド最小値という方法を用いて高速化できます。この場合、計算量はDP全体でならし となります。
ルーターを使わない場合の遷移は単に1つ前の1点だけが遷移元になるので各点ごとに で計算できます。結局全体で になります。
ACコード2
Submission #61186419 - Codeforces
解法3:コストの単調性を使ってgreedy
リクエスト的にはこれが本命ですかね。このコメント を参考にしました。今回の場合はコストが右の部屋にいくほど高くなっているので、DPの遷移をgreedyに取ることができます。
DPを左(添え字の小さい方)から回すのではなく、右から回します。 を「整数点 が全て覆われるための最小コスト」と定義します。
から 方向への遷移を考えます。つまり右から までが覆われているので、次に採用する区間で少なくとも は覆う必要があります。
1つの方法は単に部屋 単独で回線を引くことです。そしてルーターに関しては、実は部屋 をカバー範囲に含むルーターのうち最も左にあるものだけを考えれば十分です。これがまだカバーされていない範囲を最も遠くまでカバーし、加えて左側の部屋のルーターを使ったほうがコストが安いので、「右から までは既に覆われている」という前提のもとでは完全に上位互換になっているからです。
※もしDPを左から回すと、ここで「遠くまでカバーするものほどコストが高い」という状態になり、1つに確定できません。
結局 からの遷移は、
- 単独回線を使い に遷移する。
- 部屋 をカバー範囲に含むルーターのうち最も左のものを使い、その左端を として に一気に遷移する。
2つだけを考えれば十分です。これで全体 でのDPができます。
このDPでは選ばなかったルーター区間について遷移を飛ばしてしまうため、厳密には各点において「整数点 が全て覆われるための最小コスト」になっていません。そのため正当性が少し理解しづらいのですが、各ステップで他と比べて必ず損をするものを切り捨てているので最終的には正しい答えが得られます。