Codeforces Round #544 (Div. 3)F2. Spanning Tree with One Fixed Degree
問題概要
頂点 辺の単純連結無向グラフが与えられる. ここから適当に辺を削除することでグラフを木にするが, このとき頂点 の次数がちょうど になるようにしたい. これは可能か?可能ならば構成例を示せ.
制約
解法
まず, 頂点 の次数が 未満なら明らかに構築できません. 以降は次数が 以上であると考えます.
こういうわけわからん問題があると, 構築できない場合はどういうときか?ということを考えることが多いです. 木を作るうえで, なければならない辺のうち, 頂点 がかかわっている辺は何個でしょうか?
これは, 頂点 を除いたグラフについての連結成分の数に等しいです. 頂点 を除いたときに非連結になるということは, 頂点 を中間に置かないと各連結成分はそれぞれと連結になれないということです. ですから, を除いたグラフについての連結成分の数を数えて, それが 以上かをまず確認しましょう. これを満たしていない場合答えは NO です.
逆に前述の条件を満たしていれば問題のグラフは構築できます. これは, 各連結成分を繋ぐうえで必要な辺を最初に追加した後, がかかわるその他の辺を次数が になるまでつないだ後残りのグラフで木を作ればよいです. 頂点 を中間に置かないと連結にならない部分は最初に連結してしまうので, この方法で木を作成できることがわかります.
実装
実装上は, 頂点 が各連結成分を繋ぐうえで必要な辺の重みを , その他の頂点 がかかわる辺の重みを , その他の辺の重みを としたうえで MST をやると楽です.