【BZOJ】3456: 城市规划 动态规划+多项式求逆
【题意】求n个点的带标号无向连通图个数 mod 1004535809。n<=130000。
【算法】动态规划+多项式求逆
【题解】设$g_n$表示n个点的无向图个数,那么显然
$$g_n=2^{\frac{n(n-1)}{2}}$$
设$f_n$表示n个点的无向连通图个数,通过枚举1号点所属连通块大小很容易得到$g_n$的等式:
$$g_n=\sum_{i=1}^{n}\binom{n-1}{i-1}*f_i*g_{n-i}$$
特别的,$g_0=1$。
将组合数拆分一下,即可得到:
$$\frac{g_n}{(n-1)!}=\sum_{i=1}^{n}\frac{f_i}{(i-1)!}*\frac{g_{n-i}}{(n-i)!}$$
多项式求逆即可,注意下标从1开始需要强制F(0)=0,以及由于$g_0=1$所以右边额外+1。(这个式子恰好是多项式乘法的形式)
复杂度O(n log n)。
#include<cstdio>
#include<cstring>
#include<cctype>
#include<cmath>
#include<queue>
#include<stack>
#include<set>
#include<vector>
#include<algorithm>
#define ll long long
#define lowbit(x) x&-x
using namespace std;
int read(){
char c;int s=,t=;
while(!isdigit(c=getchar()))if(c=='-')t=-;
do{s=s*+c-'';}while(isdigit(c=getchar()));
return s*t;
}
int min(int a,int b){return a<b?a:b;}
int max(int a,int b){return a<b?b:a;}
int ab(int x){return x>?x:-x;}
//int MO(int x){return x>=MOD?x-MOD:x;}
//void insert(int u,int v){tot++;e[tot].v=v;e[tot].from=first[u];first[u]=tot;}
/*------------------------------------------------------------*/
const int inf=0x3f3f3f3f,maxn=,MOD=; int n,F[maxn],G[maxn],H[maxn]; int power(int x,int k){int ans=;while(k){if(k&)ans=1ll*ans*x%MOD;x=1ll*x*x%MOD;k>>=;}return ans;}
int inv(int x){return power(x,MOD-);}
int M(int x){return x>=MOD?x-MOD:x;} void ntt(int *a,int n,int f){
int k=;
for(int i=;i<n;i++){
if(i<k)swap(a[i],a[k]);
for(int j=n>>;(k^=j)<j;j>>=);
}
for(int l=;l<=n;l<<=){
int m=l>>,wn=(~f?power(,(MOD-)/l):power(,MOD--(MOD-)/l));
for(int *p=a;p!=a+n;p+=l){
int w=;
for(int i=;i<m;i++){
int t=1ll*w*p[i+m]%MOD;
p[i+m]=M(p[i]-t+MOD);
p[i]=M(p[i]+t);
w=1ll*w*wn%MOD;
}
}
}
if(f==-){
int o=inv(n);
for(int i=;i<n;i++)a[i]=1ll*a[i]*o%MOD;
}
}
int h[maxn];
void pinv(int *f,int *g,int n){
if(n==){g[]=inv(f[]);return;}
pinv(f,g,n>>);n<<=;
for(int i=;i<n/;i++)h[i]=f[i];
//for(int i=n/2;i<n;i++)h[i]=g[i]=0;
ntt(h,n,);ntt(g,n,);
for(int i=;i<n;i++)g[i]=1ll*g[i]*(-1ll*h[i]*g[i]%MOD+MOD)%MOD;
ntt(g,n,-);
for(int i=n/;i<n;i++)g[i]=;//!
}
int fac[maxn],fav[maxn];
int main(){
scanf("%d",&n);n++;
fac[]=;for(int i=;i<=n;i++)fac[i]=1ll*fac[i-]*i%MOD;
fav[n]=inv(fac[n]);for(int i=n;i>=;i--)fav[i-]=1ll*fav[i]*i%MOD;
for(int i=;i<n;i++)H[i]=1ll*power(,1ll*i*(i-)/%(MOD-))*fav[i-]%MOD;
for(int i=;i<n;i++)G[i]=1ll*power(,1ll*i*(i-)/%(MOD-))*fav[i]%MOD;//n change
int N=;while(N<n+n)N<<=;
pinv(G,F,N>>);//n>>1
ntt(H,N,);ntt(F,N,);
for(int i=;i<N;i++)F[i]=1ll*H[i]*F[i]%MOD;
ntt(F,N,-);
printf("%lld",1ll*F[n-]*fac[n-]%MOD);
return ;
}
注意:求逆元的时候传进去一倍即可,里面会再翻倍。逆元每次最后g数组后半部分要清零。n++之后对应的n要改变。
NTT最好预处理omega[],不然NTT太多次会变得很慢,即:
#include<cstdio>
#include<cstring>
#include<cctype>
#include<cmath>
#include<queue>
#include<stack>
#include<set>
#include<vector>
#include<algorithm>
#define ll long long
#define lowbit(x) x&-x
using namespace std;
int read(){
char c;int s=,t=;
while(!isdigit(c=getchar()))if(c=='-')t=-;
do{s=s*+c-'';}while(isdigit(c=getchar()));
return s*t;
}
int min(int a,int b){return a<b?a:b;}
int max(int a,int b){return a<b?b:a;}
int ab(int x){return x>?x:-x;}
//int MO(int x){return x>=MOD?x-MOD:x;}
//void insert(int u,int v){tot++;e[tot].v=v;e[tot].from=first[u];first[u]=tot;}
/*------------------------------------------------------------*/
const int inf=0x3f3f3f3f,maxn=,MOD=; int n,F[maxn],G[maxn],H[maxn]; int power(int x,int k){int ans=;while(k){if(k&)ans=1ll*ans*x%MOD;x=1ll*x*x%MOD;k>>=;}return ans;}
int inv(int x){return power(x,MOD-);}
int M(int x){return x>=MOD?x-MOD:x;}
int o[maxn],oi[maxn];
void init(int n){
int x=,y=power(,(MOD-)/n);
for(int i=;i<=n;i++){
o[i]=oi[n-i]=x;
x=1ll*x*y%MOD;
}
}
void ntt(int *a,int n,int *o,int f){
int k=;
for(int i=;i<n;i++){
if(i<k)swap(a[i],a[k]);
for(int j=n>>;(k^=j)<j;j>>=);
}
for(int l=;l<=n;l<<=){
int m=l>>;
for(int *p=a;p!=a+n;p+=l){
for(int i=;i<m;i++){
int t=1ll*o[n/l*i]*p[i+m]%MOD;
p[i+m]=M(p[i]-t+MOD);
p[i]=M(p[i]+t);
}
}
}
if(f==-){
int o=inv(n);
for(int i=;i<n;i++)a[i]=1ll*a[i]*o%MOD;
}
}
int h[maxn];
void pinv(int *f,int *g,int n){
if(n==){g[]=inv(f[]);return;}
pinv(f,g,n>>);n<<=;
init(n);
for(int i=;i<n/;i++)h[i]=f[i];
//for(int i=n/2;i<n;i++)h[i]=g[i]=0;//?
ntt(h,n,o,);ntt(g,n,o,);
for(int i=;i<n;i++)g[i]=1ll*g[i]*(-1ll*h[i]*g[i]%MOD+MOD)%MOD;
ntt(g,n,oi,-);
for(int i=n/;i<n;i++)g[i]=;//?
}
int fac[maxn],fav[maxn];
int main(){
scanf("%d",&n);n++;
fac[]=;for(int i=;i<=n;i++)fac[i]=1ll*fac[i-]*i%MOD;
fav[n]=inv(fac[n]);for(int i=n;i>=;i--)fav[i-]=1ll*fav[i]*i%MOD;
for(int i=;i<n;i++)H[i]=1ll*power(,1ll*i*(i-)/%(MOD-))*fav[i-]%MOD;
for(int i=;i<n;i++)G[i]=1ll*power(,1ll*i*(i-)/%(MOD-))*fav[i]%MOD;//!
int N=;while(N<n+n)N<<=;
pinv(G,F,N>>);
init(N);
ntt(H,N,o,);ntt(F,N,o,);
for(int i=;i<N;i++)F[i]=1ll*H[i]*F[i]%MOD;
ntt(F,N,oi,-);
printf("%lld",1ll*F[n-]*fac[n-]%MOD);
return ;
}
这道题有个O(n^2)的递推做法,设$h_n$表示n个点无向不连通图个数,那么$h_n=g_n-f_n$,枚举1所在连通块大小,有:
$$h_n=\sum_{i=1}^{n-1}\binom{n-1}{i-1}*f_i*h_{n-i}$$
这个不包含n自己,就可以递推了。
在这里记个无关紧要的笔记……要拆分$2^{k(n-k)}$,乘法不好拆分,必须转化为加法。
其实就是要把nk转化为有关n或k或n-k的加减法的形式,由初中常用套路$nk=\frac{(n-k)^2-n^2-k^2}{2}$就可以了。
【BZOJ】3456: 城市规划 动态规划+多项式求逆的更多相关文章
- BZOJ 3456: 城市规划 与 多项式求逆算法介绍(多项式求逆, dp)
题面 求有 \(n\) 个点的无向有标号连通图个数 . \((1 \le n \le 1.3 * 10^5)\) 题解 首先考虑 dp ... 直接算可行的方案数 , 容易算重复 . 我们用总方案数减 ...
- BZOJ 3456 城市规划 ( NTT + 多项式求逆 )
题目链接: https://www.lydsy.com/JudgeOnline/problem.php?id=3456 题意: 求出\(n\)个点的简单(无重边无自环)无向连通图的个数.(\(n< ...
- BZOJ 3456: 城市规划(dp+多项式求逆)
传送门 解题思路 这道题就是求带标号的无向连通图个数,首先考虑\(O(n^2)\)的做法,设\(f_i\)表示有\(i\)个节点的无向连通图个数,那么考虑容斥,先把所有的无向图求出,即为\(2^{C( ...
- 【BZOJ】3456: 城市规划(多项式求ln)
题解 在我写过分治NTT,多项式求逆之后 我又一次写了多项式求ln 我们定义一个数列的指数型生成函数为 \(\sum_{i = 0}^{n} \frac{A_{i}}{i!} x^{i}\) 然后这个 ...
- 洛谷P4841 城市规划(生成函数 多项式求逆)
题意 链接 Sol Orz yyb 一开始想的是直接设\(f_i\)表示\(i\)个点的无向联通图个数,枚举最后一个联通块转移,发现有一种情况转移不到... 正解是先设\(g(n)\)表示\(n\)个 ...
- 【bzoj3456】城市规划(多项式求逆+dp)
Description 求\(~n~\)个点组成的有标号无向连通图的个数.\(~1 \leq n \leq 13 \times 10 ^ 4~\). Solution 这道题的弱化版是poj1737, ...
- BZOJ3456 城市规划 【多项式求逆】
题目链接 BZOJ3456 题解 之前我们用分治\(ntt\)在\(O(nlog^2n)\)的复杂度下做了这题,今天我们使用多项式求逆 设\(f_n\)表示\(n\)个点带标号无向连通图数 设\(g_ ...
- [BZOJ3456]城市规划(生成函数+多项式求逆+多项式求ln)
城市规划 时间限制:40s 空间限制:256MB 题目描述 刚刚解决完电力网络的问题, 阿狸又被领导的任务给难住了. 刚才说过, 阿狸的国家有n个城市, 现在国家需要在某些城市对之间建立一 ...
- BZOJ3456 城市规划(多项式求逆)
设f[i]为连通图的数量,g[i]为不连通图的数量,显然有f[i]=2i*(i-1)/2-g[i],g[i]通过枚举1所在连通块大小转移,有g[i]=Σf[j]*C(i-1,j-1)·2(i-j)*( ...
随机推荐
- Beta阶段团队项目开发篇章4
例会时间 2016.12.11 例会照片 个人工作 上阶段任务验收 删除robot功能较为简单,基本实现,但是一直Question版块任务量过大,考虑到最近要进行编译课设第二次测试,为该任务再分配一段 ...
- SCRUM:周日周一任务实现情况
1.设计.制作欢迎界面 2.对杰龙注册界面进行重设计和规范strings → → →
- 二叉查找树ADT--C语言描述
首先给出此ADT的声明: struct TreeNode; typedef struct TreeNode *Position; typedef struct TreeNode *SearchTree ...
- PHP 更改session存储方式为Redis
前言: 服务器默认的session存放方式是file.当客户端发送请求带有PHPSESSID时是顺序的去比对session存储文件,如果有5000个session文件,那就有可能需要比对4998次那么 ...
- 《简明Python教程》学习笔记
<简明Python教程>是网上比较好的一个Python入门级教程,尽管版本比较老旧,但是其中的基本讲解还是很有实力的. Ch2–安装Python:下载安装完成后,在系统的环境变量里,在Pa ...
- node入门学习(一)
一.安装node.js 方式很多npm,git等,新手建议从官网上直接去下载node的安装包.一键安装. 二.创建一个web服务器. const http = require('http'); htt ...
- Spring Cloud之Eureka服务注册与发现
解决什么问题 ➟阐述微服务以及服务注册发现的部分概念 ➟阐述Eureka服务注册与发现的部分原理及细节 为什么需要服务中心 过去,每个应用都是一个CPU,一个主机上的单一系统.然而今天,随着大数据和云 ...
- delphi ERP框架
之前做c/s架构,接了有家装饰的一个ERP项目,做了一个ERP框架,现在转后端开发了,这些东西还是蛮怀念的,就开源出来吧,有需要的同学可以参考. https://github.com/qianlnk/ ...
- bzoj1036 [ZJOI2008]树的统计Count(树链剖分)
Description 一棵树上有n个节点,编号分别为1到n,每个节点都有一个权值w.我们将以下面的形式来要求你对这棵树完成一些操作: I. CHANGE u t : 把结点u的权值改为t II. Q ...
- div内元素的居中
1.如果是一行文字(不超过一行) parent{ text-align:center; line-height:div高度; } 2.如果是div内其他类型元素 parent{ height:xxxp ...