LA4287--tarjan
题目大意:
在数学中,我们常常需要完成若干个命题的等价性证明。比如,有4个命题a,b,c,d,我们证明a↔b,然后b↔c,最后c↔d。注意每次证明都是双向的,因此一共完成了6次推导。另一种方法是a→b,然后b→c,接着c→d,最后d→a,只需4次。现在你的任务是证明n个命题全部等价,且你的朋友已经为你做出了m次推导(已知每次推导的内容),你至少还需要做几次推导才能完成整个证明?
先tarjan一遍求出强连通分量,缩点,统计每个点的出入度。设有a个节点入读为0,b个节点出度为0,则答案就是max(a,b)。
代码:
![](https://images.cnblogs.com/OutliningIndicators/ContractedBlock.gif)
#include<iostream> #include<cstdio> #include<cmath> #include<vector> #include<string.h> using namespace std; vector<int>g[20001]; int n,m,t,i,j,x,y,dfn[20001],dfs_clock,low[20001],in0[20001],out0[20001],c[20001],a,b,l,f[20001],cnt; void dfs(int u){ dfn[u]=low[u]=++dfs_clock; c[++l]=u; for(int i=0;i<g[u].size();++i) if(!dfn[g[u][i]]){ dfs(g[u][i]); low[u]=min(low[u],low[g[u][i]]); }else if(!f[g[u][i]])low[u]=min(low[u],dfn[g[u][i]]); if(low[u]==dfn[u]){ cnt++; while(c[l]!=u)f[c[l--]]=cnt; f[c[l--]]=cnt; } } int main() { scanf("%d",&t); for(int u=0;u<t;++u){ scanf("%d%d",&n,&m); for(i=1;i<=n;++i)g[i].clear(); for(i=1;i<=m;++i){ scanf("%d%d",&x,&y); g[x].push_back(y); } memset(dfn,0,sizeof(dfn)); memset(low,0,sizeof(low)); memset(in0,0,sizeof(in0)); memset(out0,0,sizeof(out0)); memset(f,0,sizeof(f)); memset(c,0,sizeof(c)); a=0;b=0;l=0;cnt=0;dfs_clock=0; for(i=1;i<=n;++i)if(!dfn[i])dfs(i); for(i=1;i<=n;++i) for(j=0;j<g[i].size();++j) if(f[g[i][j]]!=f[i]){ in0[f[g[i][j]]]++; out0[f[i]]++; } for(i=1;i<=cnt;++i){ if(!in0[i])a++; if(!out0[i])b++; } if(cnt==1)printf("0\n");else printf("%d\n",max(a,b)); } return 0; }