結果

問題 No.1002 Twotone
コンテスト
ユーザー downer
提出日時 2024-08-21 01:12:26
言語 C++23
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 1,517 ms / 5,000 ms
コード長 3,669 bytes
コンパイル時間 4,055 ms
コンパイル使用メモリ 281,640 KB
実行使用メモリ 76,696 KB
最終ジャッジ日時 2024-08-21 01:12:51
合計ジャッジ時間 23,933 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 33
権限があれば一括ダウンロードができます

ソースコード

diff # 

#define PROBLEM "https://yukicoder.me/problems/no/1002"

#include <bits/stdc++.h>
using namespace std;

struct CentroidDecomposition{
    vector<vector<int>> G, T;
    vector<int> sub, ord;
    vector<int> used;
    int r;
 
    CentroidDecomposition(vector<vector<int>>& G) : G(G), T(G.size()), sub(G.size()), used(G.size()) {
        build_dfs();
    } 
 
    int calc_sub(int v, int p=-1) {
        sub[v] = 1;
        for(int nv : G[v]) {
            if(used[nv] || p == nv) continue;
            sub[v] += calc_sub(nv, v);
        }
        return sub[v];
    }
 
    int find_centroid(int v, int mid, int p=-1) {
        for(int nv : G[v]) {
            if(used[nv] || p == nv) continue;
            if(sub[nv] > mid) return find_centroid(nv, mid, v);
        }
        return v;
    }
 
    void build_dfs(int v=0, int p=-1) {
        int sz = calc_sub(v);
        int centroid = find_centroid(v, sz / 2);
        used[centroid] = true;
        ord.push_back(centroid);
 
        if(p == -1) r = centroid;
        else {
            T[p].push_back(centroid);
            T[centroid].push_back(p);
        }
 
        for(int nv : G[centroid]) {
            if(used[nv]) continue;
            build_dfs(nv, centroid);
        }
    }
};

int main() {
    int N, K;
    cin >> N >> K;
    vector<vector<int>> G(N);
    vector<vector<pair<int, int>>> E(N);
    for(int i = 0; i < N - 1; i++) {
        int u, v, c;
        cin >> u >> v >> c;
        u--; v--;
        G[u].push_back(v);
        G[v].push_back(u);
        E[u].push_back({v, c});
        E[v].push_back({u, c});
    }

    CentroidDecomposition cd(G);

    vector<bool> used(N, false);
    long long ans = 0;
    for(int centroid : cd.ord) {
        
        used[centroid] = true;

        map<int, int> cnt1; // x, -
        map<pair<int, int>, int> cnt2;  // x, y
        map<int, int> cnt3; // x, *
        int cnt4 = 0;   // *, -
        int cnt5 = 0;   // *. *

        for(auto [nv, c] : E[centroid]) {
            if(used[nv]) continue;
            map<int, int> color1;
            map<pair<int, int>, int> color2;

            // centroidのsubtreeに関して色のパスを数える
            // 最大 N 種類のパス
            auto dfs = [&](auto f, int v, int p, int c1, int c2) -> void {
                if(c2 == -1) color1[c1]++;
                if(c2 != -1) color2[{c1, c2}]++;

                for(auto [nv, c] : E[v]) {
                    if(used[nv] || p == nv) continue;
                    if(c1 == c || c2 == c) f(f, nv, v, c1, c2);
                    else if(c2 == -1) f(f, nv, v, min(c1, c), max(c1, c));
                }
            };
            dfs(dfs, nv, -1, c, -1);

            // merge
            for(auto [c1, num] : color1) {
                if(!cnt3.count(c1)) cnt3[c1] = 0;
                if(!cnt1.count(c1)) cnt1[c1] = 0;
                ans += (long long) num * (cnt3[c1] + cnt4 - cnt1[c1]);
            }
            for(auto [cs, num] : color2) {
                auto [c1, c2] = cs;
                if(!cnt2.count(cs)) cnt2[cs] = 0;
                if(!cnt1.count(c1)) cnt1[c1] = 0;
                if(!cnt1.count(c2)) cnt1[c2] = 0;
                ans += (long long) num * (cnt2[cs] + cnt1[c1] + cnt1[c2]);
            }

            for(auto [c1, num] : color1) {
                cnt1[c1] += num;
                cnt4 += num;
            }
            for(auto [cs, num] : color2) {
                auto [c1, c2] = cs;
                cnt2[cs] += num;
                cnt3[c1] += num;
                cnt3[c2] += num;
                cnt5 += num;
            }
        }
        ans += cnt5;
    }

    cout << ans << endl;

    return 0;
}
0