【BZOJ 3456】城市规划
http://www.lydsy.com/JudgeOnline/problem.php?id=3456
设\(f(n)\)表示n个点有标号无向连通图的数目。
dp:\(f(n)=2^{n\choose 2}-\sum\limits_{i=1}^{n-1}f(i){n-1\choose i-1}2^{n-i\choose 2}\)
这是一个可以用分治FFT\(O(n\log^2n)\)做的式子。
移项,分配阶乘使之变为卷积的形式:$$\sum_{i=0}n\frac{f(i)}{(i-1)!}\times\frac{2{n-i\choose 2}}{(n-i)!}=\frac{2^{n\choose 2}}{(n-1)!}$$
(当\(i=0\)时默认\(\frac{f(0)}{(0-1)!}=0\))
然后可以多项式求逆一波。
设多项式\(A(x)\)在模\(x^n\)意义下的逆多项式为\(B_n(x)\),可以在任意一篇博客上找到推导过程,这里直接写结论:
\]
时间复杂度\(O(n\log n)\)。
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
typedef long long ll;
const int p = 1004535809;
const int N = 131072 << 1;
int ipow(int a, int b) {
int r = 1, w = a;
while (b) {
if (b & 1) r = 1ll * r * w % p;
w = 1ll * w * w % p;
b >>= 1;
}
return r;
}
int n, rev[N];
ll G[33], nG[33], f[N], ni[N], nifrac[N], t[N];
void DFT(ll *a, int n, int flag) {
for (int i = 0; i < n; ++i) if (i < rev[i]) swap(a[i], a[rev[i]]);
int now = -1;
for (int m = 2; m <= n; m <<= 1) {
int mid = m >> 1; ++now;
ll wn = flag == 1 ? G[now] : nG[now];
for (int i = 0; i < n; i += m) {
ll w = 1;
for (int j = 0; j < mid; ++j) {
ll u = a[i + j], v = a[i + j + mid] * w % p;
a[i + j] = (u + v) % p;
a[i + j + mid] = (u - v + p) % p;
w = w * wn % p;
}
}
}
if (flag == -1) {
ll nii = ipow(n, p - 2);
for (int i = 0; i < n; ++i)
(a[i] *= nii) %= p;
}
}
void INV(ll *A, ll *B, int n) {
if (n == 1) {B[0] = ipow(A[0], p - 2); return;}
INV(A, B, (n + 1) >> 1);
int len = 1, bl = -1, nn = (n << 1) - 1;
for (; len < nn; len <<= 1, ++bl);
for (int i = 1; i < len; ++i) rev[i] = (rev[i >> 1] >> 1) | ((i & 1) << bl);
for (int i = 0; i < n; ++i) t[i] = A[i];
for (int i = n; i < len; ++i) t[i] = 0;
DFT(t, len, 1); DFT(B, len, 1);
for (int i = 0; i < len; ++i) B[i] = B[i] * ((2 - t[i] * B[i] % p + p) % p) % p;
DFT(B, len, -1);
for (int i = n; i < len; ++i) B[i] = 0;
}
ll A[N], B[N], C[N], nA[N];
int main() {
scanf("%d", &n);
if (n <= 2) {puts("1"); return 0;}
int len = 1, bl = -1, nn = ((n + 1) << 1) - 1;
for (; len < nn; len <<= 1, ++bl);
G[bl] = ipow(3, (p - 1) / len); nG[bl] = ipow(G[bl], p - 2);
for (int i = bl - 1; i >= 0; --i) G[i] = G[i + 1] * G[i + 1] % p, nG[i] = nG[i + 1] * nG[i + 1] % p;
ni[1] = 1; nifrac[0] = nifrac[1] = 1;
for (int i = 2; i <= n; ++i) {
ni[i] = (p - p / i) * ni[p % i] % p;
nifrac[i] = nifrac[i - 1] * ni[i] % p;
}
A[0] = 1;
ll last = 1, C = 1;
for (int i = 1; i <= n; ++i) {
A[i] = last * nifrac[i] % p;
B[i] = last * nifrac[i - 1] % p;
last = last * ((C <<= 1) %= p) % p;
}
INV(A, nA, n + 1);
for (int i = 1; i < len; ++i) rev[i] = (rev[i >> 1] >> 1) | ((i & 1) << bl);
DFT(nA, len, 1); DFT(B, len, 1);
for (int i = 0; i < len; ++i) (B[i] *= nA[i]) %= p;
DFT(B, len, -1);
ll noww = 1;
for (int i = 2; i <= n; ++i) {
(noww *= (i - 1)) %= p;
(B[i] *= noww) %= p;
}
printf("%lld\n", B[n]);
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]城市规划
Description 题库链接( bzoj 权限题,可以去 cogs 交♂ 题库链接2 求含有 \(n\) 个点有标号的简单无向联通图的个数.方案数对 \(1004535809(479\times ...
- 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个点所有图的方案 ...
随机推荐
- iOS学习笔记(3)— 屏幕旋转
一.屏幕旋转机制: iOS通过加速计判断当前的设备方向和屏幕旋转.当加速计检测到方向变化的时候,屏幕旋转的流程如下: 1.设备旋转时,系统接收到旋转事件. 2.系统将旋转事件通过AppDelegate ...
- bzoj 3236: 洛谷 P4396: [AHOI2013]作业 (莫队, 分块)
题目传送门:洛谷P4396. 题意简述: 给定一个长度为\(n\)的数列.有\(m\)次询问,每次询问区间\([l,r]\)中数值在\([a,b]\)之间的数的个数,和数值在\([a,b]\)之间的不 ...
- 【技巧总结】Penetration Test Engineer[2]-Information gathering
2.信息收集 信息收集是属于前期交互阶段所需要了解的问题. 2.1.前期交互内容 签署授权文件:首要要和受测试方签订授权协议. 划定范围:指定了一个二级域名作为测试目标,那么其他二级域名在测试范围内. ...
- vim加密文件
一.加密文件内容 vim gt-1.sh 输入:X 注意是大写的X 输入密码 然后,保存 再次访问,需要输入密码 如果输入密码错误,内容显示为乱码 用cat或more查看文件内容,显示为乱码:用vi重 ...
- openjudge-NOI 2.5-1789 算24
题目链接:http://noi.openjudge.cn/ch0205/1789/ 题解: 并不是非常简单的搜索,需要考虑一些东西…… 首先有运算符优先级的限制,还有括号,数字的顺序也可以调整,如果只 ...
- 四、Springboot Debug调试
描述: 在使用maven插件执行spring-boot:run进行启动的时候,如果设置的断点进不去,要进行以下的设置. 1.添加jvm参数配置 在spring-boot的maven插件加上jvmArg ...
- linux查看内存、CPU占用资源最多的进程
[内存占用] #利用ps命令,默认使用ps参数会显示的结果 ps -aux USER PID %CPU %MEM VSZ RSS TTY STAT START TIME COMMAND root 1 ...
- 使用mongoose操作mongodb数据库
1.如何启动mongodb数据库 参考地址:http://www.runoob.com/mongodb/mongodb-window-install.html 在数据库安装的地方,bin文件夹,输入 ...
- java基础46 IO流技术(输出字符流/缓冲输出字符流)
一.输出字符流 1.1.输出字符流体系 --------| Writer:输出字符流的基类(抽象类) ----------| FileWriter:向文件输出数据输出字符流(把程序中的数据写到硬盘中 ...
- [扩展推荐] Laravel 中利用 GeoIP 获取用户地理位置信息
我最近需要一个用户地域检测来设置用户的默认区域和货币.由 Daniel Stainback 创建的 torann/geoip 很好地满足为Laravel 5 项目提供 GeoIP 服务的要求. 这个 ...