AtCoder Beginner Contest 133 F - Colorful Tree
解法
木の2点間距離たくさん→LCA
長さの変更についていったん無視すると、この問題は「木の2点間距離をたくさん求めてください」というものです。これはLCA(最小共通祖先)というものを用いると効率的に求めることができます。
根付き木における2頂点のLCAとは、それらの共通祖先のうち最もその2頂点から近い頂点のことです。2頂点からそれぞれ根までのパスを考えた時に合流するところ、とイメージしてもよいです。
これを用いると、2点間の距離は以下のように求めることができます。
- 前計算
- 適当に根を決める。
- あらかじめ、根から全点への距離を求めておく。根と頂点 の距離を と表す。
- 2点のLCAを効率的に求めるための前準備をしておく。
- 頂点 の距離の計算
- 頂点 のLCAを求める。これを とする。
- 頂点 間の距離を、 と求める。
LCAを効率的に求める方法としてはダブリングなどがあります。(仕組みや実装例は蟻本などを参照してください)
各クエリで辺の値が変わるときにもこのテクニックは使えます。つまり各クエリ に対しては、 を のLCAとして「色 の辺の長さを全て に変えた時の、ある1頂点と根との距離を求める」ことを の3頂点について求めればよいことが分かりました。これ以降は根との距離を上手く求めることを考えていきます。
長さ変更の影響を考える
色 の辺の長さを に変えた時の、頂点 から根までの距離は
- 頂点 から根までの経路の…
- 初期状態における距離
- 経路中にある色 の辺の長さ合計
- 経路中にある色 の辺の本数
これらを用いて と求めることができます。
これらの値のうち、 を全点について求めることはDFSなどで根から順に計算していけば で可能です。一方色に依存する や は、色ごとに計算すれば求めること自体は と同様にDFSでできるものの、全ての頂点×色の組み合わせが 個あるので全部求めるとTLE/MLEなどになってしまいます。
クエリ先読み!
そこでまず、DFSをしながら「今見ている頂点についての はいくつか?」という値を全ての色 について管理していくことを考えましょう。DFSで1歩進む・戻るときに通る辺は1本なので、その辺の色についての情報だけを変更すればよいです。
これを全ての頂点×色について記憶するとTLE/MLEになりますが、クエリは事前に分かっているので必要なところだけを記憶しておくことができます。各クエリに対して必要な頂点と色のペアは3個なので、必要になるのは全部で最大でも 個のペアです。あらかじめこれを列挙して頂点ごとに分類しておき、DFSしながら各頂点を通る時に必要な色についての値だけ記憶しておくようにすれば、DFSと差分更新に 、値の記憶に(mapなどを使うことを想定して) の時間計算量で前計算をすることができます。
あとはこの前計算結果を使って、各クエリに対してこれまで書いてきた計算式を用いれば答えを求めることができます。