【题意】求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: 城市规划 动态规划+多项式求逆的更多相关文章

  1. BZOJ 3456: 城市规划 与 多项式求逆算法介绍(多项式求逆, dp)

    题面 求有 \(n\) 个点的无向有标号连通图个数 . \((1 \le n \le 1.3 * 10^5)\) 题解 首先考虑 dp ... 直接算可行的方案数 , 容易算重复 . 我们用总方案数减 ...

  2. BZOJ 3456 城市规划 ( NTT + 多项式求逆 )

    题目链接: https://www.lydsy.com/JudgeOnline/problem.php?id=3456 题意: 求出\(n\)个点的简单(无重边无自环)无向连通图的个数.(\(n< ...

  3. BZOJ 3456: 城市规划(dp+多项式求逆)

    传送门 解题思路 这道题就是求带标号的无向连通图个数,首先考虑\(O(n^2)\)的做法,设\(f_i\)表示有\(i\)个节点的无向连通图个数,那么考虑容斥,先把所有的无向图求出,即为\(2^{C( ...

  4. 【BZOJ】3456: 城市规划(多项式求ln)

    题解 在我写过分治NTT,多项式求逆之后 我又一次写了多项式求ln 我们定义一个数列的指数型生成函数为 \(\sum_{i = 0}^{n} \frac{A_{i}}{i!} x^{i}\) 然后这个 ...

  5. 洛谷P4841 城市规划(生成函数 多项式求逆)

    题意 链接 Sol Orz yyb 一开始想的是直接设\(f_i\)表示\(i\)个点的无向联通图个数,枚举最后一个联通块转移,发现有一种情况转移不到... 正解是先设\(g(n)\)表示\(n\)个 ...

  6. 【bzoj3456】城市规划(多项式求逆+dp)

    Description 求\(~n~\)个点组成的有标号无向连通图的个数.\(~1 \leq n \leq 13 \times 10 ^ 4~\). Solution 这道题的弱化版是poj1737, ...

  7. BZOJ3456 城市规划 【多项式求逆】

    题目链接 BZOJ3456 题解 之前我们用分治\(ntt\)在\(O(nlog^2n)\)的复杂度下做了这题,今天我们使用多项式求逆 设\(f_n\)表示\(n\)个点带标号无向连通图数 设\(g_ ...

  8. [BZOJ3456]城市规划(生成函数+多项式求逆+多项式求ln)

    城市规划 时间限制:40s      空间限制:256MB 题目描述 刚刚解决完电力网络的问题, 阿狸又被领导的任务给难住了.  刚才说过, 阿狸的国家有n个城市, 现在国家需要在某些城市对之间建立一 ...

  9. 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)*( ...

随机推荐

  1. 蜗牛慢慢爬 LeetCode 20. Valid Parentheses [Difficulty: Easy]

    题目 Given a string containing just the characters '(', ')', '{', '}', '[' and ']', determine if the i ...

  2. 简单 dp

    1.摆花问题 题目描述小明的花店新开张,为了吸引顾客,他想在花店的门口摆上一排花,共m盆.通过调查顾客的喜好,小明列出了顾客最喜欢的n种花,从1到n标号.为了在门口展出更多种花,规定第i种花不能超过a ...

  3. ORACLE LOG的管理

    CREATE OR REPLACE PACKAGE PLOG IS /** * package name : PLOG *<br/> *<br/> *See : <a h ...

  4. markdown语法---根据使用不断扩充中

    markdown语法 标题 标题使用 #表示,几个#表示几级标题,最多六级标题. 斜体 使用 两个星号*括起来的文字是斜体字 这是斜体字 粗体 使用四个 * 号括起来的是粗体字. 这是粗体字 引用 这 ...

  5. python & dict & switch

    python & dict & switch python 中是没用switch语句的,这应该是体现python大道至简的思想,python中一般多用字典来代替switch来实现. # ...

  6. PGM学习之五 贝叶斯网络

    本文的主题是“贝叶斯网络”(Bayesian Network) 贝叶斯网络是一个典型的图模型,它对感兴趣变量(variables of interest)及变量之间的关系(relationships) ...

  7. Codeforces 633C Spy Syndrome 2 | Trie树裸题

    Codeforces 633C Spy Syndrome 2 | Trie树裸题 一个由许多空格隔开的单词组成的字符串,进行了以下操作:把所有字符变成小写,把每个单词颠倒过来,然后去掉单词间的空格.已 ...

  8. 51nod 1218 最长递增子序列 | 思维题

    51nod 1218 最长递增子序列 题面 给出一个序列,求哪些元素可能在某条最长上升子序列中,哪些元素一定在所有最长上升子序列中. 题解 YJY大嫂教导我们,如果以一个元素结尾的LIS长度 + 以它 ...

  9. 安装elasticsearch5.4.1集群和head插件

    这里用的系统版本是CentOS6.6. 192.168.3.56 ES01 192.168.3.49 ES02 192.168.3.57 ES03 1.为三个节点安装java环境 # yum inst ...

  10. 丁酉年六月十一ACM模拟赛

    似乎该写题解了.今天模拟ACM,10道题(本来还有2道被删了),9道都来自BZOJ,中间我做过2道.那么说,今天Solv.便大大增多了(但还是不如强大的Amphetamine). 题单及一句话题解如下 ...