人生的第一个强连通的题诞生了~
强联通缩点的理论基础感觉其实就一句话:图上的强连通是一个等价关系
(如果不知道什么是等价关系的最好去看一下关系理论。
再然后就是代码实现了。tarjan真乃神人也
缩点什么的。。
要不看看代码?
这个题是求有向图中对所有点都可达的点的个数
某结论是:DAG中当且仅当图中只有一个出度为0的时候才有被所有点可达的点,并且就是这个出度为0的点
然后显然缩点之后的图是一个DAG,那么只要找到这一个强连通分量就好了嗯
--------------------------------我是代码的分割线---------------------------------------
#include<cstdio> #include<vector> #include<stack> #include<algorithm> #include<cstring> using namespace std; const int maxn = 11234; vector<int> edge[maxn]; stack<int> S; #define iter vector<int>::iterator int dfn[maxn],low[maxn],_cnt; int bel[maxn]; void init(int n){ for(int i=0;i<n;i++){ edge[i].clear(); } while(S.empty()==false) S.pop(); memset(dfn,-1,sizeof(dfn)); memset(low,-1,sizeof(low)); _cnt = 1; } void dfs(int st){ S.push(st); dfn[st] = low[st] = _cnt++; for(iter it = edge[st].begin();it!=edge[st].end();it++){ int x = *it; if(dfn[x] == -1){ dfs(x); low[st] = min(low[st],low[x]); } else if(bel[x] == -1){ low[st] = min(low[st],dfn[x]); } } if(low[st] == dfn[st]){ while(S.top()!=st){ bel[S.top()] = st; S.pop(); } bel[st] = st; S.pop(); } } int outd[maxn]; int cal(int n){ memset(outd,0,sizeof(outd)); for(int i=1;i<=n;i++){ for(iter it = edge[i].begin();it!=edge[i].end();it++){ int x = *it; if(bel[x] != bel[i]) outd[bel[i]]++; } } int p = 0; for(int i=1;i<=n;i++){ if(outd[bel[i]] == 0){ if(p == 0) p = bel[i]; else if(p!=-1){ if(p != bel[i]) p = -1; } } } if( p == 0 || p==-1) return 0; int ans = 0; for(int i=1;i<=n;i++){ if(bel[i] == p) ans++; } return ans; } void out(char *p,int *s,int n){ printf("%s\t",p); for(int i=1;i<=n;i++) printf(i<n?"%d ":"%d\n",s[i]); } #define debug(a,b) out(#a,a,b) int main(){ int n,m; while(~scanf("%d %d",&n,&m)){ init(n); int x,y; while(m--){ scanf("%d %d",&x,&y); edge[x].push_back(y); } for(int i=1;i<=n;i++) if(dfn[i] == -1) dfs(i); // debug(dfn,n); // debug(low,n); // debug(bel,n); printf("%d\n",cal(n)); // debug(outd,n); } return 0; }