codeforces 681D(Gifts by the List)

题目链接:传送门

题目大意:一个家族有n个人，m种关系，之后行有 x y ，表示 x 是 y 的祖先，祖先具有传递性，然后有n个数，表示第 i 个人想把礼物送给 a[i],

　　　　 你需要构造一张表这张表上的人代表收礼物的人，并且其他人送礼物是按表上的顺序找，找到的第一个祖先就是他要送礼的人，同时需要满足这个人

　　　　 是他想送礼的人，如果存在这张表输出人数及编号，否则输出-1（题意中自己也算是自己的一个祖先）

题目思路:我们要从题意中得出结论: 如下图的一张关系图

　　　　　　a->b->c->d    如果a想给d送礼，则b，c都必须给d送礼，否则矛盾。

　　　　　　证明:若a给d送，b给c送，表中 b 必须找到的第一个祖先是 c 才能给 c送礼，所以 c 在表中应该比 d 靠前，这时候 a 找到的第一个祖先应该是 c ，

　　　　　　则 a 也应该给 c 送礼，和条件矛盾，得证。

　　　　　　第二个结论，如果存在这样一张表，则表中只有想给自己送礼的人。因为一个人给他的祖先送礼，则他祖先的所有子孙都要给他祖先送礼(上面的第一个结论)

　　　　　　那么我们只需要保存祖先即可。

#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cmath>
#include <algorithm>
#include <cstring>
#include <stack>
#include <cctype>
#include <queue>
#include <string>
#include <vector>
#include <set>
#include <map>
#include <climits>
#define lson root<<1,l,mid
#define rson root<<1|1,mid+1,r
#define fi first
#define se second
#define ping(x,y) ((x-y)*(x-y))
#define mst(x,y) memset(x,y,sizeof(x))
#define mcp(x,y) memcpy(x,y,sizeof(y))
using namespace std;
#define gamma 0.5772156649015328606065120
#define MOD 1000000007
#define inf 0x3f3f3f3f
#define N 100005
#define maxn 1005
typedef pair<int,int> PII;
typedef long long LL;

int a[N];
int in[N],ans[N],cnt;
int n,m,k;
struct Node{
    int to,next;
}node[N];
int head[N],hcnt;
inline void add(int x,int y){
    node[hcnt].to=y;node[hcnt].next=head[x];
    head[x]=hcnt++;++in[y];
}
void dfs(int x){
    for(int i=head[x];~i;i=node[i].next){
        int e=node[i].to;
        dfs(e);
        if(a[e]!=e&&a[x]!=a[e]){
            exit(0*printf("-1
"));
        }
    }
    if(a[x]==x){ans[cnt++]=x;}
}
int main(){
    int i,j,group,x,y;
    mst(head,-1);hcnt=0;
    scanf("%d%d",&n,&m);
    for(i=1;i<=m;++i){
        scanf("%d%d",&x,&y);
        add(x,y);
    }
    for(i=1;i<=n;++i){scanf("%d",&a[i]);}
    for(i=1;i<=n;++i){
        if(!in[i])dfs(i);
    }
    printf("%d
",cnt);
    for(i=0;i<cnt;++i)
        printf("%d
",ans[i]);
    return 0;
}