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

数据范围及提示 Data Size & Hint
各个测试点1s

题解：

tarjian求解；
在判断是否被所有人爱着时，可以枚举每一条边，判断边的起点终点是否在同一个强连通分量里，若不在，统计出度，唯一一个出度为0的即为所求分量；
证明：若存在被所有人爱着的分量，则它的出度一定为0
因为该分量被所有人爱着，所以各个其他分量都有一条边连向该分量；
假设该分量出度不为0，则该分量至少有一条连向其他分量（设为分量a）的边，那么该分量和a又能组成一个更大的分量，tarjan的正确性即不可保证。
然而，tarjan算法是正确的，故上述假设不成立。

注意：

有可能几个强连通分量都不相连，即出度都为0，所以要记录出度为0的分量的个数，若大于1，则输出-1，否则就会输出第一个分量；

代码

#include<iostream>
#include<cstdio>
#include<cstring>
#include<stack>
#include<algorithm>
#include<vector>
const int maxn=1000;
using namespace std;
int dfs_cnt,sccn_cnt,n,m,a,b,anss,num,l;
int low[maxn],dfn[maxn],sccn[maxn],du[maxn],da[maxn],tot;
vector <int> map[maxn],ans[maxn];
stack <int> S; 
void init(){
    dfs_cnt=0;
    return ;
}
void build(int x,int y){
    map[x].push_back(y);
    return ;
}
void tarjian(int x){
    low[x]=dfn[x]=++dfs_cnt;
    S.push(x);
    for(int i=0;i<map[x].size();i++){
        int v=map[x][i];
        if(!dfn[v]){
            tarjian(v);
            low[x]=min(low[x],low[v]);
        }
        else if(!sccn[v]){
            low[x]=min(low[x],dfn[v]);
        }
    }
    if(low[x]==dfn[x]){
        ++sccn_cnt;
        while(!S.empty()){
            int u=S.top();
            S.pop();
            sccn[u]=sccn_cnt;
            ans[sccn_cnt].push_back(u);
            if(u==x) break;
        }
    }
    return ;
}
int main(){
    init();
    scanf("%d%d",&n,&m);
    for(int i=1;i<=m;i++){
        scanf("%d%d",&a,&b);
        build(a,b);
    }
    for(int i=1;i<=n;i++){
        if(!dfn[i]) {
        //  init();
            tarjian(i);
        }
    }
    for(int i=1;i<=n;i++){
        for(int j=0;j<map[i].size();j++){
            if(sccn[map[i][j]]!=sccn[i])
            du[sccn[i]]++;
        }

    }
//  cha();
    for(int i=1;i<=sccn_cnt;i++){
        if(ans[i].size()>1) 
        {
            num++;
            if(du[i]==0)
            {
                anss=i;
                l++;
            } 
        }
    }
    printf("%d\n",num);
    if(!anss || l > 1) printf("-1");
    else {
        while(!ans[anss].empty()){
            da[++tot]=ans[anss].back();
        ans[anss].pop_back();
        }
        sort(da+1,da+tot+1);
        for(int i=1;i<=tot;i++)
        printf("%d ",da[i]);
    }
    return 0;
}

redo

tarjian应该是√了
但是处理被谁爱的时候，统计的是入度，比较麻烦，改为出度以后，有gg在了注意中几个强连通分量不相连和单点不是爱心天使。
WA了两遍
第一次没粘程序，直接交了A+B的注释编译错误也是手抖233
看来做过的题不一定会。。。。

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
using namespace std;
const int N=100000+500,M=200000+500;
int fst[N],nxt[M],dfn[N],low[N],to[M],sccno[N],chu[N],sz[N],ans[N];
int s[N];
int n,m,flag,top,cnt,tot,scc_cnt,dfn_cnt;
struct node{
    int s,t;
}e[M];
void tarjian(int u){
    dfn[u]=low[u]=++dfn_cnt;
    s[++top]=u;
    for(int i=fst[u];i!=-1;i=nxt[i]){
        int v=to[i];
        if(!dfn[v]){
            tarjian(v);
            low[u]=min(low[u],low[v]);
        }
        else if(!sccno[v]){
            low[u]=min(low[u],dfn[v]);
        }
    }
    if(dfn[u]==low[u]){
        ++scc_cnt;
        for(;;){
            int x=s[top];
            top--;
            sccno[x]=scc_cnt;
            sz[scc_cnt]++;
            if(x==u) break;
        }
    }
}
void build(int a,int b){
    to[++tot]=b;
    nxt[tot]=fst[a];
    fst[a]=tot;
}
void rebuild(){
    for(int i=1;i<=m;i++){
        int a=sccno[e[i].s],b=sccno[e[i].t];
        if(a==b) continue;
        chu[a]++;
    }
}
int main(){
    memset(fst,-1,sizeof(fst));
    scanf("%d%d",&n,&m);
    for(int i=1;i<=m;i++){
        scanf("%d%d",&e[i].s,&e[i].t);
        build(e[i].s,e[i].t);
    }
    for(int i=1;i<=n;i++){
        if(!dfn[i]) tarjian(i);
    }
    int tmp=scc_cnt;
    for(int i=1;i<=scc_cnt;i++){
    //  printf("i=%d sz=%d\n",i,sz[i]);
        if(sz[i]==1) tmp--;
    }
    printf("%d\n",tmp);

    rebuild();
    for(int i=1;i<=scc_cnt;i++){
    //  printf("i=%d,chu=%d\n",i,chu[i]);
        if(chu[i]==0) {
            flag++;
            tmp=i;
        }
    }
    //printf("flag=%d\n",flag);
    if(!flag||flag>1){
        printf("-1");
    }
    else {
        if(sz[tmp]==1){
            printf("-1");
            return 0;
        }
        for(int i=1;i<=n;i++){
        //  printf("i=%d,scc=%d\n",i,sccno[i]);
            if(sccno[i]==tmp) ans[++cnt]=i;
        }
        for(int i=1;i<=cnt;i++) printf("%d ",ans[i]);
    }
}