正题


题目大意

一张随机的\(n\)个点的竞赛图,给出它的\(m\)条相互无交简单路径,求这张竞赛图的期望强联通分量个数。

\(1\leq n,m\leq 10^5\)


解题思路

先考虑\(m=0\)的做法,此时我们考虑一个强联通块的贡献,注意到竞赛图中强联通块的会构成一条链的形式,枚举一个大小\(S\),那么此时联通块内到联通块外的边方向确定,那么这个联通块产生贡献的的概率就是\(\frac{1}{2}^{S(n-S)}\),选出这个联通块的方案就是\(\binom{n}{i}\)。

那么答案就是

\[\sum_{i=1}^n\frac 1 2^{S(n-S)}\binom{n}{i}
\]

考虑包含给出路径的情况,因为无交,所以点的编号不影响答案,只有路径长度影响方案。

考虑一条路径对一个强联通分量造成的贡献,考虑如果一条链的一半在这个块内,一条在这个块外,那么就会确定一条边的方案。所以除数要除以\(2\)。

把单点看成链的话,那么一个块由多条链组成,对于每条链构建一个形如

\[1+2x+2x^2+...+2x^{l-1}+x^{l-1}
\]

的多项式,然后跑分治\(NTT\)乘起来再用上面的式子做就好了。

时间复杂度\(O(n\log^2 n)\)


code

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cctype>
#define ll long long
using namespace std;
const ll N=4e5+10,T=20,P=998244353;
struct Poly{
ll a[N],n;
}F[T];
ll n,m,a[N],r[N],x[N],y[N];
bool v[T];
ll read(){
ll x=0,f=1;char c=getchar();
while(!isdigit(c)){if(c=='-')f=-f;c=getchar();}
while(isdigit(c)){x=(x<<1)+(x<<3)+c-'0';c=getchar();}
return x*f;
}
ll power(ll x,ll b){
ll ans=1;
while(b){
if(b&1)ans=ans*x%P;
x=x*x%P;b>>=1;
}
return ans;
}
void NTT(ll *f,ll n,ll op){
for(ll i=0;i<n;i++)
if(i<r[i])swap(f[i],f[r[i]]);
for(ll p=2;p<=n;p<<=1){
ll tmp=power(3,(P-1)/p),len=p>>1;
if(op==-1)tmp=power(tmp,P-2);
for(ll k=0;k<n;k+=p){
ll buf=1;
for(ll i=k;i<k+len;i++){
ll tt=buf*f[i+len]%P;
f[i+len]=(f[i]-tt+P)%P;
f[i]=(f[i]+tt)%P;
buf=buf*tmp%P;
}
}
}
if(op==-1){
ll invn=power(n,P-2);
for(ll i=0;i<n;i++)
f[i]=f[i]*invn%P;
}
return;
}
void Mul(Poly &F,Poly &G){
ll n=1;
while(n<F.n+G.n)n<<=1;
for(ll i=0;i<F.n;i++)x[i]=F.a[i];
for(ll i=0;i<G.n;i++)y[i]=G.a[i];
for(ll i=F.n;i<n;i++)x[i]=0;
for(ll i=G.n;i<n;i++)y[i]=0;
for(ll i=0;i<n;i++)r[i]=(r[i>>1]>>1)|((i&1)?(n>>1):0);
NTT(x,n,1);NTT(y,n,1);
for(ll i=0;i<n;i++)x[i]=x[i]*y[i]%P;
NTT(x,n,-1);
for(ll i=0;i<n;i++)F.a[i]=x[i];
F.n=F.n+G.n-1;return;
}
ll Find(){
for(ll i=0;i<T;i++)
if(!v[i]){v[i]=1;return i;}
}
ll Solve(ll l,ll r){
if(l==r){
ll p=Find();F[p].a[0]=1;F[p].a[a[l]]=1;
for(ll i=1;i<a[l];i++)F[p].a[i]=2;
F[p].n=a[l]+1;return p;
}
ll mid=(l+r)>>1;
ll ls=Solve(l,mid),rs=Solve(mid+1,r);
Mul(F[ls],F[rs]);v[rs]=0;
return ls;
}
signed main()
{
freopen("graph.in","r",stdin);
freopen("graph.out","w",stdout);
n=read();m=read();
ll sum=n,ans=0;
for(ll i=1;i<=m;i++){
a[i]=read();sum-=a[i];
for(ll j=1,x;j<=a[i];j++)x=read();
}
while(sum)
a[++m]=1,sum--;
ll p=Solve(1,m);
for(ll i=0;i<n;i++)
(ans+=F[p].a[i]*power((P+1)/2,i*(n-i))%P)%=P;
printf("%lld\n",ans);
return 0;
}

最新文章

  1. 深入理解java异常处理机制
  2. NUC_HomeWork1 -- POJ2067(最短路)
  3. 解析XML的几种方法之SAX解析
  4. Start cluster zookeeper in shell script
  5. PHP输出表格的方法
  6. [转]Java获取当前路径
  7. crontab无法调用java的问题解决
  8. ant 安装过程中问题记录
  9. 李洪强漫谈iOS开发[C语言-035]-选择结构-与小结
  10. 分布式Session共享(一):tomcat+redis实现session共享
  11. 超赞!聊聊WEB APP、HYBRID APP与NATIVE APP的设计差异
  12. WebService入门实例教程
  13. C#窗体多语言切换(简繁)
  14. 在vue中添加sass的配置的方法
  15. PAT (Basic Level) Practise - 换个格式输出整数
  16. 剑指offer(37)数字在排序数组中出现的次数。
  17. hasattr() 、getattr() 、setattr()
  18. 2015年传智播客JavaEE 第168期就业班视频教程14-登录功能需求分析+模块结构命名规范
  19. Tarojs+redux支付宝小程序开发攻略
  20. 关于JDK环境变量的配置问题

热门文章

  1. 关于c#:如何在不同的命名空间中处理相同的类名?
  2. 如何在github上传本地项目代码
  3. 狂神说SpringBoot02:运行原理初探
  4. linux 下文件的权限
  5. linux系统下深度学习环境搭建和使用
  6. Git入门配置
  7. vue 嵌入倒计时组件( 亲测可用 )
  8. Spring Boot 入门系列(二十四)多环境配置,3分钟搞定!
  9. K8S集群架构的组件组成
  10. 20210716 noip17