Educational Codeforces Round 91 E - Merging Towers 解説
解説記事や Editorial などをざっくり見ても自分の解法の解説が無かったので。
問題リンク
https://codeforces.com/contest/1380/problem/E
問題概要
個の皿が 個のタワーに置かれています。皿は直径がそれぞれ であり、直径が である皿はタワー に置かれています。また、各タワーには上から直径が小さい順に皿が置かれています。
あなたは 個のタワーのうち つに全ての皿が乗っているようにしたいです。タワーは以下の操作を何回か行うことでまとめます。
- 好きな を選ぶ。タワー から上から何個か (全部でも良い) の皿を取り、同じ順番でタワー の上に置く。このとき、動かす皿は全て操作前のタワー の一番上の皿よりも小さくてはならない。
タワーを つにまとめるのに必要な操作回数の最小値を、タワーをまとめる難易度と呼ぶことにします。
さて、 個のクエリ が与えられます。 個目のクエリはタワー の皿を全てタワー の皿とまとめ、新たなタワー にすることを意味します。新たなタワーも皿は上から小さい順になるようにします。これは難易度には関係しません。
全ての について、 番目のクエリまでを処理した状態でのタワーをまとめる難易度を求めてください。
制約
- までの整数がそれぞれ少なくとも 1 回以上 に現れる。
- クエリ はどちらのタワーもそのクエリの時点で存在するようなものが与えられる。
考察
適当に実験してみます。サンプルを例にしてみます。
最初の状態では、 で、各タワーの皿は となっています。これは以下のような操作で 回で 1 つのタワーに皿を集められます。
- 皿 以上をタワー に移す。 となる。
- 皿 以上をタワー に移す。 となる。
- 皿 以上をタワー に移す。 となる。
- 皿 以上をタワー に移す。 となる。
- 皿 以上をタワー に移す。 となる
これを見ると、必要な操作回数は「皿 以上を他のタワーに移す」操作が必要となっている は、 となっている であると推測できます。実際に、このサンプルのクエリ処理後もそうやって計算できることは容易に確認できるでしょう。
では、 となる の個数を高速に数え上げる方法を考えていきます。
解法
部分永続 Union Find を使用します。詳しくは各自調べてください。ここでは、以下のようなクエリを扱えるデータ構造であるとします。
頂点 を連結する。
回目の クエリが終わった時点で、頂点 の連結成分における根を答える。
回目の クエリが終わった時点で、頂点 が連結かどうかを答える。
それぞれのクエリは全て、頂点数を として 時間で答えられるものとします。
では、クエリが 個終わった時点での となる の個数を数える方法を考えます。
それぞれの について、 であるのは と の属するタワー (つまり、Union Find における根としてよいです) がマージされたタイミングよりも前です。そのタイミング以降は常に です。このタイミングは、部分永続 Union Find の クエリによって二分探索が可能です。
よって、各 のマージされるタイミングが にて計算出来ます。あとは imos 法によって答えを計算すればよいです。
計算量は です。
実装
実装を展開する
public void Solve() { var (n, m) = sr.ReadValue<int, int>(); var a = sr.ReadIntArray(n); var uf = new PersistentUnionFind(m); for (int i = 0; i < m - 1; i++) { var (u, v) = sr.ReadValue<int, int>(); uf.Unite(--u, --v); } var when = new int[m]; for (int i = 0; i < n - 1; i++) { var ok = m - 1; var ng = -1; while (ok - ng > 1) { var mid = ng + (ok - ng) / 2; if (uf.IsSame(a[i] - 1, a[i + 1] - 1, mid)) ok = mid; else ng = mid; } when[ok]++; } var sum = new int[m + 1]; for (int i = 0; i < m; i++) { sum[i + 1] = sum[i] + when[i]; } for (int i = 1; i <= m; i++) { Console.WriteLine(n - 1 - sum[i]); } }
ACコード: https://codeforces.com/contest/1380/submission/116487345
感想
他の解説の解法について、以下にも書いておきます (念の為隠しています)。
展開する
公式の Editorial (クエリを木として扱って LCA をする) https://codeforces.com/blog/entry/80054
じゅぴろさん・kmjp さんの解説 (マージテク)
じゅぴろさんのほう
kmjp さんのほう
他所で解説の無い解法があればなるべく解説記事として後に残したいと考えているのでこの記事を執筆した感じです。