Codeforces 981H:K Paths
传送门
考虑枚举一条路径 \(u,v\),求出所有边经过它的答案
只需要求出 \(u\) 的子树内选出 \(k\) 个可以重复的点,使得它们到 \(u\) 的路径不相交
不难发现,就是从 \(u\) 的儿子的子树内各自选一个以及可以选多次 \(u\) 自己
设这个方案数为 \(f_u\)
再设 \(size_u\) 表示 \(u\) 的子树大小,\(son_u\) 表示 \(u\) 的儿子集合
考虑生成函数,设
\[A(x)=\prod_{v\in son_u}(1+size_vx)
\]
那么 \(f_u=\sum_{i=0}^{k}k^{\underline i}A_i\)
运用分治 \(FFT\) 预处理 \(f\) 可以做到 \(O(nlog^2n)\)
现在的问题是当 \(u,v\) 是祖先关系的时候,设 \(u\) 为 \(v\) 的祖先
那么 \(u\) 要计算以 \(v\) 为根的时候的子树答案
一个想法就是两遍 \(dfs\) 每次到一条边 \(u\rightarrow v\) 对于这个多项式乘上一个
\[\frac{1+(n-size_u)x}{1+size_vx}
\]
而考虑到一个点的儿子不同的 \(size\) 最多之后 \(\sqrt{n}\) 个,那么只要做 \(\sqrt{n}\) 次上面的操作,复杂度 \(O(n\sqrt{n})\)
总复杂度 \(O(nlog^2n+n\sqrt{n})\)
枚举路径可以通过子树和优化成 \(O(n)\)
# include <bits/stdc++.h>
using namespace std;
typedef long long ll;
const int maxn(4e5 + 5);
const int mod(998244353);
inline void Inc(int &x, int y) {
x = x + y >= mod ? x + y - mod : x + y;
}
inline void Dec(int &x, int y) {
x = x - y < 0 ? x - y + mod : x - y;
}
inline int Add(int x, int y) {
return x + y >= mod ? x + y - mod : x + y;
}
inline int Sub(int x, int y) {
return x - y < 0 ? x - y + mod : x - y;
}
inline int Pow(ll x, int y) {
ll ret = 1;
for (; y; y >>= 1, x = x * x % mod)
if (y & 1) ret = ret * x % mod;
return ret;
}
int w[2][maxn], r[maxn], l, deg;
inline void Init(int len) {
int i, x, y;
for (l = 0, deg = 1; deg < len; deg <<= 1) ++l;
for (i = 0; i < deg; ++i) r[i] = (r[i >> 1] >> 1) | ((i & 1) << (l - 1));
x = Pow(3, (mod - 1) / deg), y = Pow(x, mod - 2), w[0][0] = w[1][0] = 1;
for (i = 1; i < deg; ++i) w[0][i] = (ll)w[0][i - 1] * x % mod, w[1][i] = (ll)w[1][i - 1] * y % mod;
}
inline void DFT(int *p, int opt) {
int i, j, k, t, wn, x, y;
for (i = 0; i < deg; ++i) if (r[i] < i) swap(p[r[i]], p[i]);
for (i = 1; i < deg; i <<= 1)
for (t = i << 1, j = 0; j < deg; j += t)
for (k = 0; k < i; ++k) {
wn = w[opt == -1][deg / t * k];
x = p[j + k], y = (ll)p[j + k + i] * wn % mod;
p[j + k] = Add(x, y), p[j + k + i] = Sub(x, y);
}
if (opt == -1) for (i = 0, wn = Pow(deg, mod - 2); i < deg; ++i) p[i] = (ll)p[i] * wn % mod;
}
int val[maxn], len, tmpa[20][maxn], tmpb[20][maxn], *a, *b;
void Solve(int l, int r, int *ret, int d) {
if (l == r) {
ret[0] = 1, ret[1] = val[l];
return;
}
int mid = (l + r) >> 1, tmp = r - l + 2, i;
Solve(l, mid, tmpa[d], d + 1), Solve(mid + 1, r, tmpb[d], d + 1);
a = tmpa[d], b = tmpb[d], Init(tmp), DFT(a, 1), DFT(b, 1);
for (i = 0; i < deg; ++i) a[i] = (ll)a[i] * b[i] % mod;
DFT(a, -1);
for (i = 0; i < tmp; ++i) ret[i] = a[i];
for (i = 0; i < deg; ++i) a[i] = b[i] = 0;
}
int n, k, first[maxn], cnt, size[maxn], ans, tmp[maxn], dv[maxn];
int f[maxn], fac[maxn], rec[maxn], inv[maxn], g[maxn], h[maxn];
struct Edge {
int to, next;
} edge[maxn];
inline void AddEdge(int u, int v) {
edge[cnt] = (Edge){v, first[u]}, first[u] = cnt++;
edge[cnt] = (Edge){u, first[v]}, first[v] = cnt++;
}
inline int Calc(int len) {
int i, ret = 0, r = min(len, k);
for (i = 0; i <= r; ++i) Inc(ret, (ll)tmp[i] * fac[k] % mod * inv[k - i] % mod);
return ret;
}
inline void PolyDiv(int len, int v) {
int i, inv, invv = Pow(v, mod - 2);
for (i = 0; i <= len; ++i) dv[i] = tmp[i], tmp[i] = 0;
for (i = len; i; --i)
if (dv[i]) {
tmp[i - 1] = inv = (ll)dv[i] * invv % mod;
Dec(dv[i], (ll)inv * invv % mod), Dec(dv[i - 1], inv);
}
}
inline void PolyMul(int len, int v) {
int i;
for (i = len; i; --i) Inc(tmp[i], (ll)tmp[i - 1] * v % mod);
}
inline int Cmp(int x, int y) {
return size[x] < size[y];
}
void Dfs1(int u, int ff) {
int e, v, i, j;
size[u] = 1;
for (e = first[u]; ~e; e = edge[e].next)
if ((v = edge[e].to) ^ ff) Dfs1(v, u), Inc(g[u], g[v]), size[u] += size[v];
len = 0;
for (e = first[u]; ~e; e = edge[e].next)
if ((v = edge[e].to) ^ ff) val[++len] = size[v];
if (!len) f[u] = 1, Inc(g[u], 1);
else {
Solve(1, len, tmp, 0), f[u] = Calc(len), Inc(g[u], f[u]), len = 0;
for (e = first[u]; ~e; e = edge[e].next)
if ((v = edge[e].to) ^ ff) val[++len] = v;
sort(val + 1, val + len + 1, Cmp);
for (i = 0; i <= len; ++i) rec[i] = tmp[i];
for (i = 1; i <= len; ++i) {
if (size[val[i]] == size[val[i - 1]]) h[val[i]] = h[val[i - 1]];
else {
for (j = 0; j <= len; ++j) tmp[j] = rec[j];
PolyDiv(len, size[val[i]]), PolyMul(len, n - size[u]);
h[val[i]] = Calc(len);
}
}
}
}
void Dfs2(int u, int ff) {
int e, v;
for (e = first[u]; ~e; e = edge[e].next)
if ((v = edge[e].to) ^ ff) Inc(ans, (ll)Sub(h[v], f[u]) * g[v] % mod), Dfs2(v, u);
}
int main() {
memset(first, -1, sizeof(first));
int i, u, v, sum = 0, mx;
scanf("%d%d", &n, &k);
if (k == 1) return printf("%lld\n", ((ll)n * (n - 1) >> 1) % mod), 0;
mx = max(n, k);
for (i = 1; i < n; ++i) scanf("%d%d", &u, &v), AddEdge(u, v);
inv[0] = inv[1] = 1;
for (i = 2; i <= mx; ++i) inv[i] = (ll)(mod - mod / i) * inv[mod % i] % mod;
for (i = 2; i <= mx; ++i) inv[i] = (ll)inv[i - 1] * inv[i] % mod;
for (i = fac[0] = 1; i <= mx; ++i) fac[i] = (ll)fac[i - 1] * i % mod;
Dfs1(1, 0), Dfs2(1, 0);
for (i = 1; i <= n; ++i) Inc(sum, f[i]);
sum = (ll)sum * sum % mod;
for (i = 1; i <= n; ++i) Dec(sum, (ll)f[i] * f[i] % mod);
sum = (ll)sum * inv[2] % mod;
Inc(ans, sum), printf("%d\n", ans);
return 0;
}