#include <bits/stdc++.h>
typedef long long ll;
using namespace std;
const ll MOD = 1e9 + 7;
vector<int> graph[100001];
ll win_as_root[100001], critical[100001];
ll expo(ll base, ll pow) {
ll ans = 1;
while (pow) {
if (pow & 1) ans = ans * base % MOD;
pow >>= 1, base = base * base % MOD;
}
return ans;
}
void dfs1(int node = 1, int parent = 0) {
for (int i : graph[node]) if (i != parent) {
dfs1(i, node);
win_as_root[node] += (win_as_root[i] == 0);
}
if (!win_as_root[node]) critical[node] = 1;
for (int i : graph[node]) if (i != parent) {
if ((win_as_root[node] == 1 && !win_as_root[i]) || !win_as_root[node])
critical[node] += critical[i];
}
}
void dfs2(int node = 1, int parent = 0, bool par_win = true, ll par_crit = 0) {
win_as_root[node] += !par_win;
ll all_crit = 0, lose_crit = 0;
critical[node] = (win_as_root[node] == 0);
all_crit += par_crit;
if (!par_win) lose_crit += par_crit;
if ((win_as_root[node] == 1 && !par_win) || !win_as_root[node])
critical[node] += par_crit;
for (int i : graph[node]) if (i != parent) {
all_crit += critical[i];
if (!win_as_root[i]) lose_crit += critical[i];
if ((win_as_root[node] == 1 && !win_as_root[i]) || !win_as_root[node])
critical[node] += critical[i];
}
for (int i : graph[node]) if (i != parent) {
if (win_as_root[node] - (win_as_root[i] == 0) == 0)
dfs2(i, node, false, all_crit - critical[i] + 1);
else if (win_as_root[node] - (win_as_root[i] == 0) == 1)
dfs2(i, node, true, lose_crit - (win_as_root[i] ? 0 : critical[i]));
else
dfs2(i, node, true, 0);
}
}
int main() {
ios_base::sync_with_stdio(0);
cin.tie(0);
ll n, d;
cin >> n >> d;
for (int i = 1; i < n; i++) {
int u, v;
cin >> u >> v;
graph[u].push_back(v);
graph[v].push_back(u);
}
dfs1();
dfs2();
ll lose_cnt = 0, e_val = 0;
for (int i = 1; i <= n; i++) {
if (win_as_root[i]) e_val += critical[i];
else lose_cnt++, e_val -= critical[i];
}
e_val = (e_val % MOD + MOD) % MOD;
ll dp = 0;
for (int i = 0; i < d; i++)
dp = (dp + expo(e_val, i) * expo(n, 2 * (d - i - 1)) % MOD) % MOD;
dp = dp * lose_cnt % MOD;
if (win_as_root[1])
cout << (expo(n, 2 * d) - critical[1] * dp % MOD + MOD) % MOD;
else
cout << critical[1] * dp % MOD;
return 0;
}
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
2 ms |
2668 KB |
Output is correct |
2 |
Correct |
3 ms |
2804 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
2 ms |
2688 KB |
Output is correct |
2 |
Correct |
4 ms |
2668 KB |
Output is correct |
3 |
Execution timed out |
1081 ms |
2688 KB |
Time limit exceeded |
4 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
2 ms |
2700 KB |
Output is correct |
2 |
Correct |
2 ms |
2668 KB |
Output is correct |
3 |
Correct |
2 ms |
2668 KB |
Output is correct |
4 |
Correct |
2 ms |
2668 KB |
Output is correct |
5 |
Correct |
2 ms |
2668 KB |
Output is correct |
6 |
Correct |
2 ms |
2668 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
2 ms |
2700 KB |
Output is correct |
2 |
Correct |
2 ms |
2668 KB |
Output is correct |
3 |
Correct |
2 ms |
2668 KB |
Output is correct |
4 |
Correct |
2 ms |
2668 KB |
Output is correct |
5 |
Correct |
2 ms |
2668 KB |
Output is correct |
6 |
Correct |
2 ms |
2668 KB |
Output is correct |
7 |
Correct |
2 ms |
2796 KB |
Output is correct |
8 |
Correct |
2 ms |
2796 KB |
Output is correct |
9 |
Correct |
3 ms |
2796 KB |
Output is correct |
10 |
Correct |
2 ms |
2796 KB |
Output is correct |
11 |
Correct |
2 ms |
2796 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
2 ms |
2700 KB |
Output is correct |
2 |
Correct |
2 ms |
2668 KB |
Output is correct |
3 |
Correct |
2 ms |
2668 KB |
Output is correct |
4 |
Correct |
2 ms |
2668 KB |
Output is correct |
5 |
Correct |
2 ms |
2668 KB |
Output is correct |
6 |
Correct |
2 ms |
2668 KB |
Output is correct |
7 |
Correct |
2 ms |
2796 KB |
Output is correct |
8 |
Correct |
2 ms |
2796 KB |
Output is correct |
9 |
Correct |
3 ms |
2796 KB |
Output is correct |
10 |
Correct |
2 ms |
2796 KB |
Output is correct |
11 |
Correct |
2 ms |
2796 KB |
Output is correct |
12 |
Correct |
78 ms |
11048 KB |
Output is correct |
13 |
Correct |
103 ms |
15324 KB |
Output is correct |
14 |
Correct |
80 ms |
7548 KB |
Output is correct |
15 |
Correct |
105 ms |
7672 KB |
Output is correct |
16 |
Correct |
80 ms |
7424 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
2 ms |
2700 KB |
Output is correct |
2 |
Correct |
2 ms |
2668 KB |
Output is correct |
3 |
Correct |
2 ms |
2668 KB |
Output is correct |
4 |
Correct |
2 ms |
2668 KB |
Output is correct |
5 |
Correct |
2 ms |
2668 KB |
Output is correct |
6 |
Correct |
2 ms |
2668 KB |
Output is correct |
7 |
Correct |
2 ms |
2796 KB |
Output is correct |
8 |
Correct |
2 ms |
2796 KB |
Output is correct |
9 |
Correct |
3 ms |
2796 KB |
Output is correct |
10 |
Correct |
2 ms |
2796 KB |
Output is correct |
11 |
Correct |
2 ms |
2796 KB |
Output is correct |
12 |
Correct |
3 ms |
2668 KB |
Output is correct |
13 |
Correct |
3 ms |
2796 KB |
Output is correct |
14 |
Correct |
2 ms |
2668 KB |
Output is correct |
15 |
Correct |
4 ms |
2668 KB |
Output is correct |
16 |
Correct |
2 ms |
2668 KB |
Output is correct |
17 |
Correct |
2 ms |
2668 KB |
Output is correct |
18 |
Correct |
2 ms |
2668 KB |
Output is correct |
19 |
Correct |
2 ms |
2668 KB |
Output is correct |
20 |
Correct |
2 ms |
2668 KB |
Output is correct |
21 |
Correct |
2 ms |
2796 KB |
Output is correct |
22 |
Correct |
3 ms |
2796 KB |
Output is correct |
23 |
Correct |
2 ms |
2796 KB |
Output is correct |
24 |
Correct |
3 ms |
2796 KB |
Output is correct |
25 |
Correct |
3 ms |
2796 KB |
Output is correct |
26 |
Correct |
17 ms |
2796 KB |
Output is correct |
27 |
Correct |
18 ms |
2796 KB |
Output is correct |
28 |
Correct |
22 ms |
2668 KB |
Output is correct |
29 |
Correct |
19 ms |
2796 KB |
Output is correct |
30 |
Correct |
12 ms |
2796 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
2 ms |
2700 KB |
Output is correct |
2 |
Correct |
2 ms |
2668 KB |
Output is correct |
3 |
Correct |
2 ms |
2668 KB |
Output is correct |
4 |
Correct |
2 ms |
2668 KB |
Output is correct |
5 |
Correct |
2 ms |
2668 KB |
Output is correct |
6 |
Correct |
2 ms |
2668 KB |
Output is correct |
7 |
Correct |
2 ms |
2796 KB |
Output is correct |
8 |
Correct |
2 ms |
2796 KB |
Output is correct |
9 |
Correct |
3 ms |
2796 KB |
Output is correct |
10 |
Correct |
2 ms |
2796 KB |
Output is correct |
11 |
Correct |
2 ms |
2796 KB |
Output is correct |
12 |
Correct |
78 ms |
11048 KB |
Output is correct |
13 |
Correct |
103 ms |
15324 KB |
Output is correct |
14 |
Correct |
80 ms |
7548 KB |
Output is correct |
15 |
Correct |
105 ms |
7672 KB |
Output is correct |
16 |
Correct |
80 ms |
7424 KB |
Output is correct |
17 |
Correct |
3 ms |
2668 KB |
Output is correct |
18 |
Correct |
3 ms |
2796 KB |
Output is correct |
19 |
Correct |
2 ms |
2668 KB |
Output is correct |
20 |
Correct |
4 ms |
2668 KB |
Output is correct |
21 |
Correct |
2 ms |
2668 KB |
Output is correct |
22 |
Correct |
2 ms |
2668 KB |
Output is correct |
23 |
Correct |
2 ms |
2668 KB |
Output is correct |
24 |
Correct |
2 ms |
2668 KB |
Output is correct |
25 |
Correct |
2 ms |
2668 KB |
Output is correct |
26 |
Correct |
2 ms |
2796 KB |
Output is correct |
27 |
Correct |
3 ms |
2796 KB |
Output is correct |
28 |
Correct |
2 ms |
2796 KB |
Output is correct |
29 |
Correct |
3 ms |
2796 KB |
Output is correct |
30 |
Correct |
3 ms |
2796 KB |
Output is correct |
31 |
Correct |
17 ms |
2796 KB |
Output is correct |
32 |
Correct |
18 ms |
2796 KB |
Output is correct |
33 |
Correct |
22 ms |
2668 KB |
Output is correct |
34 |
Correct |
19 ms |
2796 KB |
Output is correct |
35 |
Correct |
12 ms |
2796 KB |
Output is correct |
36 |
Correct |
87 ms |
10992 KB |
Output is correct |
37 |
Correct |
89 ms |
15212 KB |
Output is correct |
38 |
Correct |
58 ms |
7528 KB |
Output is correct |
39 |
Correct |
74 ms |
7404 KB |
Output is correct |
40 |
Correct |
87 ms |
7404 KB |
Output is correct |
41 |
Correct |
98 ms |
13164 KB |
Output is correct |
42 |
Correct |
87 ms |
14060 KB |
Output is correct |
43 |
Correct |
63 ms |
7016 KB |
Output is correct |
44 |
Correct |
81 ms |
7404 KB |
Output is correct |
45 |
Correct |
92 ms |
7404 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
2 ms |
2668 KB |
Output is correct |
2 |
Correct |
3 ms |
2804 KB |
Output is correct |
3 |
Correct |
2 ms |
2688 KB |
Output is correct |
4 |
Correct |
4 ms |
2668 KB |
Output is correct |
5 |
Execution timed out |
1081 ms |
2688 KB |
Time limit exceeded |
6 |
Halted |
0 ms |
0 KB |
- |