ZONeエナジー プログラミングコンテスト “HELLO SPACE” F - 出会いと別れ / Encounter and Farewell 解説
問題リンク
https://atcoder.jp/contests/zone2021/tasks/zone2021_f
問題概要
個の頂点 について、 個の辺 を張って全域木を構成したいです。ただし、 について、 が のいずれかと一致するような辺 は張れません。
全域木が構成できるか判定し、出来る場合は構成の仕方を つ示してください。
制約
- として、
考察
問題文を言い換えると、 個の に含まれない数の集合であって、全ての について、その集合の数をいくつか選んでその XOR 結合が と等しくなるような選び方のある集合が求まればいいことが分かります。これは XOR についての基底を求めることに他なりません。
公式解説では XOR の基底を利用した掃き出し法で判定していますが、ここでは Union-Find を使用した解を解説してみます。
解法
Union-Find を使用して、ある に含まれない数 が基底となるかの判定、およびそれまでに現れた基底を用いて作れる数を管理することを考えます。すなわち、基底 があるとき、基底を XOR することで互いに作れるような数が連結になるような Union-Find を考えます。
例えば、 のとき、 および はそれぞれ基底をいくつか XOR すれば互いに作れますが、違うグループの数は基底をいくつか XOR しても作れません。例えば、 は をどのように XOR しても互いに作れません。
このような Union-Find において、以下のような主張が成り立ちます。
ある に含まれない数 が基底になる必要十分条件は、 が同じ連結成分に無いことである。
これは、XOR の単位元である が含まれる連結成分は今までに見た基底の XOR 結合で作れる数の集合となっていることから示せます。
これで が基底かどうかの判定が出来ました。 が基底ならば、互いに連結でない連結成分どうしを結ぶような辺 を結べばよいです (基底は高々 個であることから、このような頂点 は余裕をもって全探索出来ます)。
最終的に が含まれる連結成分の大きさが に等しければ結んだ辺を出力し、そうでなければ を出力すればよいです。
計算量は です。
実装
実装を展開する
public void Solve() { var (n, m) = sr.ReadValue<int, int>(); var a = sr.ReadIntArray(m); var ok = new bool[n]; for (int i = 1; i < n; i++) { ok[i] = true; } for (int i = 0; i < m; i++) { ok[a[i]] = false; } var uf = new UnionFind(n); var ans = new List<(int a, int b)>(); for (int i = 0; i < n; i++) { if (!ok[i]) continue; if (uf.IsSame(0, i)) continue; for (int j = 0; j < n; j++) { if (uf.IsSame(j, j ^ i)) continue; uf.Unite(j, j ^ i); ans.Add((j, j ^ i)); } } if (uf.Size(0) != n) { Console.WriteLine(-1); return; } foreach (var (s, t) in ans) { Console.WriteLine($"{s} {t}"); } }
ACコード: https://atcoder.jp/contests/zone2021/submissions/22237765
感想
コンテスト中に書いた解は掃き出し法を行って可能かの判定をした後に、Union-Find で全域木を構築しました。あとからよく考えたら Union-Find でそもそも基底を求めていることが分かったので、掃き出し法をしなくてもいいことに気付きました。