拆贡献算总和(抓住双射)+竞赛图与连通分量相关计数:arc163_d

本文搬运自本人高中时期CSDN博客,若图片加载不出来,可到原文查看:https://blog.csdn.net/zhangtingxiqwq/article/details/132994501

https://atcoder.jp/contests/arc163/tasks/arc163_d

首先竞赛图有个性质:

在这里插入图片描述

然后有了这个性质,我们就可以考虑计数题的经典套路,拆贡献算总和。

考虑假如我们成功划分成两个集合 A,BA,B ,其中一个可以为空(我们可以令 AA 可以为空,防止算重),我们就记为算到一个新的连通块。

为什么是对的?

考虑对于 kk 个连通块的竞赛图,必然会有 kk 种划分方法。而对应每种划分方法,恰好也对应着其某些竞赛图的一种划分方式中相对应的连通分量。这个过程形成一个 双射关系。

最关键的地方抓住了,然后剩下直接上dp就行了。

dpi,j,kdp_{i,j,k}ii 个点, jj 个在 AA 里,有 kk 个为小连大。转移枚举在哪个连通块,有多少条边为小连大,转移系数乘个组合数就行了。

1
2
3
4
5
6
7
8
9
10
11
12
13
f[1][0][0]=f[1][1][0]=1; 
for(i=1; i<n; ++i) {
for(j=0; j<=i; ++j)
for(k=0; k<=m; ++k) {
for(c=0; c<=j && k+c<=m; ++c) {
Add(f[i+1][j+1][k+c], f[i][j][k]*C(j, c)%mo);
}
for(c=0; c<=i-j && k+j+c<=m; ++c) {
Add(f[i+1][j][k+j+c], f[i][j][k]*C(i-j, c)%mo);
}
}
}
for(i=0; i<n; ++i) Add(ans, f[n][i][m]);