codevs 2822:爱在心中

题目描述 Description
“每个人都拥有一个梦，即使彼此不相同，能够与你分享，无论失败成功都会感动。爱因为在心中，平凡而不平庸，世界就像迷宫，却又让我们此刻相逢Our Home。”

在爱的国度里有N个人，在他们的心中都有着一个爱的名单，上面记载着他所爱的人（不会出现自爱的情况）。爱是具有传递性的，即如果A爱B，B爱C，则A也爱C。
如果有这样一部分人，他们彼此都相爱，则他们就超越了一切的限制，用集体的爱化身成为一个爱心天使。
现在，我们想知道在这个爱的国度里会出现多少爱心天使。而且，如果某个爱心天使被其他所有人或爱心天使所爱则请输出这个爱心天使是由哪些人构成的，否则输出-1。

输入描述 Input Description
第1行，两个数N、M，代表爱的国度里有N个人，爱的关系有M条。
第2到第M+1行，每行两个数A、B，代表A爱B。

输出描述 Output Description
第1行，一个数，代表爱的国度里有多少爱心天使。
第2行，如果某个爱心天使被其他所有人和爱心天使所爱则请输出这个爱心天使是由哪些人构成的（从小到大排序），否则输出-1。

样例输入 Sample Input
样例输入1：

6 7
1 2
2 3
3 2
4 2
4 5
5 6
6 4


样例输入2：

3 3
1 2
2 1
2 3

样例输出 Sample Output
样例输出1：

2
2 3

样例输出2：

1
-1

　　芒果君：昨天又犯了一个错误让我开始怀疑人生。本来缩点做一次就够了结果我不小心没把函数上面那个循环删掉，怎么改都T了，最后还打了一个读入优化233333真是有病。然后这道题的话和那个（HAOI2006 受欢迎的牛）差不多，就多了一问。最近浪的太厉害tarjan还没学完，今天第一天课发现自己背包啥都不会了，so sad。

　　言归正传吧，题目意思就是求总共有多少容量大于1的强连通分量，一开始走一遍tarjan，求容量（own数组），求点所属强连通分量（集合jh数组），重构的部分我借鉴了hzw大佬，但只保留了一行用来判断有无初度。找答案的部分我认为值得学习一下，缩完点后，如果这个强连通分量被所有其它分量连接，那么它的出度为0且只能存在一个。因为你想，它肯定有入度，但如果它有出度，这就又和别的强连通了，不对吧。要是存在两个，它们都没有出度，互相否定了“被所有其他分量”这个条件，也不能成立。感觉需要理解一阵子而且我写的也很迷23333333 然后在这道题中还要注意，容量为1的分量是不符合条件的。

　　下面贴代码啦↓~

#include<bits/stdc++.h>
#define l 10010 
using namespace std;
stack<int>S;
struct X{
    int v,next;
}e[50010];
int n,m,ans,hl[l],HL[l],jh[l],own[l],vis1[l],vis2[l],low[l],dfn[l],cnt,num;
void add(int x,int y)
{
    e[++cnt].v=y;
    e[cnt].next=hl[x];
    hl[x]=cnt;
}
void tarjan(int x)
{
    vis1[x]=vis2[x]=1;
    dfn[x]=low[x]=++cnt;
    S.push(x);
    for(int i=hl[x];i;i=e[i].next){
        int to=e[i].v;
        if(!vis1[to]){
            tarjan(to);
            low[x]=min(low[x],low[to]);
        }
        else if(vis2[to]) low[x]=min(low[x],dfn[to]);
    }
    if(dfn[x]==low[x]){
        int now=-1;
        num++;
        while(now!=x){
            now=S.top();
            S.pop();
            vis2[now]=0;
            jh[now]=num;
            own[num]++;
        }
    }
}
void rebuild()
{
    cnt=0;
    for(int i=1;i<=n;++i)
        for(int j=hl[i];j;j=e[j].next)
            if(jh[i]!=jh[e[j].v]) HL[jh[i]]=++cnt; 
}
int main()
{
    cin>>n>>m;
    for(int i=1;i<=m;++i){
        int x,y;
        cin>>x>>y;
        add(x,y);
    }
    for(int i=1;i<=n;++i) if(!vis1[i]) tarjan(i);
    rebuild(); 
    for(int i=1;i<=num;++i) if(own[i]>1) ans++; 
     cout<<ans<<endl; 
    ans=0; 
    for(int i=1;i<=num;++i)
        if(!HL[i]){
            if(ans||own[i]==1){
                cout<<"-1"<<endl; 
                return 0; 
            }
            else ans=i; 
        }
    for(int i=1;i<=n;++i) if(jh[i]==ans) cout<<i<<" "; 
    return 0;
}