题目

令\(f_i\)表示n个点的答案。考虑容斥,用所有连边方案减去有多个连通块的方案。枚举1号点所在的连通块大小:

\(f_i=2^{i(i-1)/2}-\sum_{j>0}^{i-1}f_j \binom{i-1}{j-1}2^{(i-j)(i-j-1)/2}\)

\(\binom{i-1}{j-1}\)表示1号点必须在选出的连通块中,剩下的i-1个点中再选出j-1个。\(2^{(i-j)(i-j-1)/2}\)是剩下的点随意连边,但不跟选出的连通块连边的方案数。

\[\begin{align}
f_i&=2^{i(i-1)/2}-\sum_{j>0}^{i-1}f_j \binom{i-1}{j-1}2^{(i-j)(i-j-1)/2}\\
f_i&=2^{i(i-1)/2}-\sum_{j>0}^{i-1}\frac{f_j (i-1)! 2^{(i-j)(i-j-1)/2}}{(j-1)!(i-j)!}\\
\frac{f_i}{(i-1)!}&=\frac{2^{i(i-1)/2}}{(i-1)!}-\sum_{j>0}^{i-1}\frac{f_j}{(j-1)!}\cdot\frac{2^{(i-j)(i-j-1)/2}}{(i-j)!}\\
\end{align}
\]

后半部分是一个卷积的形式,分治FFT就行了。分治的时候可以先忽略前面的\(\frac{2^{i(i-1)/2}}{(i-1)!}-\),递归到叶子的时候再把\(\frac{f_i}{(i-1)!}\)用这个东西减。最后输出之前把\(f_n\)乘上\((n-1)!\)。时间复杂度\(O(nlog^2n)\)。

点击查看代码
#include <bits/stdc++.h>

#define rep(i,n) for(int i=0;i<n;++i)
#define repn(i,n) for(int i=1;i<=n;++i)
#define LL long long
#define pii pair <LL,LL>
#define fi first
#define se second
#define mpr make_pair
#define pb push_back using namespace std; const LL MOD=1004535809; LL qpow(LL x,LL a)
{
LL res=x,ret=1;
while(a>0)
{
if((a&1)==1) ret=ret*res%MOD;
a>>=1;
res=res*res%MOD;
}
return ret;
} namespace poly
{
vector <LL> rev;
void ntt(vector <LL> &a,LL G)
{
LL nn=a.size(),gn,g,x,y;vector <LL> tmp=a;
rep(i,nn) a[i]=tmp[rev[i]];
for(int len=1;len<nn;len<<=1)
{
gn=qpow(G,(MOD-1)/(len<<1));
for(int i=0;i<nn;i+=(len<<1))
{
g=1;
for(int j=i;j<i+len;++j,(g*=gn)%=MOD)
{
x=a[j];y=a[j+len]*g%MOD;
a[j]=(x+y)%MOD;a[j+len]=(x-y+MOD)%MOD;
}
}
}
}
vector <LL> convolution(vector <LL> a,vector <LL> b,LL G)
{
LL nn=1,bt=0,sv=a.size()+b.size()-1;while(nn<a.size()+b.size()-1) nn<<=1LL,++bt;
while(a.size()<nn) a.pb(0);while(b.size()<nn) b.pb(0);
rev.clear();
rep(i,nn)
{
rev.pb(0);
rev[i]=(rev[i>>1]>>1)|((i&1)<<(bt-1));
}
ntt(a,G);ntt(b,G);
rep(i,nn) (a[i]*=b[i])%=MOD;
ntt(a,qpow(G,MOD-2));
while(a.size()>sv) a.pop_back();
LL inv=qpow(nn,MOD-2);
rep(i,a.size()) (a[i]*=inv)%=MOD;
return a;
}
vector <LL> inverse(vector <LL> a,LL G)
{
if(a.size()==1) return vector <LL>{qpow(a[0],MOD-2)};
vector <LL> aa=a;while(aa.size()>(a.size()+1)>>1) aa.pop_back();
vector <LL> bb=inverse(aa,G);
LL nn=1,bt=0,sv=a.size();while(nn<a.size()*2) nn<<=1LL,++bt;
while(a.size()<nn) a.pb(0);while(bb.size()<nn) bb.pb(0);
rev.clear();
rep(i,nn)
{
rev.pb(0);
rev[i]=(rev[i>>1]>>1)|((i&1)<<(bt-1));
}
ntt(a,G);ntt(bb,G);
rep(i,nn) a[i]=(2LL-a[i]*bb[i]%MOD+MOD)*bb[i]%MOD;
ntt(a,qpow(G,MOD-2));
while(a.size()>sv) a.pop_back();
LL inv=qpow(nn,MOD-2);
rep(i,a.size()) (a[i]*=inv)%=MOD;
return a;
}
vector <LL> sqrt1(vector <LL> a,LL G)//常数项为1
{
if(a.size()==1) return vector <LL>{1};
vector <LL> aa=a;while(aa.size()>(a.size()+1)>>1) aa.pop_back();
vector <LL> bb=sqrt1(aa,G);while(bb.size()<a.size()) bb.pb(0);
vector <LL> bbb=inverse(bb,G);
LL nn=1,bt=0,sv=a.size();while(nn<a.size()*2) nn<<=1LL,++bt;
while(a.size()<nn) a.pb(0);while(bb.size()<nn) bb.pb(0);while(bbb.size()<nn) bbb.pb(0);
rev.clear();
rep(i,nn)
{
rev.pb(0);
rev[i]=(rev[i>>1]>>1)|((i&1)<<(bt-1));
}
LL mul=qpow(2,MOD-2);
ntt(a,G);ntt(bb,G);ntt(bbb,G);
rep(i,nn) a[i]=mul*(bb[i]+bbb[i]*a[i]%MOD)%MOD;
ntt(a,qpow(G,MOD-2));
while(a.size()>sv) a.pop_back();
LL inv=qpow(nn,MOD-2);
rep(i,a.size()) (a[i]*=inv)%=MOD;
return a;
}
} LL n,f[130010],fac[130010],inv[130010]; void solve(LL lb,LL ub)
{
if(lb==ub)
{
if(lb==1) f[lb]=1;
else f[lb]=(qpow(2,lb*(lb-1)/2LL)*inv[lb-1]%MOD-f[lb]+MOD)%MOD;
return;
}
LL mid=(lb+ub)/2;
solve(lb,mid);
vector <LL> A,B,C;
for(int i=lb;i<=mid;++i) A.pb(f[i]);
rep(i,ub-lb+1) B.pb(qpow(2,(LL)i*(LL)(i-1)/2LL)*inv[i]%MOD);
C=poly::convolution(A,B,3);
for(int i=mid+1;i<=ub;++i) (f[i]+=C[i-lb])%=MOD;
solve(mid+1,ub);
} int main()
{
fac[0]=1;repn(i,130005) fac[i]=fac[i-1]*(LL)i%MOD;
rep(i,130004) inv[i]=qpow(fac[i],MOD-2);
cin>>n;
solve(1,n);
cout<<f[n]*fac[n-1]%MOD<<endl;
return 0;
}

最新文章

  1. jquery 事件委托
  2. 多线程爬取 threading.Thread 文件名支持gbk编码
  3. map容器的使用
  4. PHP函数补完 - var_export
  5. 可复用的js效果
  6. iOS - UICollectionViewController
  7. Windows Store App 用户库文件操作
  8. Codeforces Round #352 (Div. 2) C. Recycling Bottles 暴力+贪心
  9. *ecshop 首页促销价显示倒计时
  10. Automotive Security的一些资料和心得(8):Hardware Security Module (HSM)
  11. Java中Return和Finally运行顺序的实现
  12. 让你在DOS中任意切换目录
  13. Quartz源码——QuartzSchedulerThread.run() 源码分析(三)
  14. easyUI表单基础知识
  15. iOS 环信透传cmd消息多次重复接收,解决办法
  16. Vue学习之路---No.3(分享心得,欢迎批评指正)
  17. python之路(十)-正则表达式
  18. Openresty 学习笔记(一)opm 工具的使用
  19. 【题解】 bzoj1260: [CQOI2007]涂色paint (区间dp)
  20. Linux/Unix 新手和专家教程

热门文章

  1. 基于SqlSugar的开发框架循序渐进介绍(12)-- 拆分页面模块内容为组件,实现分而治之的处理
  2. for_in循环练习题_100到999之间的水仙花数
  3. 第十五天python3 文件IO(一)
  4. Modbus转BACnet IP网关
  5. canal-1.1.5实时同步MySQL数据到Elasticsearch
  6. 如何应对外包公司(文思海辉)的Python后端面试
  7. [GYCTF2020]Ezsqli-1|SQL注入
  8. Python 工匠: 异常处理的三个好习惯
  9. 总结-LCT
  10. 记录第一次给开源项目提 PR