AtCoder Beginner Contest 226 E 問題 Just one
問題
提出解答
問題の概要
頂点, 辺の単純無向グラフ が与えられる. の全ての辺の向き付けのうち, 全ての頂点の出次数が1になるような向き付けは何通りか?
制約
- グラフは単純
解法
まず, のある連結成分における向き付けは他の連結成分の向き付けに影響を与えず, 独立に考えることができる. よって, 各連結成分についての議論を行い, 最後に全ての連結成分における答えの総積を求めることになる.
は連結であるとする. まず, 辺に向き付けると, そのグラフの出次数の総和が1だけ増える. このことから, 条件を満たすような向き付けが存在するならば, となる. このことから, ならば, 答えは になる.
とする. このとき, 頂点, 辺の連結グラフになるので, 以下の事がわかる.
が木になるような辺 が存在する.
また, 木に関して, 以下のことがわかる (実は同値)
が木であるとき, で, ならば, はちょうど1つのサイクルをもち, そのサイクルは辺 を含む.
ここで, 辺 を, が連結になるような辺とする. このとき, に向き付けると, 以下のような理由により, 必ず条件を満たすような向き付けが唯一存在する.
- にある唯一のサイクルを とする. の向き付けは の向き付けから, 自然に定まる.
- の辺は, に向かう向きでないといけない. 厳密には, 上の頂点 を適当にとり, 葉 に対して, ( 上での向きを保って) -Path による向きづけになる.
の向き付けは2通りであるので, のときは2通りである.
以上から, 連結成分での議論を終えたので, 求めるべきと答えは, の連結成分の個数を , 各連結成分 における頂点, 辺の数を としたとき.
- 全ての連結成分 で, ならば, 通り.
- となる連結成分 が存在すれば, 通り.
計算量は各連結成分の頂点数と辺の数をBFSやDFS, または Union-Find を用いて記録することにより, それぞれ で求めることができる.