AtCoder Regular Contest 098 F - Donation
お題箱より。
私も公式解説を見て通したので、公式解説の流れで書いていきます。
解法
時間を逆回しにしてみる
考察を進めていく順番ですが、まず「時間を逆回しにする」ことを考えてしまったほうが良いように思います。普通にゲームを進めると寄付をしていくごとに訪れることができる頂点が減っていきますが、頂点が減ることによるグラフの分断は扱いにくいことが多いです。そのため時間を逆回しにすることで頂点が増えるようにして扱いやすくします。
時間を逆回しにすると、 円寄付するという行為は 円もらうという行為に変わります。また 円ないと頂点 に入れないという条件は、 円ないとその頂点から出れないという条件に変わります。
では頂点 に最初に入るための条件はどうなるでしょうか。未訪問の頂点に入ったときには、 円をすぐにもらってしまうのが良いです。それを貰った後に 円以上の所持金を持っている必要があるので、入るためには 円以上の所持金が必要であることが分かります。所持金が0未満になることはないので、 としておきます。
つまり、 が大きい頂点ほど「入りにくい」頂点であるということが言えます。 が小さいところから回ってお金を集め、 が大きいところを攻略していくような方針になります。
また所持金は増えていく一方なので、一度入った頂点に後から入れなくなるということはありません。そのため「今どこの頂点にいて、どの頂点に寄付済みであるか」という複雑な状態ではなく、「今どの範囲の頂点を動き回ることが可能か(その範囲のお金は全て回収済み)」という視点で状態を管理することができます。この点で思考がシンプルになることが、時間を逆回しにすることの大きなメリットだと思います。
DPを考える
それでは実際に値を求めていきましょう。目的は元々の問題におけるスタート、つまり逆回しした時のゴール時の所持金を最小化することです。
ゲームの流れを追っていくにあたり、ゴール時の所持金はこれから求めるものなので、スタート時の所持金も当然分かりません。ただこれはあまり気にする必要がなくて、スタート時は所持金0円として、必要になったときに追加でお金を足すと考えても良いからです。各頂点でもらうお金の総額は固定なので、この「追加で足す金額の合計」を最小にするように動けばそれが最適になります。
イメージとしては が小さいところから回っていくので、まずは が小さい頂点だけで構成された連結成分を考え、その連結成分の全頂点のお金をもらうために追加のお金が最小でどれだけ必要かを求めます。その値を利用して、より大きな連結成分に対する答えを求めていくようなDPをします。
より具体的に説明します。以下のようなDPの値を考えます。
ある頂点集合 に対して、 の全頂点のお金をもらうために必要な追加のお金の最小値
ここで としては連結であるもの、より正確には に属する頂点とそれらを結んだ辺だけからなる部分グラフを として、 が連結であるものだけを考えることにします。
の中で が一番大きい頂点を1つ選んで とします。そうすると は の中で最も「入りにくい」頂点であることが分かります。その頂点を境にして、 はさらにいくつかの頂点集合に分断されます。これらの頂点集合を としておきます。
に含まれる頂点からもらうお金の合計を と表記することにします。 に対して既に の値が求まっているとします。このときに の回り方としては、以下のようなものが最適となります。
- から、スタート地点を含む集合を1つ選ぶ。これを とすると、まずは所持金 を持った状態で の全頂点を回り終える。
- 次に頂点 を訪れる。このとき所持金が足りなければ追加する。ここで追加する金額は となる。
- に含まれているもの以外の頂点を訪れ、お金を回収する。頂点 が最も入りにくい頂点なので、残りの頂点はお金を追加することなく回ることができる。
ここまでで追加した合計金額を計算すると、 となります。これを全通り試して一番小さいものを として採用すればよいです。
このDPは「ある集合 の中で が一番大きい頂点 を1つ選び、 で分断される部分集合たちのDPの値から計算する」という構成になっています。つまり小さい方から計算していくなら、 の値が小さい頂点から1つずつグラフに足していき、それによって出来る連結成分ごとにDPの値を計算していけばよいです。これはUnion-Findを用いて計算していくことができます。