CF #CROC 2016

题目链接：http://codeforces.com/contest/655/problem/D

大意是给若干对偏序，问最少需要前多少对关系，可以确定所有的大小关系。

解法是二分答案，利用拓扑排序看是否所有关系被唯一确定。即任意一次只能有1个元素入度为0入队。

#include <iostream>
#include <vector>
#include <algorithm>
#include <string>
#include <string.h>
#include <stdio.h>
#include <math.h>
#include <queue>
#include <stack>
#include <map>
#include <set>

using namespace std;


const int N=123456;

struct Edge {
    int to,next;
    Edge() {}
    Edge(int _to,int _nxt):to(_to),next(_nxt) {}
} edge[N<<2];
int idx=1,head[N];
void addedge(int u,int v) {
    edge[++idx]=Edge(v,head[u]);
    head[u]=idx;
}
int in[N],que[N];

int a[N],b[N];

bool topoSort(int n,int mid){
    idx=1;memset(head,0,sizeof head);
    memset(in,0,sizeof in);
    for (int i=1;i<=mid;i++) {
        addedge(a[i],b[i]);
        in[b[i]]++;
    }
    int tail=0;
    for (int i=1;i<=n;i++)
        if (in[i]==0)
            que[tail++]=i;
    if (tail>1) return false;
    for (int i=0;i<tail;i++){
        int cnt=0;
        for (int k=head[que[i]];k;k=edge[k].next){
            int v=edge[k].to;
            in[v]--;
            if (in[v]==0){
                cnt++;
                if (cnt>1) return false;
                que[tail++]=v;
            }
        }
    }
    return true;
}


int main() {
    int n,m;
    scanf("%d %d",&n,&m);
    for (int i=1;i<=m;i++) {
        scanf("%d %d",a+i,b+i);
    }
    int low=1,high=m,ret=-1;
    while (low<=high) {
        int mid=(low+high)>>1;
        if (topoSort(n,mid)) {
            ret=mid;
            high=mid-1;
        }
        else
            low=mid+1;
    }
    printf("%d
",ret);
    return 0;
}