P2863 [USACO06JAN]牛的舞会The Cow Prom

题目描述：
约翰的N (2 <= N <= 10,000)只奶牛非常兴奋，因为这是舞会之夜！她们穿上礼服和新鞋子，别 上鲜花，她们要表演圆舞.

只有奶牛才能表演这种圆舞.圆舞需要一些绳索和一个圆形的水池.奶牛们围在池边站好， 顺时针顺序由1到N编号.每只奶牛都面对水池，这样她就能看到其他的每一只奶牛.

为了跳这种圆舞，她们找了 M(2<M< 50000)条绳索.若干只奶牛的蹄上握着绳索的一端， 绳索沿顺时针方绕过水池，另一端则捆在另一些奶牛身上.这样，一些奶牛就可以牵引另一些奶 牛.有的奶牛可能握有很多绳索，也有的奶牛可能一条绳索都没有.

对于一只奶牛，比如说贝茜，她的圆舞跳得是否成功，可以这样检验：沿着她牵引的绳索， 找到她牵引的奶牛，再沿着这只奶牛牵引的绳索，又找到一只被牵引的奶牛，如此下去，若最终 能回到贝茜，则她的圆舞跳得成功，因为这一个环上的奶牛可以逆时针牵引而跳起旋转的圆舞. 如果这样的检验无法完成，那她的圆舞是不成功的.

如果两只成功跳圆舞的奶牛有绳索相连，那她们可以同属一个组合.

给出每一条绳索的描述，请找出，成功跳了圆舞的奶牛有多少个组合？

输入格式

Line 1: Two space-separated integers: N and M

Lines 2…M+1: Each line contains two space-separated integers A and B that describe a rope from cow A to cow B in the clockwise direction.

输出格式

Line 1: A single line with a single integer that is the number of groups successfully dancing the Round Dance.

---

题解：
一个裸的tarjan求强联通分量

---

AC代码：

#pragma GCC optimize(2)
#include<bits/stdc++.h>
#include<ext/rope>
using namespace std;
using namespace __gnu_cxx;
#define LL long long
const int MAXN = 1e5+50;
const int MAXM = 5e6+50;
const int MOD = 1e9+7;
const int INF = 0x3f3f3f3f;
int dfn[MAXN],low[MAXN],num[MAXN],instack[MAXN],head[MAXN],to[MAXN],nxt[MAXN];
int n,m,tot,cnt,res,top,st[MAXN];
inline void add(int u,int v){ to[++tot]=v; nxt[tot]=head[u]; head[u]=tot; }
void tarjan(int u){
    dfn[u]=low[u]=++cnt;
    st[++top]=u; instack[u]=1;
    for(int i=head[u];i;i=nxt[i]){
        if(!dfn[to[i]]) tarjan(to[i]),low[u]=min(low[u],low[to[i]]);
        else if(instack[to[i]]) low[u]=min(low[u],dfn[to[i]]);
    }
    if(dfn[u]==low[u]){
        ++res; int v;
        do{
            num[res]++; v=st[top--]; instack[v]=0;
        }while(u!=v);
    }
}
signed main(){
#ifndef ONLINE_JUDGE
    freopen("C:\\Users\\Administrator\\Desktop\\in.txt","r",stdin);
#endif // ONLINE_JUDGE
    scanf("%d%d",&n,&m); int ans=0;
    for(int i=1,u,v;i<=m;i++) scanf("%d%d",&u,&v),add(u,v);
    for(int i=1;i<=n;i++) if(!dfn[i]) tarjan(i);
    for(int i=1;i<=res;i++) if(num[i]>1) ans++;
    printf("%d\n",ans);
    return 0;
}