QOJ.ac
QOJ
ID | Problem | Submitter | Result | Time | Memory | Language | File size | Submit time | Judge time |
---|---|---|---|---|---|---|---|---|---|
#603447 | #7895. Graph Partitioning 2 | ucup-team2112# | WA | 390ms | 149396kb | C++20 | 4.9kb | 2024-10-01 16:37:18 | 2024-10-01 16:37:18 |
Judging History
answer
#include <bits/stdc++.h>
const int B = 350;
const int mod = 998244353;
using i64 = long long;
int norm(int x) {
if (x < 0) {
x += mod;
}
if (x >= mod) {
x -= mod;
}
return x;
}
template<class T>
T power(T a, int b) {
T res = 1;
for (; b; b /= 2, a *= a) {
if (b % 2) {
res *= a;
}
}
return res;
}
struct mint {
int x;
mint(int x = 0) : x(norm(x)) {}
int val() const {
return x;
}
mint operator-() const {
return mint(norm(mod - x));
}
mint inv() const {
assert(x != 0);
return power(*this, mod - 2);
}
mint &operator*=(const mint &rhs) {
x = i64(x) * rhs.x % mod;
return *this;
}
mint &operator+=(const mint &rhs) {
x = norm(x + rhs.x);
return *this;
}
mint &operator-=(const mint &rhs) {
x = norm(x - rhs.x);
return *this;
}
mint &operator/=(const mint &rhs) {
return *this *= rhs.inv();
}
friend mint operator*(const mint &lhs, const mint &rhs) {
mint res = lhs;
res *= rhs;
return res;
}
friend mint operator+(const mint &lhs, const mint &rhs) {
mint res = lhs;
res += rhs;
return res;
}
friend mint operator-(const mint &lhs, const mint &rhs) {
mint res = lhs;
res -= rhs;
return res;
}
friend mint operator/(const mint &lhs, const mint &rhs) {
mint res = lhs;
res /= rhs;
return res;
}
friend std::istream &operator>>(std::istream &is, mint &a) {
i64 v;
is >> v;
a = mint(v);
return is;
}
friend std::ostream &operator<<(std::ostream &os, const mint &a) {
return os << a.val();
}
};
void solve() {
int n, k;
std::cin >> n >> k;
std::vector adj(n + 1, std::vector<int>());
std::vector dp(n + 1, std::vector<mint>(B));
std::vector<int> sz(n + 1);
for (int i = 1; i < n; i += 1){
int u, v;
std::cin >> u >> v;
adj[u].emplace_back(v);
adj[v].emplace_back(u);
}
std::function<void(int, int) > dfs1 = [&](int u, int fa) {
sz[u] = 1;
dp[u][1] = 1;
for (auto v : adj[u]) {
if (v == fa) continue;
dfs1(v, u);
std::vector<mint> tmp(B);
for (int i = std::min(k + 1, sz[u]); i >= 0; i -= 1){
for (int j = std::min(sz[v], k + 1 - i); j >= 0; j -= 1) {
tmp[i + j] += dp[u][i] * dp[v][j];
}
}
std::swap(tmp, dp[u]);
sz[u] += sz[v];
}
dp[u][0] += dp[u][k + 1] + dp[u][k];
dp[u][k + 1] = 0;
};
auto ceil = [](int x, int y) {
return (x + y - 1) / y;
};
std::function<void(int, int) > dfs2 = [&](int u, int fa) {
sz[u] = 1;
dp[u][0] = 1;
for (auto v : adj[u]) {
if (v == fa) continue;
dfs2(v, u);
std::vector<mint> tmp(B);
for (int i = ceil(sz[u], k); i >= 0; i -= 1){
int x = sz[u] - i * k;
if (dp[u][i].val() == 0 || x < 0) continue;
for (int j = ceil(sz[v], k); j >= 0; j -= 1) {
int y = sz[v] - j * k;
if (y < 0) continue;
if (y % (k + 1) == k) {
tmp[i + j + 1] += dp[u][i] * dp[v][j];
if (y % (k + 1) + x % (k + 1) <= k + 1) {
tmp[i + j] += dp[u][i] * dp[v][j];
}
continue;
}
if(y % (k + 1) == 0) {
tmp[i + j] += dp[u][i] * dp[v][j];
}
else if (y % (k + 1) + x % (k + 1) <= k + 1) {
tmp[i + j] += dp[u][i] * dp[v][j];
}
}
}
std::swap(tmp, dp[u]);
sz[u] += sz[v];
}
// for (int i = 0; i <= ceil(sz[u], k); i += 1) {
// std::cerr << "dp[" << u << "][" << i << "] = " << dp[u][i] << "\n";
// }
};
if (k <= B) {
dfs1(1, 0);
std::cout << dp[1][0] << "\n";
}
else {
dfs2(1, 0);
mint res = 0;
for (int i = 0; i <= ceil(sz[1], k); i += 1) {
int x = sz[1] - i * k;
if (x < 0) continue;
if (x % (k + 1) == 0 || x % (k + 1) == k) {
res += dp[1][i];
}
}
std::cout << res << "\n";
}
}
int main(){
std::ios::sync_with_stdio(false);
std::cin.tie(nullptr);
std::cout.tie(nullptr);
int T;
std::cin >> T;
while(T--) {
solve();
}
return 0;
}
Details
Tip: Click on the bar to expand more detailed information
Test #1:
score: 100
Accepted
time: 0ms
memory: 3612kb
input:
2 8 2 1 2 3 1 4 6 3 5 2 4 8 5 5 7 4 3 1 2 1 3 2 4
output:
2 1
result:
ok 2 lines
Test #2:
score: 0
Accepted
time: 74ms
memory: 5208kb
input:
5550 13 4 10 3 9 1 10 8 3 11 8 5 10 7 9 6 13 5 9 7 2 7 5 12 4 8 8 2 4 1 3 4 7 8 2 5 6 7 4 8 2 3 11 1 11 10 1 4 9 10 8 4 3 6 5 7 6 1 10 2 11 7 11 1 17 2 14 16 13 15 17 3 15 11 1 6 13 2 13 17 4 8 14 10 8 14 14 5 9 12 14 2 12 17 17 6 15 7 14 6 2 14 2 13 2 4 8 4 3 11 7 3 14 1 11 9 13 3 5 10 6 8 3 10 14 ...
output:
0 3 112 0 1 0 1 0 0 0 1 0 1 0 0 1 0 140 0 0 0 814 1 6 1 1 2 2 0 612 0 1 0 0 0 1 1 0 0 121 4536 0 0 1718 0 0 1 0 444 1 1908 1813 3 74 0 1 0 46 0 0 0 0 0 0 0 0 0 1 0 1 1 1 239 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 48 0 2 0 0 0 1 364 0 206 0 0 76 0 1 0 0 2 0 1 2 0 0 1 0 0 4 0 1 1 0 0 1 1 1 0 0 1 1 ...
result:
ok 5550 lines
Test #3:
score: 0
Accepted
time: 390ms
memory: 149396kb
input:
3 99990 259 23374 69108 82204 51691 8142 67119 48537 97966 51333 44408 33147 68485 21698 86824 15746 58746 78761 86975 58449 61819 69001 68714 25787 2257 25378 14067 64899 68906 29853 31359 75920 85420 76072 11728 63836 55505 43671 98920 77281 25176 40936 66517 61029 61440 66908 52300 92101 59742 69...
output:
259200 247 207766300
result:
ok 3 lines
Test #4:
score: -100
Wrong Answer
time: 371ms
memory: 148988kb
input:
3 99822 332 11587 83046 63424 60675 63423 73718 74622 40130 5110 26562 28361 80899 30886 70318 8708 11068 34855 96504 7904 75735 31904 42745 87892 55105 82374 81319 77407 82147 91475 12343 13470 95329 58766 95716 83232 44156 75907 92437 69785 93598 47857 33018 62668 31394 24238 72675 98254 43583 180...
output:
315881300 31975200 706781756
result:
wrong answer 2nd lines differ - expected: '4505040', found: '31975200'