bzoj4784【zjoi2017】仙人掌

题目描述

如果一个无自环无重边无向连通图的任意一条边最多属于一个简单环，我们就称之为仙人掌。所谓简单环即不经过

重复的结点的环。

现在九条可怜手上有一张无自环无重边的无向连通图，但是她觉得这张图中的边数太少了，所以她想要在图上连上

一些新的边。同时为了方便的存储这张无向图，图中的边数又不能太多。经过权衡，她想要加边后得到的图为一棵

仙人掌。不难发现合法的加边方案有很多，可怜想要知道总共有多少不同的加边方案。两个加边方案是不同的当且

仅当一个方案中存在一条另一个方案中没有的边。

---

输入格式

多组数据，第一行输入一个整数T表示数据组数。

每组数据第一行输入两个整数n,m，表示图中的点数与边数。

接下来m行，每行两个整数u,v(1≤u,v≤n,u!=v)表示图中的一条边。保证输入的图

联通且没有自环与重边

Sigma(n)<=5*10^5,m<=10^6,1<=m<=n*(n-1)/2

---

输出格式

对于每组数据，输出一个整数表示方案数，当然方案数可能很大，请对998244353取模后

输出。

---

• 题解：

  • 由于环上的边无法再被另外的环覆盖，所以把所有的环拆掉得到森林；
  • 计算每颗树的$ans$乘起来；
  • $f[u]$表示以$u$为根的子树的方案，$g[u]$表示以$u$为根的子树并且还有某个点可以向上连边的方案；
  • 由于根也可以向上连，$g[u]$是包含$f[u]$的；
  • $f[u]$的递推可以将所有的儿子$v$的$g[v]$乘起来，在乘以儿子之间的互相连边或和$u$连边的方案数；
  • $h[i]$表示$i$个儿子时互相连边的方案：
  • $h[i] = h[i-1] + h[i-2]*(i-1)$;
  • $tot$表示$u$的儿子的个数:
  • $f[u] = \Pi_{v}g[v] * h[tot]$;
  • $u$的子树向上连边可以由$u$或者$u$的一个儿子$v$的子树向上连边；
  • $g[u] = f[u] + tot * \Pi_{v}g[v] h[tot-1] = \Pi_{v}g[v]*h[tot+1]$;
  • 我一直在纠结不连边的方案去哪了？其实不连边的方案数在统计$v$向上连到$u$时被统计了；

•  #include<bits/stdc++.h>
   using namespace std;
   const int N=,mod=;
   char gc(){
       static char*p1,*p2,s[];
       if(p1==p2)p2=(p1=s)+fread(s,,,stdin);
       return(p1==p2)?EOF:*p1++;
   }
   int rd(){
       int x=;char c=gc();
       while(c<''||c>'')c=gc();
       while(c>=''&&c<='')x=(x<<)+(x<<)+c-'',c=gc();
       return x;
   }
   int T,n,m,vis[N],bl[N],dfn[N],low[N],idx,fg,ans,st[N],top,o,hd[N],cnt,f[N],g[N],h[N],d[N];
   struct Edge{int v,nt;}E[N<<];
   inline void adde(int u,int v){
       E[o]=(Edge){v,hd[u]};hd[u]=o++;
       E[o]=(Edge){u,hd[v]};hd[v]=o++;
   }
   void tarjan(int u,int fa){
       if(fg)return;
       dfn[st[++top]=u]=low[u]=++idx;
       int tot=;
       for(int i=hd[u],v;i;i=E[i].nt){
           v=E[i].v;
           if(v==fa)continue;
           if(dfn[v=E[i].v]){
               if(d[v])continue;
               if(dfn[v]<dfn[u]&&tot++){fg=;break;}
               low[u]=min(low[u],dfn[v]);
           }else{
               tarjan(v,u);
               if(low[v]<dfn[u]&&tot++){fg=;break;}
               low[u]=min(low[u],low[v]);
           }
       }
       if(dfn[u]==low[u]){
           int v;++cnt;
           do{bl[v=st[top--]]=cnt;d[v]=;}while(v!=u);
       }
   }
   void dfs(int u){
       f[u]=g[u]=vis[u]=;
       int tot=;
       for(int i=hd[u];i;i=E[i].nt){
           int v=E[i].v;
           if(vis[v]||bl[v]==bl[u])continue;
           tot++;
           dfs(v);
           f[u]=1ll*f[u]*g[v]%mod;
           g[u]=1ll*g[u]*g[v]%mod;
       }
       f[u]=1ll*f[u]*h[tot]%mod;
       g[u]=1ll*g[u]*h[tot+]%mod;
   }
   int main(){
       #ifndef ONLINE_JUDGE
       freopen("T1.in","r",stdin);
       freopen("T1.out","w",stdout);
       #endif
       T=rd();
       h[]=h[]=;
       for(int i=;i<=;++i)h[i]=(h[i-]+1ll*(i-)*h[i-]%mod)%mod;
       while(T--){
           n=rd();m=rd();
           fg=idx=cnt=top=;ans=o=;
           for(int i=;i<=n;++i)vis[i]=hd[i]=dfn[i]=d[i]=low[i]=;
           for(int i=;i<=m;++i)adde(rd(),rd());
           tarjan(,);
           if(fg){puts("");continue;}
           for(int i=;i<=n;++i)if(!vis[i]){
               dfs(i);
               ans = 1ll * ans * f[i]%mod;
           }
           printf("%d\n",ans);
       }
       return ;
   }

  bzoj4784