UVa 11504 - Dominos

题目：有一些多米诺骨牌，现在告诉你他们的相邻顺序，问最少推几次可以把他们全部推倒。

分析：图论，强连通分量。强连通分量上的某点被推到，整个分量都会倒。

            求强连通分量，然后缩点，剩下的“点”中每个入度为0的点都要用手推倒；（必要性）

            再者，在缩点后的图中，每次找到一个入度为0的点推倒后，不会产生新的入度为0的点；（充分性）

           （新产生的入度为0的点，之前入度一定不为0，那么它的前驱倒下后，他也必然倒下，不会留下来）

            综上，要推倒所有入度为0的点，所有点就倒下了。

说明：注意是有向图。

#include <algorithm>
#include <iostream>
#include <cstdlib>
#include <cstring>
#include <cstdio>

using namespace std;

//link_define
typedef struct enode
{
	int    point;
	enode* next;
}edge;
edge  E[100001];
edge* H[100001];
int   edge_count;

void link_initial()
{
	edge_count = 0;
	memset(E, 0, sizeof(E));
	memset(H, 0, sizeof(H));
}

void link_add(int a, int b)
{
	E[edge_count].point = b;
	E[edge_count].next = H[a];
	H[a] = &E[edge_count ++];
} 
//link_end

int  use[100001],dfn[100001],low[100001],stk[100001],set[100001];
int  s_id,times,top;  
void tarjan(int i, int j)   
{  
    dfn[i] = low[i] = ++ times;  
    use[i] = 1;  
    stk[++ top] = i;  
    for (edge* p = H[i] ; p ; p = p->next) {  
        if (!dfn[p->point]) {  
            tarjan(p->point, 0);  
            low[i] = min(low[i], low[p->point]);  
        }else if (use[p->point])
            low[i] = min(low[i], dfn[p->point]);  
    }  
    if (dfn[i] == low[i]) {  
        s_id ++;  
        do {
            j = stk[top --];
            use[j] = 0;  
            set[j] = s_id;  
        }while (j != i);  
    }  
}

int in[100001];
 
int main()
{
	int t,n,m,a,b;
	while (~scanf("%d",&t))
	while (t --) {
		scanf("%d%d",&n,&m);
		link_initial();
		for (int i = 1 ; i <= m ; ++ i) {
			scanf("%d%d",&a,&b);
			link_add(a, b);
		}
		
		//强连通分量   
	    s_id = times = top = 0;  
	    memset(dfn, 0, sizeof(dfn));  
	    memset(use, 0, sizeof(use));  
	    for (int i = 1 ; i <= n ; ++ i)  
	        if (!dfn[i])  
	            tarjan(i, 0);
		
		memset(in, 0, sizeof(in));
		for (int i = 1 ; i <= n ; ++ i)
			for (edge *p = H[i] ; p ; p = p->next)
				if (set[i] != set[p->point])
					in[set[p->point]] ++;
		int count = 0;
		for (int i = 1 ; i <= s_id ; ++ i)
			count += !in[i];
		
		printf("%d\n",count);
	}
	return 0;
}