UVA LIVE 5053 World Cup Nominations--有向图强连通

1.强连通里面的点可以到达彼此，即存在a->b 和 b->a，通过某些途径可以打败彼此，果断缩点，

如果块里面某一点能赢，那么其他点也能赢，反之也是

2.缩点后各块之间，对于某两个块，只可能块a的边全部指向块b，不会有a->b又有b->a，

能赢的那些点一定是没有块指向它的，否则它还是不可能打败所有

#include <iostream>
#include <cstring>
#include <cstdio>
#include <cstdlib>
#include <vector>
using namespace std;
#define N 1050
int dfn[N],low[N],scc[N],sta[N],vis[N],insta[N],cnt,sum,top;
int map[N][N];
int n;
char str[N];
int min(int aa,int bb)
{
	return aa<bb?aa:bb;
}
void dfs(int u,int fa)
{
	dfn[u]=low[u]=++cnt;
	sta[top++]=u;insta[u]=1;
	for(int i=1;i<=n;++i)
		if(map[u][i])
		{
			if(i==fa)
				continue;
			else if(!dfn[i])
			{
				dfs(i,u);
				low[u]=min(low[u],low[i]);
			}
			else if(insta[i])   // 在栈中才能更新，与无向图的区别
				low[u]=min(low[u],dfn[i]);
		}
	if(dfn[u]==low[u])
	{
		++sum;
		int i;
		do{
			i=sta[--top];
			insta[i]=0;  // 进退栈改标记
			scc[i]=sum;
		}while(i!=u);
	}
}

int main ()
{
	while(scanf("%d",&n)!=EOF)
	{
		if(n==0) break;
		memset(map,0,sizeof(map));
		for(int i=1;i<n;++i)
		{
			scanf("%s",str);
			for(int k=i+1;k<=n;++k)
				if(str[k-i-1]=='1')
					map[i][k]=1;
				else map[k][i]=1;
		}
		cnt=sum=top=0;
		memset(scc,0,sizeof(scc));
		memset(dfn,0,sizeof(dfn));
		memset(low,0,sizeof(low));
		for(int i=1;i<=n;++i)
			if(!dfn[i])
			{
				memset(insta,0,sizeof(insta));
				dfs(i,-1);
			}
		memset(vis,0,sizeof(vis));
		for(int i=1;i<=n;++i)
			for(int j=1;j<=n;++j)
				if(map[j][i]&&scc[i]!=scc[j])
					vis[scc[i]]=1;
		int obj=1;
		for(int i=1;i<=sum;++i)
			if(!vis[i])
				obj=i;
		int ans=0;
		for(int i=1;i<=n;++i)
			if(scc[i]==obj)
				ans++;
		printf("%d\n",ans);
	}
	system("pause");
	return 0;
}