結果

問題 No.1075 木の上の山
ユーザー merom686merom686
提出日時 2021-04-05 15:46:59
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 46 ms / 2,000 ms
コード長 2,870 bytes
コンパイル時間 3,207 ms
コンパイル使用メモリ 218,928 KB
実行使用メモリ 34,672 KB
最終ジャッジ日時 2024-06-10 00:51:34
合計ジャッジ時間 4,313 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,816 KB
testcase_01 AC 2 ms
6,940 KB
testcase_02 AC 2 ms
6,944 KB
testcase_03 AC 2 ms
6,940 KB
testcase_04 AC 2 ms
6,944 KB
testcase_05 AC 2 ms
6,940 KB
testcase_06 AC 2 ms
6,940 KB
testcase_07 AC 3 ms
6,940 KB
testcase_08 AC 4 ms
6,944 KB
testcase_09 AC 4 ms
6,940 KB
testcase_10 AC 4 ms
6,944 KB
testcase_11 AC 4 ms
6,940 KB
testcase_12 AC 3 ms
6,940 KB
testcase_13 AC 5 ms
6,944 KB
testcase_14 AC 4 ms
6,944 KB
testcase_15 AC 4 ms
7,040 KB
testcase_16 AC 4 ms
7,168 KB
testcase_17 AC 45 ms
34,672 KB
testcase_18 AC 38 ms
22,912 KB
testcase_19 AC 46 ms
32,384 KB
testcase_20 AC 39 ms
22,912 KB
testcase_21 AC 36 ms
23,388 KB
testcase_22 AC 36 ms
23,296 KB
testcase_23 AC 36 ms
23,552 KB
testcase_24 AC 36 ms
23,424 KB
testcase_25 AC 36 ms
23,232 KB
testcase_26 AC 39 ms
22,804 KB
testcase_27 AC 38 ms
23,372 KB
testcase_28 AC 39 ms
27,464 KB
testcase_29 AC 37 ms
23,276 KB
testcase_30 AC 38 ms
22,896 KB
testcase_31 AC 40 ms
25,728 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() {
            for (int k = 0; k < k0; k++) {
                x[k] = 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;
        }
        mint x[1000];
    };
    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 = nullptr;
        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 (t) {
            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