https://www.zybuluo.com/ysner/note/1329304

题面

有一张\(n\)点\(m\)边的、不一定联通的无向图。

如果选了一条边,就不能选其两个端点。

现在同时选点和边,那么最多能够选的点边数量和为多少。

同时,回答使点边数最大的方案数。

  • \(n\leq10^5,m\leq3*10^5\)

解析

设答案为\(ans\),方案数为\(tot\)。

讨论一下联通块的形态:

  • \(m=n-1\):\(ans=n,tot=1\)
  • \(m=n\):\(ans=m\),环中\(tot=2\),树的部分\(tot\)值可以通过\(dp\)求出
  • \(m>n\):\(ans=m\),强连通分量\(tot=1\),树的部分\(tot\)值可以通过\(dp\)求出

树的部分的\(dp\):

设\(dp[i][0/1]\)表示统计到\(i\)号点,选不选该点的方案数。

然后从儿子转移,讨论一下就行。

综上,其实把强联通分量缩点后直接树形\(DP\)就行了。

#include<iostream>
#include<cmath>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<algorithm>
#define ll long long
#define re register
#define il inline
#define fp(i,a,b) for(re int i=a;i<=b;++i)
#define fq(i,a,b) for(re int i=a;i>=b;--i)
using namespace std;
const int N=5e5+100,mod=998244353;
int n,m,h[N],cnt=1,ans,dfn[N],low[N],sta[N],top,tot,sz[N],bl[N],scc,Esz[N],f[2][N],g[2][N];
bool vis[N];
struct dat{int u,v;}a[N<<1];
struct Edge{int to,nxt;}e[N<<1];
il void add(re int u,re int v)
{
e[++cnt]=(Edge){v,h[u]};h[u]=cnt;
e[++cnt]=(Edge){u,h[v]};h[v]=cnt;
}
il ll gi()
{
re ll x=0,t=1;
re char ch=getchar();
while(ch!='-'&&(ch<'0'||ch>'9')) ch=getchar();
if(ch=='-') t=-1,ch=getchar();
while(ch>='0'&&ch<='9') x=x*10+ch-48,ch=getchar();
return x*t;
}
il void Tarjan(re int u,re int las)
{
dfn[u]=low[u]=++tot;sta[++top]=u;vis[u]=1;
re int v;
for(re int i=h[u];i+1;i=e[i].nxt)
if((i^1)^las)
{
re int v=e[i].to;
if(!dfn[v]) Tarjan(v,i),low[u]=min(low[u],low[v]);
else if(vis[v]) low[u]=min(low[u],dfn[v]);
}
if(dfn[u]==low[u])
{
++scc;
do{v=sta[top--];vis[v]=0;++sz[scc];bl[v]=scc;}while(u^v);
}
}
il void dfs(re int u)
{
f[0][u]=sz[u];f[1][u]=Esz[u];g[0][u]=g[1][u]=1;vis[u]=1;
for(re int i=h[u];i+1;i=e[i].nxt)
{
re int v=e[i].to;
if(vis[v]) continue;
dfs(v);
if(f[0][v]>f[1][v]) f[0][u]+=f[0][v],g[0][u]=1ll*g[0][u]*g[0][v]%mod;
if(f[0][v]==f[1][v]) f[0][u]+=f[0][v],g[0][u]=1ll*g[0][u]*(g[0][v]+g[1][v])%mod;
if(f[0][v]<f[1][v]) f[0][u]+=f[1][v],g[0][u]=1ll*g[0][u]*g[1][v]%mod;
if(f[0][v]>f[1][v]+1) f[1][u]+=f[0][v],g[1][u]=1ll*g[1][u]*g[0][v]%mod;
if(f[0][v]==f[1][v]+1) f[1][u]+=f[0][v],g[1][u]=1ll*g[1][u]*(g[0][v]+g[1][v])%mod;
if(f[0][v]<f[1][v]+1) f[1][u]+=f[1][v]+1,g[1][u]=1ll*g[1][u]*g[1][v]%mod;
}
}
int main()
{
memset(h,-1,sizeof(h));
n=gi();m=gi();
fp(i,1,m) a[i].u=gi(),a[i].v=gi(),add(a[i].u,a[i].v);
fp(i,1,n) if(!dfn[i]) Tarjan(i,0);
memset(h,-1,sizeof(h));cnt=0;
fp(i,1,m)
{
re int u=a[i].u,v=a[i].v;
if(bl[u]^bl[v]) add(bl[u],bl[v]);
else ++Esz[bl[u]];
}
n=scc;tot=1;
fp(i,1,n)
if(!vis[i])
{
dfs(i);
if(f[0][i]<f[1][i]) ans+=f[1][i],tot=1ll*tot*g[1][i]%mod;
if(f[0][i]==f[1][i]) ans+=f[1][i],tot=1ll*tot*(g[0][i]+g[1][i])%mod;
if(f[0][i]>f[1][i]) ans+=f[0][i],tot=1ll*tot*g[0][i]%mod;
}
printf("%d\n%d\n",ans,tot);
return 0;
}

最新文章

  1. Java NIO概述
  2. pyMysql
  3. C++ 操作XML文件 使用MSXML.DLL
  4. DirectDraw创建Windows窗口
  5. ES6 对象解构
  6. 几何不能具有Z值
  7. iOS- NSDateFormatter (自定义时间格式)
  8. ACM常用算法及练习(2)
  9. qt 总结
  10. 使用java生成mapbox-gl可读的vector tile
  11. LGTB 与大数
  12. 利用kibana插件对Elasticsearch进行bool查询
  13. python练习题-day21
  14. English trip EM1 - PE2 My My name is... Teacher:Lamb Key: introduce myself
  15. 20165223 实验一 Java开发环境的熟悉
  16. 【转】33 个 2017 年必须了解的 iOS 开源库
  17. codeforces445A
  18. 【LeetCode每天一题】Reverse String
  19. 《算法》第四章部分程序 part 10
  20. Maven update project...后jdk变成1.5,update project后jdk版本改变

热门文章

  1. 两个很实用很方便的函数核心及用法{(lower_bound)+(max_element))~~
  2. hdu 1429 bfs+二进制状态压缩
  3. EsAlert
  4. POJ 1094 Sorting It All Out【拓扑排序】
  5. zoj4028 LIS
  6. 洛谷—— P3372 【模板】线段树 1
  7. 转: 关于Linux常用的二进制文件分析方法
  8. intelliJ IDEA工具快捷键
  9. Go和HTTPS(TLS)
  10. Meteor集合