【NOIP2017提高A组冲刺11.2】字典序（拓扑序+堆）

Input

第一行两个正整数n,m。接下来m行每行两个数ai,bi。

Output

输出一行n个整数表示答案。如果不存在这样的排列，输出-1。

Sample Input

5 4
5 4
5 3
4 2
3 2

Sample Output

1 5 3 4 2

Data Constraint

对于20%的数据，n,m<=10。
对于40%的数据，n,m<=200。
对于60%的数据，n,m<=1000。
对于100%的数据，n,m<=100000。

题解

这种水题，我一眼秒！ - - - -一位蒟蒻口出狂言道。

好了，我们进入正题。
首先，限制关系是可以传递的：
A->B + B->C =A->C
但是不能这样：
A->C + B->C =A->B
所以，这样的边都是有向的。
然后我们来讨论合法方案。
我们手玩几组数据之后，可以发现，不同的块之间不会互相影响。
然后也还可以发现，只有入度为0的点才可以被选择。
所以就是拓扑序。
然后要求字典序最小，我们只需要每一步都选择最小的，贪心地去做，就一定是最优解。
可以反证法证明。
所以只需要开一个堆，把原来拓扑排序的队列改成一个小根堆就好了。
代码：

#include<cstdio>
#include<cstring>
#include<iostream>
#include<cmath>
#include<algorithm>
#include<cstdlib>
#include<queue>
#define ll long long
using namespace std;
inline int read(){
    int x=0;char ch=' ';int f=1;
    while(ch!='-'&&(ch<'0'||ch>'9'))ch=getchar();
    if(ch=='-')f=-1,ch=getchar();
    while(ch>='0'&&ch<='9')x=(x<<3)+(x<<1)+(ch^48),ch=getchar();
    return x*f;
}
const int N=1e5+10;
struct edge{int to,next;}e[N];
int n,m,tot,cnt;
int in[N],head[N],ans[N];
inline void addedge(int x,int y){e[++tot].to=y;e[tot].next=head[x];head[x]=tot;}
priority_queue<int,vector<int>,greater<int> > q;
inline void toposort(){
    for(int i=1;i<=n;i++)if(!in[i])q.push(i);
    while(!q.empty()){
        int x=q.top();
        q.pop();
        ans[++cnt]=x;
        for(int i=head[x];i;i=e[i].next){
            int u=e[i].to;
            in[u]--;
            if(!in[u])q.push(u);
        }
    }
}
int main(){
    freopen("dictionary.in","r",stdin);
    freopen("dictionary.out","w",stdout);
    n=read();m=read();
    for(int i=1;i<=m;i++){
        int x=read(),y=read();
        in[y]++;addedge(x,y);
    }
    toposort();
    if(cnt<n)printf("-1");
    else for(int i=1;i<=cnt;i++)printf("%d ",ans[i]);
    return 0;
}