AtCoder Beginner Contest 229 F 問題 Make Bipartite
問題
提出解答
問題の概要
外周が 頂点からなる車輪グラフ がある. ただし, ユニバーサル頂点は頂点 , 外周はある頂点から反時計回りに頂点 と名付けられている. 各辺に以下のように重みが設定されている.
- 辺 の重みは である.
- 辺 の重みは である (ただし, 頂点 は頂点 と見なす).
このグラフからいくつかの辺を除いて二部グラフにするとき, 除く辺の重みの総和の最小値を求めよ.
制約
- 入力は全て整数
解法
の頂点を適切に部集合に分けた後, その分集合に従って二部グラフを構築するためには, 2つの端点が同じ部集合に属する辺を全て取り除かなくてはならず, 逆に, その辺を全て取り除けば十分である.
よって, 以下の問題に帰着できる.
の 個の頂点それぞれに青または赤を彩色する方法で, 端点に塗られている色が等しいような辺の重みの総和を最小にせよ.
ここで, 対称性から, 頂点 に塗る色は青であるとしてよい.
そして, 頂点 に塗る色が青である場合と, 赤である場合それぞれについての最小値を求め, 最後により小さい方を採用する.
まず, 頂点 が青である場合を考える. 動的計画法で解く. と ( が青, が赤) に対して, を
- 頂点 から誘導される部分グラフにおける帰着問題の最小値. ただし, のときは辺 は無いものとする.
と定義する.
ベースケースとなる のときは, 今, 頂点 に塗る色を青と仮定していることから,
である.
次に, 遷移を考える. に対して,
- 頂点 を青に塗る場合, ユニバーサル頂点との辺を除外せねばならず, 確実に の重みが発生し, 頂点 に塗る色を, の重みを受け入れて青にするか, 重みなしで赤にするかの2択になるので,
である.
- 頂点 を赤に塗る場合, ユニバーサル頂点との辺の除外は発生せず, 頂点 に塗る色を, 重みなしで青にするか, の重みを受け入れてで赤にするかの2択になるので,
である.
そして, ] においては辺 を考慮していないので, 帳尻合わせをすると, 頂点 を青に塗る場合の最小値 は
である.
頂点 に塗る色が赤の場合を考える. 大体は青の場合と同じだが, 以下の部分が変わる.
- 初期値は,
になる.
- 頂点 を赤に塗る場合の最小値 は である.
よって, 頂点 を青, 赤に塗るそれぞれの場合を考慮したので, 最終的な答えは である. 計算量は である.