【codevs2822】爱在心中

题目描述 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

【题解】

第一问的答案就是缩点后长度大于1的环的数量。

第二问：注意到一点：缩点后满足条件的点一定是出度为0，那么就好办了，遍历每个点，如果出度为零，记录下来，然后去找。

#include<iostream>
#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<ctime>
#include<cmath>
#include<algorithm>
using namespace std;
#define MAXN 50010
struct node{int y,next;}e[MAXN],e2[MAXN];
int n,m,now,len,top,bcnt,Link[MAXN],Link2[MAXN],dfn[MAXN],low[MAXN],instack[MAXN],stack[MAXN],belong[MAXN],size[MAXN];
inline int read()
{
    int x=0,f=1;  char ch=getchar();
    while(!isdigit(ch))  {if(ch=='-')  f=-1;  ch=getchar();}
    while(isdigit(ch))  {x=x*10+ch-'0';  ch=getchar();}
    return x*f;
}
void insert(int x,int y)  {e[++len].next=Link[x];Link[x]=len;e[len].y=y;}
void Insert(int x,int y)  {e2[++len].next=Link2[x];Link2[x]=len;e2[len].y=y;}
void tarjan(int x)
{
    dfn[x]=low[x]=++now;
    instack[x]=1;  stack[++top]=x;
    for(int i=Link[x];i;i=e[i].next)
    {
        if(!dfn[e[i].y])
        {
            tarjan(e[i].y);
            low[x]=min(low[x],low[e[i].y]);
        }
        else if(instack[e[i].y])  low[x]=min(low[x],dfn[e[i].y]);
    }
    if(low[x]==dfn[x])
    {
        int y;  bcnt++;
        do
        {
            y=stack[top--];
            instack[y]=0;
            belong[y]=bcnt;
            size[bcnt]++;
        }while(x!=y);
    }
}
int main()
{
    //freopen("cin.in","r",stdin);
    //freopen("cout.out","w",stdout);
    n=read();  m=read();
    for(int i=1;i<=m;i++)
    {
        int x=read(),y=read();
        insert(x,y);
    }
    len=0;
    for(int i=1;i<=n;i++)  if(!dfn[i])  tarjan(i);
    for(int i=1;i<=n;i++)
        for(int j=Link[i];j;j=e[j].next)
            if(belong[e[j].y]!=belong[i])
                Insert(belong[i],belong[e[j].y]);
    int ans=0;
    for(int i=1;i<=bcnt;i++)
        if(size[i]>1)  ans++;
    printf("%d
",ans);
    ans=-1;
    for(int i=1;i<=bcnt;i++)
        if(!Link2[i])
        {
            if(ans!=-1||size[i]==1)  {ans=-1;  break;}
            else ans=i;
        }
    if(ans==-1)  {printf("-1
");  return 0;}
    for(int i=1;i<=n;i++)
        if(belong[i]==ans)  printf("%d ",i);
    printf("
");
    return 0;
}