結果

問題 No.1075 木の上の山
ユーザー merom686merom686
提出日時 2021-04-05 15:52:40
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 73 ms / 2,000 ms
コード長 2,783 bytes
コンパイル時間 2,544 ms
コンパイル使用メモリ 211,864 KB
実行使用メモリ 35,016 KB
最終ジャッジ日時 2023-08-30 01:46:50
合計ジャッジ時間 4,616 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge12
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
4,376 KB
testcase_01 AC 2 ms
4,380 KB
testcase_02 AC 2 ms
4,380 KB
testcase_03 AC 2 ms
4,384 KB
testcase_04 AC 2 ms
4,508 KB
testcase_05 AC 2 ms
4,384 KB
testcase_06 AC 2 ms
4,380 KB
testcase_07 AC 2 ms
4,380 KB
testcase_08 AC 3 ms
4,376 KB
testcase_09 AC 2 ms
4,380 KB
testcase_10 AC 2 ms
4,380 KB
testcase_11 AC 2 ms
4,380 KB
testcase_12 AC 3 ms
4,384 KB
testcase_13 AC 3 ms
4,380 KB
testcase_14 AC 2 ms
4,380 KB
testcase_15 AC 3 ms
4,376 KB
testcase_16 AC 3 ms
4,380 KB
testcase_17 AC 73 ms
35,016 KB
testcase_18 AC 46 ms
22,884 KB
testcase_19 AC 68 ms
32,644 KB
testcase_20 AC 46 ms
22,852 KB
testcase_21 AC 48 ms
23,624 KB
testcase_22 AC 48 ms
23,408 KB
testcase_23 AC 49 ms
23,688 KB
testcase_24 AC 47 ms
23,648 KB
testcase_25 AC 47 ms
23,396 KB
testcase_26 AC 46 ms
22,852 KB
testcase_27 AC 47 ms
23,416 KB
testcase_28 AC 57 ms
27,728 KB
testcase_29 AC 47 ms
23,412 KB
testcase_30 AC 46 ms
22,856 KB
testcase_31 AC 53 ms
25,988 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#include <atcoder/modint>
using mint = atcoder::modint1000000007;
using namespace std;
using ll = long long;

mint ans;
int k0;

struct Graph {
    struct Sub {
        Sub() : x(k0, 1) {}
        Sub &operator+=(const Sub &s) {
            for (int k = 0; k < k0; k++) {
                x[k] *= s.x[k];
            }
            return *this;
        }
        Sub &add_root() {
            for (int k = 1; k < k0; k++) {
                x[k] += x[k - 1];
            }
            return *this;
        }
        vector<mint> x;
    };
    struct Vertex { int n; Sub s; };
    struct Edge { int i, n, r; Sub s; };
    Graph(int n, int m) : v(n, { -1, {} }), e(m), r(m), n(n), m(0) {}
    void add_edge(int i, int j) {
        e[m] = { j, v[i].n, 0, {} };
        v[i].n = m;
        m++;
    }
    Sub dfs0(int i, int p) {
        Sub s;
        for (int j = v[i].n; j >= 0; j = e[j].n) {
            Edge& o = e[j];
            if (o.i == p) continue;

            s += o.s = dfs0(o.i, i);
        }
        return s.add_root();
    }
    void dfs1(int i, int p, Sub *r, Sub s0) {
        int l = 0;
        for (int j = v[i].n; j >= 0; j = e[j].n) {
            Edge& o = e[j];
            if (o.i == p) o.s = s0;
            r[l++] = o.s;
        }
        for (int k = l - 1; k > 0; k--) {
            r[k - 1] += r[k];
        }
        v[i].s = r[0].add_root();

        Sub s;
        int k = 0;
        for (int j = v[i].n; j >= 0; j = e[j].n) {
            Edge& o = e[j];
            k++;
            if (o.i != p) {
                Sub t = s;
                if (k < l) t += r[k];
                dfs1(o.i, i, r + l, t.add_root());
            }
            s += o.s;
        }
    }
    void solve() {
        dfs0(0, -1);
        dfs1(0, -1, &r[0], {});

        ans = 0;
        dfs(0, -1);
        cout << ans.val() << endl;
    }
    void dfs(int i, int p) {
        Sub s, t;
        for (int j = v[i].n; j >= 0; j = e[j].n) {
            Edge& o = e[j];
            if (o.i == p) {
                t = o.s;
                continue;
            }
            s += o.s;
            dfs(o.i, i);
        }
        if (p >= 0) {
            for (int k = 1; k < k0; k++) {
                ans += s.x[k] * t.x[k - 1];
            }
        } else {
            for (int k = 0; k < k0; k++) {
                ans += s.x[k];
            }
        }
    }
    vector<Vertex> v;
    vector<Edge> e;
    vector<Sub> r;
    int n, m;
};

int main() {
    ios::sync_with_stdio(false);
    cin.tie(0);

    int n;
    cin >> n >> k0;

    Graph g(n, (n - 1) * 2);
    for (int i = 0; i < n - 1; i++) {
        int a, b;
        cin >> a >> b;
        a--; b--;

        g.add_edge(a, b);
        g.add_edge(b, a);
    }
    g.solve();

    return 0;
}
0