参考:http://blog.miskcoo.com/2015/05/bzoj-3456

首先推出递推式(上面的blog讲的挺清楚的),大概过程是正难则反,设g为n个点的简单(无重边无自环)无向图数目,显然边数是\( C_{n}^{2} \),所以\( g(n)=2{C_{n}{2}} \),那么f[n]=g[n]-n个点的简单(无重边无自环)无向不连通图数目,后面那部分可以枚举1所在联通块的1点数,当这个块有i个点时,方案数为从n-1个点中选出i-1个(减去点1)* f[i](这i个点组成无向连通图方案数)*g[n-i](剩下的点组成无向图的方案数),写成公式就是\( \sum_{i=1}{n-1}C_{n-1}{i-1}f[i]g[n-i] \),然后把这两部分相减就得到了递推式:

\[f[n]=g[n]-\sum_{i=1}^{n-1}C_{n-1}^{i-1}f[i]g[n-i]
\]

\[f[n]=2^{C_n^2}-\sum_{i=1}^{n-1}C_{n-1}^{i-1}f[i]2^{C_{n-i}^2}
\]

然后开始大力推式子,目标是推出卷积!

\[f[n]=2^{C_n^2}-\sum_{i=1}^{n-1}C_{n-1}^{i-1}f[i]2^{C_{n-i}^2}
\]

\[f[n]=2^{C_n^2}-\sum_{i=1}^{n-1}\frac{(n-1)!}{(i-1)!(n-i)!}f[i]2^{C_{n-i}^2}
\]

\[f[n]=2^{C_n^2}-(n-1)!\sum_{i=1}^{n-1}\frac{2^{C_{n-i}^2}f[i]}{(i-1)!(n-i)!}
\]

\[f[n]=2^{C_n^2}-(n-1)!\sum_{i=1}^{n-1}\frac{f[i]}{(i-1)!}*\frac{2^{C_{n-i}^2}}{(n-i)!}
$$看起来有点样子了,然而这是递推式怎么办!
开始等号左右瞎移项
\]

2{C_n2}-f[n]=(n-1)!\sum_{i=1}{n-1}\frac{f[i]}{(i-1)!}*\frac{2{C_{n-i}^2}}{(n-i)!}

\[\]

2{C_n2}=(n-1)!\sum_{i=1}{n-1}\frac{f[i]}{(i-1)!}*\frac{2{C_{n-i}^2}}{(n-i)!}+f[n]

\[\]

2{C_n2}=(n-1)!\sum_{i=1}{n}\frac{f[i]}{(i-1)!}*\frac{2{C_{n-i}^2}}{(n-i)!}

\[\]

\frac{2{C_n2}}{(n-1)!}=\sum_{i=1}{n}\frac{f[i]}{(i-1)!}*\frac{2{C_{n-i}^2}}{(n-i)!}

\[\]

a[i]=\frac{f[i]}{(i-1)!},b[i]=\frac{2{C_{i}2}}{(i)!},c[i]=\frac{2{C_i2}}{(i-1)!}

\[于是变成了这样的形式:\\( A\*B=C \\),现在要求的是A,所以把它变形为\\( A=B^{-1}\*C \\)
这里涉及到了多项式求逆元,在这里简述一下(参考:http://blog.csdn.net/qq_33229466/article/details/70212684):
求\\( A∗G=1(mod\ x^m) \\)
已有B满足\\( A∗B=1(mod\ x^{\frac{m}{2}}) \\)
因为\\( A\∗G=1(mod\ x^{\frac{m}{2}}) \\)
所以\\( (G−B)=0(mod\ x^{\frac{m}{2}}) \\)
两边平方\\( G^2+b^2-2GB=0(mod\ x^{\frac{m}{2}}) , G^2=2GB-b^2(mod\ x^{\frac{m}{2}}) \\)
同乘A得\\( G=2B-AB \\)
然后递归求即可
```cpp
#include<iostream>
#include<cstdio>
#include<cstring>
#include<cmath>
using namespace std;
const int N=300005,mod=1004535809,G=3;
int n,m,a[N],b[N],c[N],nb[N],fac[N],inv[N],fi[N],tmp[N],re[N];
int ksm(int a,int b)
{
int r=1;
while(b)
{
if(b&1)
r=1ll*r*a%mod;
a=1ll*a*a%mod;
b>>=1;
}
return r;
}
void dft(int a[],int lm,int f)
{
int bt=log(lm)/log(2)+0.1;
for(int i=0;i<lm;i++)
{
re[i]=(re[i>>1]>>1)|((i&1)<<(bt-1));
if(i<re[i])
swap(a[i],a[re[i]]);
}
for(int i=1;i<lm;i<<=1)
{
int wi=ksm(G,(mod-1)/(i<<1));
if(f==-1)
wi=ksm(wi,mod-2);
for(int k=0;k<lm;k+=(i<<1))
{
int w=1,x,y;
for(int j=0;j<i;j++)
{
x=a[k+j];
y=1ll*w*a[i+j+k]%mod;
a[j+k]=((x+y)%mod+mod)%mod;
a[i+j+k]=((x-y)%mod+mod)%mod;
w=1ll*w*wi%mod;
}
}
}
if(f==-1)
{
int ni=ksm(lm,mod-2);
for(int i=0;i<lm;i++)
a[i]=1ll*a[i]*ni%mod;
}//cout<<"???"<<endl;
}
void ni(int a[],int b[],int n)
{
if(n==1)
{//cout<<"OK"<<endl;
b[0]=ksm(a[0],mod-2);
return;
}
ni(a,b,n/2);
memcpy(tmp,a,sizeof(a[0])*n);
memset(tmp+n,0,sizeof(tmp[0])*n);
dft(tmp,n<<1,1);
dft(b,n<<1,1);
for(int i=0;i<(n<<1);i++)
tmp[i]=1ll*b[i]*(2-1ll*tmp[i]*b[i]%mod+mod)%mod;
dft(tmp,n<<1,-1);
for(int i=0;i<n;i++)
b[i]=tmp[i];
memset(b+n,0,sizeof(b[0])*n);
}
int main()
{
scanf("%d",&n);
inv[1]=1,fac[0]=fi[0]=1;
for(int i=1;i<=n;i++)
{
if(i>1)
inv[i]=1ll*(mod-mod/i)*inv[mod%i]%mod;
fac[i]=1ll*fac[i-1]*i%mod;//cout<<fac[i]<<endl;
fi[i]=1ll*fi[i-1]*inv[i]%mod;
}
for(int i=0;i<=n;i++)
{
int now=ksm(2,1ll*(i-1)*i/2%(mod-1));
b[i]=1ll*now*fi[i]%mod;
if(i>0)
c[i]=1ll*now*fi[i-1]%mod;
}
for(m=1;m<=n;m<<=1);//cout<<bt<<" "<<m<<endl;
ni(b,nb,m);
dft(nb,m<<1,1);
dft(c,m<<1,1);
for(int i=0;i<(m<<1);i++)
a[i]=1ll*nb[i]*c[i]%mod;
dft(a,m<<1,-1);//cout<<fac[n-1]<<endl;
printf("%d\n",1ll*a[n]*fac[n-1]%mod);
return 0;
}
```\]

bzoj 3456: 城市规划【NTT+多项式求逆】的更多相关文章

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

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

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

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

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

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

  4. 【BZOJ】3456: 城市规划 动态规划+多项式求逆

    [题意]求n个点的带标号无向连通图个数 mod 1004535809.n<=130000. [算法]动态规划+多项式求逆 [题解]设$g_n$表示n个点的无向图个数,那么显然 $$g_n=2^{ ...

  5. 【bzoj3456】城市规划 容斥原理+NTT+多项式求逆

    题目描述 求出n个点的简单(无重边无自环)无向连通图数目mod 1004535809(479 * 2 ^ 21 + 1). 输入 仅一行一个整数n(<=130000) 输出 仅一行一个整数, 为 ...

  6. 【BZOJ 3456】 3456: 城市规划 (NTT+多项式求逆)

    3456: 城市规划 Time Limit: 40 Sec  Memory Limit: 256 MBSubmit: 658  Solved: 364 Description 刚刚解决完电力网络的问题 ...

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

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

  8. BZOJ 4555 [Tjoi2016&Heoi2016]求和 ——分治 NTT 多项式求逆

    不想多说了,看网上的题解吧,我大概说下思路. 首先考察Stirling的意义,然后求出递推式,变成卷积的形式. 然后发现贡献是一定的,我们可以分治+NTT. 也可以直接求逆(我不会啊啊啊啊啊) #in ...

  9. [BZOJ3456]城市规划:DP+NTT+多项式求逆

    写在前面的话 昨天听吕老板讲课,数数题感觉十分的神仙. 于是,ErkkiErkko这个小蒟蒻也要去学数数题了. 分析 Miskcoo orz 带标号无向连通图计数. \(f(x)\)表示\(x\)个点 ...

  10. BZOJ1042 HAOI2008硬币购物(任意模数NTT+多项式求逆+生成函数/容斥原理+动态规划)

    第一眼生成函数.四个等比数列形式的多项式相乘,可以化成四个分式.其中分母部分是固定的,可以多项式求逆预处理出来.而分子部分由于项数很少,询问时2^4算一下贡献就好了.这个思路比较直观.只是常数巨大,以 ...

随机推荐

  1. java面向对象day01

    前言: 1.首先我们要明白:万物皆对象.现实中存在的事物都是对象.而面向对象技术就是对客观事物进行抽象.2.而java语言是纯面向对象的的语言,它具有描述对象及其相互之间关系的语言成分.3.定义类和建 ...

  2. 解决idea中启动tomcat出现控制台乱码问题

    尝试了很多方法,最后终于解决了,现在提供给大家一个我认为最简单也最有效的方案. 1.修改配置文件 找到idea的安装目录,在bin文件夹下找到以下两个文件,用记事本或者其他软件打开: 然后两个文件中都 ...

  3. cds.data:=dsp.data赋值有时会出现AV错误剖析

    cds.data:=dsp.data赋值有时会出现AV错误剖析 如果QUERY没有查询到任何数据,cds.data:=dsp.data赋值会触发AV错误. 大家知道,DATASNAP有许多远程方法就是 ...

  4. 常见Python运行时错误

    1)忘记在 if , elif , else , for , while , class ,def 声明末尾添加 :(导致 “SyntaxError :invalid syntax”) 该错误将发生在 ...

  5. POST 请求静态文件 响应405

    使用post方式请求js.html这样的静态文件一般的web服务器都会返回405 Method Not Allowed. 我测试用的web服务器用的是IIS(windows10+IIS10),理论上来 ...

  6. Codeforces Round #412 (rated, Div. 2, base on VK Cup 2017 Round 3) E. Prairie Partition 二分+贪心

    E. Prairie Partition It can be shown that any positive integer x can be uniquely represented as x =  ...

  7. Codeforces 755 F. PolandBall and Gifts 多重背包+贪心

    F. PolandBall and Gifts   It's Christmas time! PolandBall and his friends will be giving themselves ...

  8. win10复制粘贴 失效

    win10复制粘贴 DISM.exe /Online /Cleanup-image /Restorehealth https://social.technet.microsoft.com/Forums ...

  9. 现在企业流行的java框架技术

    我将简短分析被用于支持这些框架的企业开发环境或工具箱,例如Borland JBuilder,Eclipse以及BEA Workbench.请记住,市场上有许多有关这些开发框架的图书;然而,在任何一篇文 ...

  10. java语法基础(一)

    这个是自己前两年做java视频教程时候的课件.感兴趣的同学可以参考下. 这里是纯粹的语法行总结. editplus的使用 选择项目目录 打开editplus 左侧目录导航栏 可以打开盘符,文件夹 可以 ...