AtCoder Beginner Contest 256 E問題 Takahashi's Anguish
問題
提出解答
問題の概要
は全て である 以上 以下の整数である.
の並び替え に対する 番目の不満度を以下のようにして定義する.
- 整数 は であるとする. このとき, ならば, 番目の不満度は , そうでなければ 番目の不満度は .
全ての の並び替えにおける 番目から不満度 番目の不満度の総和を見たとき, 不満度の総和の最小値を求めよ.
制約
解法
次のような有向グラフ を考える.
この有向グラフは から への写像と1対1に対応することから Functional Graph と言われている.
この Functional Graph には次のような性質がある.
Functional Graph の各弱連結成分 *1 にはちょうど1つの有向サイクルがある.
弱連結成分の頂点のうち, サイクルをなす頂点を順に , 残りの頂点を とする. このとき, 問題は頂点を順に塗っていくとき, それぞれの辺について 終点よりも先に始点を塗ってしまった辺における不満度がたまるとみなされる. よって, サイクルの辺のうち, 少なくとも1つの辺については見捨てなくてはならない. そして, サイクルの辺のうち, 不満度が最小であるような辺のみを見捨てるような辺の塗り方の順番が存在する.
以上から, 不満度の和の最小値は Functional Graph の各サイクルを構成する不満度の最小値の総和である.
Functional Graph におけるサイクルの検出は Union Find を利用することにより, で計算できる.
*1:有向グラフの全ての辺を無向辺とみなしたときの連結成分