結果

問題 No.1002 Twotone
ユーザー downerdowner
提出日時 2024-07-26 01:15:44
言語 C++23
(gcc 12.3.0 + boost 1.83.0)
結果
TLE  
実行時間 -
コード長 3,961 bytes
コンパイル時間 4,996 ms
コンパイル使用メモリ 282,772 KB
実行使用メモリ 58,260 KB
最終ジャッジ日時 2024-07-26 01:16:02
合計ジャッジ時間 13,388 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,812 KB
testcase_01 AC 2 ms
6,944 KB
testcase_02 AC 2 ms
6,940 KB
testcase_03 TLE -
testcase_04 TLE -
testcase_05 -- -
testcase_06 -- -
testcase_07 -- -
testcase_08 -- -
testcase_09 -- -
testcase_10 -- -
testcase_11 -- -
testcase_12 -- -
testcase_13 -- -
testcase_14 -- -
testcase_15 -- -
testcase_16 -- -
testcase_17 -- -
testcase_18 -- -
testcase_19 -- -
testcase_20 -- -
testcase_21 -- -
testcase_22 -- -
testcase_23 -- -
testcase_24 -- -
testcase_25 -- -
testcase_26 -- -
testcase_27 -- -
testcase_28 -- -
testcase_29 -- -
testcase_30 -- -
testcase_31 -- -
testcase_32 -- -
testcase_33 -- -
testcase_34 -- -
権限があれば一括ダウンロードができます

ソースコード

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) {
        cerr << "centroid = " << centroid + 1 << endl;
        
        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]) {
            cerr << " subtree = " << nv + 1 << endl;
            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, c1, c);
                }
            };
            dfs(dfs, nv, -1, c, -1);

            // merge
            cerr << "  color1" << endl;
            for(auto [c1, num] : color1) {
                cerr << "   " << c1 << " " << num << endl;
                if(!cnt3.count(c1)) cnt3[c1] = 0;
                ans += (long long) num * (cnt3[c1] + cnt4 - cnt1[c1]);
            }
            cerr << "  color2" << endl;
            for(auto [cs, num] : color2) {
                auto [c1, c2] = cs;
                cerr << "   " << c1 << " " << c2 << " " << num << endl;
                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;
        cerr << "ans = " << ans << endl;
    }

    cout << ans << endl;

    return 0;
}
0