Processing math: 100%
My Algorithm : kopricky アルゴリズムライブラリ

kopricky アルゴリズムライブラリ

Cenroid Decomposition

コードについての説明

重心分解と呼ばれる, 重心で木を再帰的に分解していくことで高さが O(logn) になるような分解を行うアルゴリズムである.
各階層であつかう木構造をすべて合わせても空間計算量が O(nlogn) なのですべての木について DFS なりの探索を行うことが可能.
申しわけ程度に説明を書いているけれども結局 わかりやすく説明してくれている記事 を参考にする方が圧倒的に理解しやすい.
多くの問題は重心分解をただやるだけでなく前処理として行ったあとに問題に応じた操作を行う. 一応親子関係を伝播させることもできるが,基本的には親子関係は壊れてしまうので部分木についての条件など元の木上での親子関係が必要となる問題については使えない. 以下に挙げた verify 問題みたいなものについては有効である.

(関数)
add_edge(): 辺を追加する
build(): 重心分解を行う

時間計算量: O(nlogn)

コード

  1. class CentroidDecomposition
  2. {
  3. private:
  4.     int V;
  5.     vector<vector<int> > G;
  6.     vector<bool> used;
  7.     //sz:重心分解後の最大部分木に含まれる頂点の数(自分を含める)
  8.     //par:重心分解後の親の頂点
  9.     vector<int> sz, par;
  10.     //部分木のサイズを計算
  11.     void calcSize(int u,int p){
  12.         sz[u] = 1;
  13.         for(int v : G[u]){
  14.             if(!used[v] && v != p){
  15.                 calcSize(v,u);
  16.                 sz[u] += sz[v];
  17.             }
  18.         }
  19.     }
  20.     void cdBuild(int u,int p){
  21.         calcSize(u,-1);
  22.         int tot = sz[u];
  23.         bool ok = false;
  24.         int pp = -1;
  25.         //いま見ている部分木での重心を見つける
  26.         while(!ok){
  27.             ok = true;
  28.             for(int v : G[u]){
  29.                 if(!used[v] && v != pp && 2*sz[v] > tot){
  30.                     pp = u, u = v, ok = false;
  31.                     break;
  32.                 }
  33.             }
  34.         }
  35.         par[u] = p;
  36.         //何らかの操作
  37.         used[u] = true;
  38.         //深さ優先でたどる
  39.         for(int v : G[u]){
  40.             if(!used[v]){
  41.                 cdBuild(v,u);
  42.             }
  43.         }
  44.     }
  45. public:
  46.     CentroidDecomposition(int node_size) : V(node_size), G(V), used(V, false)
  47.                                                 , sz(V, 0), par(V, -1){}
  48.     void add_edge(int u,int v){
  49.         G[u].push_back(v), G[v].push_back(u);
  50.     }
  51.     void build(){
  52.         cdBuild(0,-1);
  53.     }
  54. };

verify 用の問題

Atcoder : 木の問題 提出コード