题目链接: https://www.lydsy.com/JudgeOnline/problem.php?id=3456

著名的多项式练习题,做法也很多,终于切掉了纪念

首先求一波递推式: 令\(F(n)\)为\(n\)个点的有标号无向连通图的个数,则考虑补集转化为有标号无向不连通图的个数,然后枚举\(1\)号点所在联通块的大小: $$F(n)=2^{n\choose 2}-\sum^{n-1}_{i=1} {n-1\choose i-1} F(i)2^{n-i\choose 2}$$

这样可以做到\(O(n^2)\), 后面就该大佬们各显神通了,我在这里整理一下四种做法:

做法一

直接使用分治NTT优化,时间复杂度\(O(n\log^2n)\)。但我不会分治NTT,所以不具体说了。

做法二

\[F(n)=2^{n\choose 2}-\sum^{n-1}_{i=1}\frac{(n-1)!}{(i-1)!(n-i)!}F(i)2^{n-i\choose 2}\\
\frac{F(n)}{(n-1)!}=\frac{2^{n\choose 2}}{(n-1)!}-\sum^{n-1}_{i=1} \frac{F(i)}{(i-1)!}\frac{2^{n-i\choose 2}}{(n-i)!}$$移项可得$$\frac{2^{n\choose 2}}{(n-1)!}=\sum^{n}_{i=1} \frac{F(i)}{(i-1)!}\frac{2^{n-i\choose 2}}{(n-i)!}\]

令\(A(x)=\sum_{n>0}\frac{F(n)}{(n-1)!}, G(x)=\sum_{n\ge 0}\frac{2^{n\choose 2}}{n!}, H(x)=\sum_{n>0}\frac{2^{n\choose 2}}{(n-1)!}\), 则有$$F(x)G(x)=H(x)\ F(x)=H(x)G(x)^{-1}$$

多项式求逆即可。

时间复杂度\(O(n\log n)\).

这应该是代码复杂度和运行效率上最好的一种做法,但是做法三和做法四也有一定的启发意义。

做法三

设\(G(n)=2^{n\choose 2}\)表示\(n\)个点有标号无向图的个数。设\(F(x),G(x)\)分别为\(F(n),G(n)\)的指数生成函数(EGF).

由于一个有标号无向图由若干个彼此之间无顺序的联通块组成,因此其指数生成函数\(G(x)=\sum_{n\ge 1}\frac{F(x)^n}{n!}\).

即\(G(x)=e^{F(x)}\), \(F(x)=\ln G(x)\). 多项式\(\ln\)即可。

时间复杂度\(O(n\log n)\).

做法四

(这个做法是我自己想的,有错敬请指出)(这种做法其实是用另一种方式推导做法三)

感谢_rqy大爷博客里的生成函数简介。

仿照求Bell数的EGF方法,进行以下推导: $$\frac{F(n)}{n!}=\frac{G(n)}{n!}-\sum^{n-1}{i=1} \frac{F(i)}{n(i-1)!}\frac{G(n-i)}{(n-i)!}\ \frac{G(n)}{n!}=\frac{F(n)}{n!}+\frac{1}{n}\sum^{n-1}{i=1}\frac{iF(i)}{i!}\frac{G(n-i)}{(n-i)!}$$

这里我们发现\(\frac{iF(i)}{i!}\)就是\([x^{i-1}]F'(x)\), 于是上式可以改写为$$[xn]G(x)=[xn]F(x)+\frac{1}{n}\sum{n-1}_{i=1}[x{i-1}]F'(x)\times [x^{n-i}]G(x)\ =\frac{1}{n}(n[xn]F(x)+\sum{n-1}_{i=1}[x^{i-1}]F'(x)\times [x^{n-i}]G(x))\ =\frac{1}{n}\sum{n}_{i=1}[x{i-1}]F'(x)\times [x^{n-i}]G(x)\ G(x)=\int^x_0 F'(x)G(x)\text{d}x\ \frac{G'(x)}{G(x)}=F'(x)\ \ln G(x)=F(x)$$.

一定要注意求和边界! 我推式子的时候没注意求和上界是\(n\)还是\((n-1)\)的问题结果一直推出来\(G(x)=F(x)+\int^x_0 F'(x)G(x)\text{d}x\)查了一小时……

代码

做法二

#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cassert>
#include<iostream>
#define llong long long
using namespace std; inline int read()
{
int x=0; bool f=1; char c=getchar();
for(;!isdigit(c);c=getchar()) if(c=='-') f=0;
for(; isdigit(c);c=getchar()) x=(x<<3)+(x<<1)+(c^'0');
if(f) return x;
return -x;
} const int N = 1<<19;
const int LGN = 19;
const int P = 1004535809;
const int G = 3;
llong fact[N+3],finv[N+3]; llong quickpow(llong x,llong y)
{
llong cur = x,ret = 1ll;
for(int i=0; y; i++)
{
if(y&(1ll<<i)) {y-=(1ll<<i); ret = ret*cur%P;}
cur = cur*cur%P;
}
return ret;
}
llong mulinv(llong x) {quickpow(x,P-2);} namespace Polynomial
{
llong tmp1[N+3],tmp2[N+3],tmp3[N+3],tmp4[N+3],tmp5[N+3],tmp6[N+3];
int fftid[N+3];
int getdgr(int n)
{
int ret = 1; while(ret<=n) ret<<=1;
return ret;
}
void init_fftid(int dgr)
{
int len = 0; for(int i=1; i<=LGN; i++) {if((1<<i)==dgr) {len = i; break;}}
for(int i=1; i<dgr; i++) fftid[i] = (fftid[i>>1]>>1)|((i&1)<<(len-1));
}
void ntt(int dgr,int coe,llong poly[],llong ret[])
{
init_fftid(dgr);
if(poly==ret) {for(int i=0; i<dgr; i++) {if(i<fftid[i]) swap(ret[i],ret[fftid[i]]);}}
else {for(int i=0; i<dgr; i++) ret[i] = poly[fftid[i]];}
for(int i=1; i<=(dgr>>1); i<<=1)
{
llong tmp = quickpow(G,(P-1)/(i<<1));
if(coe==-1) tmp = mulinv(tmp);
for(int j=0; j<dgr; j+=(i<<1))
{
llong expn = 1ll;
for(int k=0; k<i; k++)
{
llong x = ret[j+k],y = ret[i+j+k]*expn%P;
ret[j+k] = (x+y)%P;
ret[j+i+k] = (x-y+P)%P;
expn = expn*tmp%P;
}
}
}
if(coe==-1)
{
llong tmp = mulinv(dgr);
for(int i=0; i<dgr; i++) ret[i] = ret[i]*tmp%P;
}
}
void polymul(int dgr,llong poly1[],llong poly2[],llong ret[])
{
ntt(dgr<<1,1,poly1,tmp1); ntt(dgr<<1,1,poly2,tmp2);
for(int i=0; i<(dgr<<1); i++) tmp2[i] = tmp1[i]*tmp2[i]%P;
ntt(dgr<<1,-1,tmp2,ret);
}
void polyinv(int dgr,llong poly[],llong ret[])
{
for(int i=0; i<dgr; i++) ret[i] = tmp1[i] = 0ll;
ret[0] = mulinv(poly[0]); tmp1[0] = poly[0];
for(int i=1; i<=(dgr>>1); i<<=1)
{
for(int j=i; j<(i<<1); j++) tmp1[j] = poly[j];
ntt((i<<2),1,ret,tmp2); ntt((i<<2),1,tmp1,tmp3);
for(int j=0; j<(i<<2); j++) tmp2[j] = tmp2[j]*tmp2[j]%P*tmp3[j]%P;
ntt((i<<2),-1,tmp2,tmp3);
for(int j=0; j<(i<<1); j++) ret[j] = (2ll*ret[j]-tmp3[j]+P)%P;
}
}
}
llong f[N+3],g[N+3],h[N+3],ginv[N+3];
int n; int main()
{
fact[0] = 1ll; for(int i=1; i<=N; i++) fact[i] = fact[i-1]*i%P;
finv[N] = quickpow(fact[N],P-2); for(int i=N-1; i>=0; i--) finv[i] = finv[i+1]*(i+1)%P;
scanf("%d",&n); int dgr = Polynomial::getdgr(n);
for(int i=0; i<=n; i++) {g[i] = quickpow(2ll,i*(i-1ll)/2ll)*finv[i]%P;}
for(int i=1; i<=n; i++) {h[i] = quickpow(2ll,i*(i-1ll)/2ll)*finv[i-1]%P;}
// printf("g: "); for(int i=0; i<dgr; i++) printf("%lld ",g[i]); puts("");
// printf("h: "); for(int i=0; i<dgr; i++) printf("%lld ",h[i]); puts("");
Polynomial::polyinv(dgr,g,ginv);
// printf("ginv: "); for(int i=0; i<dgr; i++) printf("%lld ",ginv[i]); puts("");
Polynomial::polymul(dgr,ginv,h,f);
printf("%lld\n",f[n]*fact[n-1]%P);
return 0;
}

生成函数这东西真的是有趣!!!

BZOJ 3456 城市规划 (组合计数、DP、FFT)的更多相关文章

  1. [BZOJ 3456]城市规划(cdq分治+FFT)

    [BZOJ 3456]城市规划(cdq分治+FFT) 题面 求有标号n个点无向连通图数目. 分析 设\(f(i)\)表示\(i\)个点组成的无向连通图数量,\(g(i)\)表示\(i\)个点的图的数量 ...

  2. [ZJOI2010]排列计数 (组合计数/dp)

    [ZJOI2010]排列计数 题目描述 称一个1,2,...,N的排列P1,P2...,Pn是Magic的,当且仅当2<=i<=N时,Pi>Pi/2. 计算1,2,...N的排列中有 ...

  3. [BZOJ 4332] [JSOI2012]分零食(DP+FFT)

    [BZOJ 4332] [JSOI2012]分零食(DP+FFT) 题面 同学们依次排成了一列,其中有A位小朋友,有三个共同的欢乐系数O,S和U.如果有一位小朋友得到了x个糖果,那么她的欢乐程度就是\ ...

  4. BZOJ 3456: 城市规划 [多项式求逆元 组合数学 | 生成函数 多项式求ln]

    3456: 城市规划 题意:n个点组成的无向连通图个数 以前做过,今天复习一下 令\(f[n]\)为n个点的无向连通图个数 n个点的完全图个数为\(2^{\binom{n}{2}}\) 和Bell数的 ...

  5. bzoj 1004 Cards 组合计数

    这道题考察的是组合计数(用Burnside,当然也可以认为是Polya的变形,毕竟Polya是Burnside推导出来的). 这一类问题的本质是计算置换群(A,P)中不动点个数!(所谓不动点,是一个二 ...

  6. BZOJ1079 [SCOI2008]着色方案[组合计数DP]

    $有a_{1}个1,a_{2}个2,...,a_{n}个n(n<=15,a_{n}<=5),求排成一列相邻位不相同的方案数.$ 关于这题的教训记录: 学会对于复杂的影响分开计,善于发现整体 ...

  7. bzoj 3456 城市规划 —— 分治FFT / 多项式求逆 / 指数型生成函数(多项式求ln)

    题目:https://www.lydsy.com/JudgeOnline/problem.php?id=3456 首先考虑DP做法,正难则反,考虑所有情况减去不连通的情况: 而不连通的情况就是那个经典 ...

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

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

  9. bzoj 3456 城市规划——分治FFT / 多项式求逆 / 多项式求ln

    题目:https://www.lydsy.com/JudgeOnline/problem.php?id=3456 分治FFT: 设 dp[ i ] 表示 i 个点时连通的方案数. 考虑算补集:连通的方 ...

随机推荐

  1. codeforces 842C Ilya And The Tree (01背包+dfs)

    (点击此处查看原题) 题目分析 题意:在一个树中,有n个结点,记为 1~n ,其中根结点编号为1,每个结点都有一个值val[i],问从根结点到各个结点的路径中所有结点的值的gcd(最大公约数)最大是多 ...

  2. pwd命令和修改PS1环境变量在bash行的显示

    一.pwd:显示当前所在的位置 语法 pwd [选项] ... 描述       打印当前工作目录的完整文件名. -L,--logical              从环境使用PWD,即使它包含符号链 ...

  3. linux 下如何将网页版应用生成桌面图标

    使用linux mint已经两年了,很多国民应用,都没有Linux版,但是这些应用都有网页版,今天就说下最简单的将网页应用变成桌面应用,无需配置,安装任何插件.以微信为例; 首先,在谷歌浏览器打开网页 ...

  4. C#中static修饰符的作用

    static在C#中表示的是静态的,比如一个静态的字段是归类型所有,而非归对象所有,也就是说,在调用这个字段时,只能用类型去调,而不能用对象. 实例字段时随着对象创建而创建,对象销毁而销毁,而静态字段 ...

  5. eclipse 保存web.xml 和 loading description from 问题的解决

    Eclipse 版本为 2019-06 (4.12.0) 发现开启的时候一直有loading description from ***  ,这个loading description 是web项目加载 ...

  6. CentOs 7.6 开启防火墙后 无法显示远程文件夹

    转:https://blog.csdn.net/ygwlove0110/article/details/88232065 遇到了个坑.服务器开启了防火墙后,ftp客户端连接就无法显示目录.关掉防火墙就 ...

  7. 08 Python之内存管理

    python中的内存管理,从浅层次来说,可以分为3个方面来讲: 1,引用计数: python中引用计数,为了跟踪内存的对象 当创建对象的时候即被引用了,当对象不再被使用时,即某个对象的引用计数为0,它 ...

  8. Exited too quickly (process log may have details)-配置问题

    在配置supervisor的时候,提示Exited too quickly (process log may have details),这个时候一脸懵逼,啥回事,执行太快了???

  9. oracle数据库连接问题org.springframework.jdbc.support.MetaDataAccessException: JDBC DatabaseMetaData method not implemented by JDBC driver - upgrade your driver...

    org.springframework.jdbc.support.MetaDataAccessException: JDBC DatabaseMetaData method not implement ...

  10. Red Hat Enterprise Linux 6安装好,开启网卡到搭建tftp服务器和安装dnw驱动,安装samba服务器

    今天一顿误操作,只能把Red Hat Enterprise Linux 6重新安装,一些必备工作只能重做,重做之后立马把Linux的文件备份,以备不时只需! 开启Linux以太网卡:vim /etc/ ...