有向无环图中才存在拓扑序列,拓扑序列就是将有向无环图中的所有点排成一个线性序列
方法:用数组模拟队列,先将所有入度为0的点入队,一次从队列中取出队首,将队首指向下一个节点的边去除,以某个点为队首,一直向后去除,直到末尾,将处理过程中入度为0的点入队。最后判断队列的长度是否是n,如果是就代表所有点都已经入队,代表这个图存在拓扑序列,如果不是就代表存在环,存在无法入队的节点
#include<iostream>
#include<cstring>
#include<algorithm>
using namespace std;
const int N = 1e5 + 10;
int e[N], ne[N], h[N], idx;
int q[N], d[N];
int n, m;
void add(int a, int b){
e[idx] = b;
ne[idx] = h[a];
h[a] = idx ++ ;
}
bool topsort(){
int hh = 0, tt = 0;//用数组模拟队列,数组从下标为1的点开始存数
for(int i = 1; i <= n; i ++ ){
if(!d[i]){
q[ ++ tt] = i;//入度为0的点入队
}
}
while(hh <= tt){//当队列不为空时
int t = q[hh ++ ];//取出队首节点
for(int i = h[t]; i != -1; i = ne[i]){//遍历队首节点后的节点
int j = e[i];//选择某一节点
d[j] -- ;//断开队首节点和该节点的联系,该节点的入度--
if(d[j] == 0){//如果该节点的入度为0
q[ ++ tt] = j;//把该节点入队
}
}
}
return tt == n ;//判断是否所有节点都已入队,如果是,证明该图是有向无环图,如果不是,证明该图中存在环
}
int main()
{
cin>>n>>m;
memset(h, -1, sizeof(h));
for(int i = 0; i < m; i ++ ){
int a, b;
cin>>a>>b;
add(a, b);
d[b] ++ ;//b点的入度++;
}
if(topsort()){//如果这个图是无环有向图(拓补序列)
for(int i = 1; i <= n; i ++ ){
cout<<q[i]<<" ";//(序列的每个元素已经入队,队头虽然变,但对内元素没有变,按照1~n输出,即拓补序列
}
}
else{
cout<<"-1"<<endl;
}
return 0;
}