若一个由图中所有点构成的序列A满足:对于图中的每条边(x, y),x在A中都出现在y之前,则称A是该图的一个拓扑序列。
有向无环图一定存在拓扑序列。故有向无环图也被称为拓扑图。
思路:
所有入度为0的点都可以作为起点。
入度为0的点入队
while(queue不空)
{
t = 队头;
枚举t的所有出边 t → j
删掉 t → j,d[ j ] -- ;
if(d[ j ] == 0)
j 入队
}
典例——AcWing 848.有向图的拓扑序列
#include <iostream>
#include <algorithm>
#include <cstring>
using namespace std;
const int N = 100010;
int n,m;
int h[N],e[N],ne[N],idx;
int q[N],d[N];
//d[]存储结点入度
void add(int a,int b)
{
e[idx] = b, ne[idx] = h[a], h[a] = idx ++ ;
}
bool topsort()
{
int hh = 0, tt = -1;
for(int i = 1; i <= n; i ++ )
if(!d[i]) //让入读为0的点入队
q[++ tt] = i;
while(hh <= tt)
{
int t = q[hh ++]; //取队头,队头元素出出队
for(int i = h[t]; i != -1; i = ne[i] ) //遍历队头结点的所有出边
{
int j = e[i]; // 队头结点出边
d[j] -- ; //删除队头结点的出边,即减少j结点的入度
if( d[j] == 0) //把j结点的入度减为0
q[++ tt] = j;
}
}
return tt == n - 1; //入队n个点,说明是一个有向无环图,一定有拓扑序列
}
int main()
{
cin >> n >> m;
int a,b;
memset(h,-1,sizeof(h));
for(int i = 0; i < m; i ++ )
{
cin >> a >> b;
add(a,b);
d[b] ++ ;
}
if(topsort())
{
for(int i = 0; i < n; i ++ )
cout << q[i] << ' ';
cout << endl;
}
else
cout << -1 << endl;
return 0;
}