[BZOJ 3456]城市规划
Description
题库链接( bzoj 权限题,可以去 cogs 交♂ 题库链接2
求含有 \(n\) 个点有标号的简单无向联通图的个数。方案数对 \(1004535809(479\times 2^{21}+1)\) 取模。
\(n\leq 130000\)
Solution
似乎直接算答案比较麻烦。不过似乎一个相似的东西比较容易算,我们记 \(n\) 个点有标号的简单无向图的个数为 \(g(n)\) 。(相较要求的东西而言,少了约束:即不要求联通)。
这个比较好算了,因为简单无向图一共有 \(n\choose 2\) 条边。故答案就是 \(g(n)=2^{n\choose 2}\) 。
考虑 \(g\) 和答案间有什么关系。
不妨记答案为 \(f(n)\) ,我们枚举这个图中的 \(1\) 号点所在的联通块的大小,容易得到:
\[g(n)=\sum_{i=1}^n{n-1\choose i-1}f(i)g(n-i)\]
这个式子一定是成立的,因为它不重不漏地考虑了所有的情况。这是因为 \(1\) 号点所在的联通块大小不同,导致计数一定不重复;并且考虑到了所有情况。
我们试着把他变得好看一点,等号两边同除以 \((n-1)!\) ,那么
\[\frac{g(n)}{(n-1)!}=\sum_{i=1}^n\frac{f(i)}{(i-1)!}\times\frac{g(n-i)}{(n-i)!}\]
观察右边这个式子,我们考虑生成函数,让
\[\begin{aligned}C(x)&=\sum_{i=1}^\infty\frac{g(i)}{(i-1)!}x^i\\F(x)&=\sum_{i=1}^\infty\frac{f(i)}{(i-1)!}x^i\\G(x)&=\sum_{i=0}^\infty\frac{g(i)}{i!}x^i\end{aligned}\]
容易发现
\[\begin{equation}C(x)=F(x)G(x)\end{equation}\]
把 \(g(n)=2^{n\choose 2}\) 带入,其实 \(C(x),G(x)\) 的系数都是已知的,如果解出 \(F(n)\) 就能够得到 \(f(n)\) ,也就是答案。考虑如何解 \(F(x)\) 。
把 \((1)\) 式放在 \(\mod x^{n+1}\) 意义下
\[\begin{aligned}C(x)&\equiv F(x)G(x)&\pmod{x^{n+1}}\\F(x)&\equiv C(x)G^{-1}(x)&\pmod{x^{n+1}}\end{aligned}\]
这样,求出多项式 \(G(x)\) 的逆之后与 \(C(x)\) 做一遍卷积,即可得到 \(F(x)\) 。
取出 \(F(n)\) 乘上 \((n-1)!\) 即可得到 \(f(n)\) ,也就是答案。
Code
#include <bits/stdc++.h>
using namespace std;
const int N = 130000*4;
const int yzh = 1004535809;
int n, C[N+5], G[N+5], invG[N+5], GN[N+5];
int g[N+5], inv[N+5], L, R[N+5], len, tmp[N+5];
int quick_pow(int a, int b) {
int ans = 1;
while (b) {
if (b&1) ans = 1ll*ans*a%yzh;
b >>= 1, a = 1ll*a*a%yzh;
}
return ans;
}
int C2(int n) {return 1ll*n*(n-1)/2%(yzh-1); }
void NTT(int *A, int o) {
for (int i = 0; i < len; i++) if (i < R[i]) swap(A[i], A[R[i]]);
for (int i = 1; i < len; i <<= 1) {
int gn = GN[i], x, y;
if (o == -1) gn = quick_pow(gn, yzh-2);
for (int j = 0; j < len; j += (i<<1)) {
int g = 1;
for (int k = 0; k < i; k++, g = 1ll*g*gn%yzh) {
x = A[j+k], y = 1ll*g*A[j+k+i]%yzh;
A[j+k] = (x+y)%yzh, A[j+k+i] = (x-y+yzh)%yzh;
}
}
}
}
void poly_inv(int *A, int *B, int deg) {
if (deg == 1) {B[0] = quick_pow(A[0], yzh-2); return; }
poly_inv(A, B, (deg+1)>>1);
for (L = 0, len = 1; len <= (deg<<1); len <<= 1) ++L;
for (int i = 0; i < len; i++) R[i] = (R[i>>1]>>1)|((i&1)<<(L-1));
for (int i = 0; i < deg; i++) tmp[i] = A[i];
for (int i = deg; i < len; i++) tmp[i] = 0;
for (int i = (deg+1)>>1; i < len; i++) B[i] = 0;
NTT(tmp, 1), NTT(B, 1);
for (int i = 0; i < len; i++)
B[i] = 1ll*B[i]*(((2ll-1ll*tmp[i]*B[i]%yzh)+yzh)%yzh)%yzh;
NTT(B, -1); int inv = quick_pow(len, yzh-2);
for (int i = 0; i < len; i++) B[i] = 1ll*B[i]*inv%yzh;
}
void work() {
scanf("%d", &n); g[0] = inv[0] = inv[1] = 1;
for (int i = 1; i <= N; i <<= 1) GN[i] = quick_pow(3, (yzh-1)/(i<<1));
for (int i = 2; i <= n; i++) inv[i] = 1ll*(yzh-yzh/i)*inv[yzh%i]%yzh;
for (int i = 1; i <= n; i++) inv[i] = 1ll*inv[i]*inv[i-1]%yzh;
for (int i = 1, lim = 1; i <= n; i++, lim = 1ll*lim*2%yzh)
g[i] = 1ll*g[i-1]*lim%yzh;
for (int i = 0; i <= n; i++) G[i] = 1ll*g[i]*inv[i]%yzh;
for (int i = 1; i <= n; i++) C[i] = 1ll*g[i]*inv[i-1]%yzh;
poly_inv(G, invG, n+1);
for (L = 0, len = 1; len <= (n<<1); len <<= 1) ++L;
for (int i = 0; i < len; i++) R[i] = (R[i>>1]>>1)|((i&1)<<(L-1));
NTT(C, 1), NTT(invG, 1);
for (int i = 0; i < len; i++) C[i] = 1ll*C[i]*invG[i]%yzh;
NTT(C, -1); int inv = quick_pow(len, yzh-2);
for (int i = 0; i < len; i++) C[i] = 1ll*C[i]*inv%yzh;
int ans = C[n];
for (int i = 1; i < n; i++) ans = 1ll*ans*i%yzh;
printf("%d\n", ans);
}
int main() {work(); return 0; }
[BZOJ 3456]城市规划的更多相关文章
- [BZOJ 3456]城市规划(cdq分治+FFT)
[BZOJ 3456]城市规划(cdq分治+FFT) 题面 求有标号n个点无向连通图数目. 分析 设\(f(i)\)表示\(i\)个点组成的无向连通图数量,\(g(i)\)表示\(i\)个点的图的数量 ...
- BZOJ 3456: 城市规划 [多项式求逆元 组合数学 | 生成函数 多项式求ln]
3456: 城市规划 题意:n个点组成的无向连通图个数 以前做过,今天复习一下 令\(f[n]\)为n个点的无向连通图个数 n个点的完全图个数为\(2^{\binom{n}{2}}\) 和Bell数的 ...
- BZOJ 3456: 城市规划 与 多项式求逆算法介绍(多项式求逆, dp)
题面 求有 \(n\) 个点的无向有标号连通图个数 . \((1 \le n \le 1.3 * 10^5)\) 题解 首先考虑 dp ... 直接算可行的方案数 , 容易算重复 . 我们用总方案数减 ...
- bzoj 3456 城市规划——分治FFT / 多项式求逆 / 多项式求ln
题目:https://www.lydsy.com/JudgeOnline/problem.php?id=3456 分治FFT: 设 dp[ i ] 表示 i 个点时连通的方案数. 考虑算补集:连通的方 ...
- bzoj 3456 城市规划 多项式求逆+分治FFT
城市规划 Time Limit: 40 Sec Memory Limit: 256 MBSubmit: 1091 Solved: 629[Submit][Status][Discuss] Desc ...
- bzoj 3456 城市规划 —— 分治FFT / 多项式求逆 / 指数型生成函数(多项式求ln)
题目:https://www.lydsy.com/JudgeOnline/problem.php?id=3456 首先考虑DP做法,正难则反,考虑所有情况减去不连通的情况: 而不连通的情况就是那个经典 ...
- BZOJ 3456 城市规划 ( NTT + 多项式求逆 )
题目链接: https://www.lydsy.com/JudgeOnline/problem.php?id=3456 题意: 求出\(n\)个点的简单(无重边无自环)无向连通图的个数.(\(n< ...
- BZOJ 3456 城市规划 (组合计数、DP、FFT)
题目链接: https://www.lydsy.com/JudgeOnline/problem.php?id=3456 著名的多项式练习题,做法也很多,终于切掉了纪念 首先求一波递推式: 令\(F(n ...
- BZOJ 3456: 城市规划 [多项式求逆元 DP]
题意: 求出n个点的简单(无重边无自环)无向连通图数目.方案数mod 1004535809(479 * 2 ^ 21 + 1)即可. n<=130000 DP求方案 g(n) n个点所有图的方案 ...
随机推荐
- python scrapy框架爬虫遇到301
1.什么是状态码301 301 Moved Permanently(永久重定向) 被请求的资源已永久移动到新位置,并且将来任何对此资源的引用都应该使用本响应返回的若干个URI之一.如果可能,拥有链接编 ...
- 系统右键添加cmd命令
我们运行cmd.exe时,会发现刚刚打开时,一般提示在默认路径下: 有时候我们希望直接能够切换到某个路径下运行程序或者做某些工作,那么切换路径可能就会比较麻烦.下面我们介绍一种比较实用的方法,用鼠标右 ...
- JavaScript(第十五天)【匿名函数和闭包】
学习要点: 1.匿名函数 2.闭包 匿名函数就是没有名字的函数,闭包是可访问一个函数作用域里变量的函数.声明:本节内容需要有面向对象和少量设计模式基础,否则无法听懂.(所需基础15章的时候已经声明 ...
- c++第0次作业
1.你认为大学的学习生活.同学关系.师生应该是怎样? 随着大学生活的慢慢到来,我开始领悟到大学并不是自由的天堂,相反,我们更加的走进社会这个牢笼.在这个牢笼中有着从前的我们并不需要在意和考虑的规则与问 ...
- 2018c语言第1次作业
6-1 计算两数的和与差 1.设计思路 (1)主要描述题目算法 第一步:把两个数的加减法分别赋给psum和pdiff. 第二步:通过psum和pdiff的地址把值传回主函数. (2)流程图.(无) 2 ...
- 十款不容错过的Swift iOS开源项目及介绍
1.十款不容错过的Swift iOS开源项目. http://www.csdn.net/article/2014-10-16/2822083-swift-ios-open-source-project ...
- 算法第四版 coursera公开课 普林斯顿算法 ⅠⅡ部分 Robert Sedgewick主讲《Algorithms》
这是我在网上找到的资源,下载之后上传到我的百度网盘了. 包含两部分:1:算法视频的种子 2:字幕 下载之后,请用迅雷播放器打开,因为迅雷可以直接在线搜索字幕. 如果以下链接失效,请在下边留言,我再更新 ...
- 构建微服务开发环境8————Hello 微服务
[内容指引] 1.用IDEA打开微服务项目; 2.更新Maven依赖: 3.IntelliJ IDEA JDK配置; 4.修改代码: 5.运行微服务: 6.将代码变更提交到Github. 经过前面的努 ...
- Linux "零拷贝" sendfile函数中文说明及实际操作
Sendfile函数说明 #include ssize_t sendfile(int out_fd, int in_fd, off_t *offset, size_t count); sendfile ...
- js控制表格实时编辑
点击添加,在表格的最后一行添加一行表单元素,右侧按钮变为保存和取消.(点击保存,数据用ajax无刷新添加到界面,点击取消,取消此行的添加.)点击编辑,在本行改为表单,带有原来的值,右侧按钮变为确认和取 ...