Submission #1266555

#TimeUsernameProblemLanguageResultExecution timeMemory
1266555MisterReaperStar Trek (CEOI20_startrek)C++20
100 / 100
96 ms21064 KiB
// File C.cpp created on 02.09.2025 at 23:43:24 #include <bits/stdc++.h> using i64 = long long; #ifdef DEBUG #include "/home/ahmetalp/Desktop/Workplace/debug.h" #else #define debug(...) void(23) #endif template<typename T> T power(T a, i64 b) { T res {1}; while (b) { if (b & 1) { res *= a; } a *= a; b >>= 1; } return res; } constexpr int md = int(1E9) + 7; struct MInt { int val; MInt() : val(0) {} template<typename T> MInt(T x) { if (-md <= x && x < md) { val = int(x); } else { val = int(x % md); } if (val < 0) { val += md; } } int operator()() { return val; } MInt& operator+= (MInt rhs) { if ((val += rhs.val) >= md) { val -= md; } return *this; } MInt& operator-= (MInt rhs) { if ((val -= rhs.val) < 0) { val += md; } return *this; } MInt& operator*= (MInt rhs) { val = int(1LL * val * rhs.val % md); return *this; } MInt inv() { return power(*this, md - 2); } MInt& operator/= (MInt rhs) { return *this *= rhs.inv(); } bool operator== (MInt rhs) const { return val == rhs.val; } bool operator!= (MInt rhs) const { return val != rhs.val; } }; MInt operator+ (MInt lhs, MInt rhs) { return lhs += rhs; } MInt operator- (MInt lhs, MInt rhs) { return lhs -= rhs; } MInt operator* (MInt lhs, MInt rhs) { return lhs *= rhs; } MInt operator/ (MInt lhs, MInt rhs) { return lhs /= rhs; } std::ostream& operator<< (std::ostream& os, MInt x) { return os << x.val; } std::string to_string(MInt x) { return to_string(x.val); } using Z = MInt; Z calc(Z x, Z y, i64 d) { if (d == 0) { return 1; } else if (d & 1) { return power(x, d) + calc(x, y, d - 1) * y; } else { Z t = calc(x, y, d / 2); Z xp = power(x, d / 2); Z yp = power(y, d / 2); return (xp + yp) * t - xp * yp; } } int main() { std::ios::sync_with_stdio(false); std::cin.tie(nullptr); int N; i64 D; std::cin >> N >> D; std::vector<std::vector<int>> adj(N); for (int i = 1; i < N; ++i) { int A, B; std::cin >> A >> B; --A, --B; adj[A].emplace_back(B); adj[B].emplace_back(A); } int wc = 0, lc = 0; std::vector<int> f(N), globf(N); std::vector<std::array<int, 2>> cntf(N); auto dfs1 = [&](auto&& self, int v, int pr) -> void { f[v] = 0; for (auto u : adj[v]) { if (u == pr) { continue; } self(self, u, v); cntf[v][f[u]]++; } f[v] = cntf[v][0] > 0; }; dfs1(dfs1, 0, 0); auto dfs2 = [&](auto&& self, int v, int pr) -> void { ((globf[v] = f[v]) ? wc : lc)++; for (auto u : adj[v]) { if (u == pr) { continue; } cntf[v][f[u]]--; f[v] = cntf[v][0] > 0; cntf[u][f[v]]++; f[u] = cntf[u][0] > 0; self(self, u, v); cntf[u][f[v]]--; f[u] = cntf[u][0] > 0; cntf[v][f[u]]++; f[v] = cntf[v][0] > 0; } }; dfs2(dfs2, 0, 0); std::vector<int> cc(N); cntf.assign(N, {0, 0}); std::vector<std::array<int, 2>> res(N); auto dfs3 = [&](auto&& self, int v, int pr) -> void { f[v] = 0; for (auto u : adj[v]) { if (u == pr) { continue; } self(self, u, v); res[v][f[u]] += (f[u] == 1 ? (cntf[u][0] == 1 ? res[u][0] : 0) : res[u][0] + res[u][1]); cntf[v][f[u]]++; } f[v] = cntf[v][0] > 0; res[v][0] += (f[v] == 0); return; }; dfs3(dfs3, 0, 0); auto dfs4 = [&](auto&& self, int v, int pr) -> void { cc[v] = (f[v] == 1 ? (cntf[v][0] == 1 ? res[v][0] : 0) : res[v][0] + res[v][1]); for (auto u : adj[v]) { if (u == pr) { continue; } res[v][0] -= (f[v] == 0); cntf[v][f[u]]--; res[v][f[u]] -= (f[u] == 1 ? (cntf[u][0] == 1 ? res[u][0] : 0) : res[u][0] + res[u][1]); f[v] = cntf[v][0] > 0; res[v][0] += (f[v] == 0); res[u][0] -= (f[u] == 0); cntf[u][f[v]]++; res[u][f[v]] += (f[v] == 1 ? (cntf[v][0] == 1 ? res[v][0] : 0) : res[v][0] + res[v][1]); f[u] = cntf[u][0] > 0; res[u][0] += (f[u] == 0); self(self, u, v); res[u][0] -= (f[u] == 0); cntf[u][f[v]]--; res[u][f[v]] -= (f[v] == 1 ? (cntf[v][0] == 1 ? res[v][0] : 0) : res[v][0] + res[v][1]); f[u] = cntf[u][0] > 0; res[u][0] += (f[u] == 0); res[v][0] -= (f[v] == 0); cntf[v][f[u]]++; res[v][f[u]] += (f[u] == 1 ? (cntf[u][0] == 1 ? res[u][0] : 0) : res[u][0] + res[u][1]); f[v] = cntf[v][0] > 0; res[v][0] += (f[v] == 0); } }; dfs4(dfs4, 0, 0); Z w = 0; for (int i = 0; i < N; ++i) { if (globf[i]) { w += cc[i]; } else { w -= cc[i]; } } debug(wc, lc, globf, cc); Z vr = lc * calc(Z(N) * N, w, D - 1); // std::vector<Z> g(D); // g[0] = lc; // for (int i = 1; i < D; ++i) { // g[i] = lc * power(Z(N), 2 * i) + g[i - 1] * w; // } // debug(g, vr); Z ans; if (globf[0]) { ans = power(Z(N), 2 * D) - cc[0] * vr; } else { ans = cc[0] * vr; } std::cout << ans << '\n'; return 0; }
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...