题目描述
给定一个 n 个点 m 条边的有向图,点的编号是 1 到 n,图中可能存在重边和自环。
请输出任意一个该有向图的拓扑序列,如果拓扑序列不存在,则输出 −1。
若一个由图中所有点构成的序列 A 满足:对于图中的每条边 (x,y),x 在 A 中都出现在 y 之前,则称 A 是该图的一个拓扑序列。
输入格式
第一行包含两个整数 n 和 m。
接下来 m 行,每行包含两个整数 x 和 y,表示存在一条从点 x 到点 y 的有向边(x,y)。
输出格式
共一行,如果存在拓扑序列,则输出任意一个合法的拓扑序列即可。
否则输出 −1。
数据范围
1 ≤ n,m ≤
输入样例:
3 3
1 2
2 3
1 3
输出样例:
1 2 3
思路
对于本道题,我们首先得建立“拓扑排序”的概念。关于拓扑排序的定义,题中已经给出,这里我们
进一步加以理解。
但是在此之前,我们先建立一下度的概念。
对于一个有向图而言,度分为入度和出度。顾名思义,入度是指箭头指向自己,出度是指从当前点出发的一条线段。例如,对于下面这张图,其入度为2,出度为1。
那么接下来我们就具体的模拟一下拓扑排序的过程。
观察可以发现,我们每次都是取出一个度为0的点,再将其出度划掉。例如,将a取出,则a -> b的边消失,a -> c的边消失。与此同时,a和b的入度也减1。(这个一定要注意)
其实,拓扑排序的结果并不是唯一的。因为,在同一时刻,我们可能有不止一个的入度为0的点供选择。
注:拓扑排序是针对有向图无环而言的,无环图没有这个概念,而对于有环图而言,我们无法找到一个度为0的点作为突破。
接下来我们就可以正式思考一下这个题了。
1)对于图的存储,我们采用邻接表建图的方式。
2)我们首先将所有度为0的点放入一个队列中
3)然后取出队头,将所有与该点相关的点的入度都减1
4)同时判断一下,如果其减1后度变为0,就将其入队
如此反复,如果此图无环,那最终队列中存储的点的顺序就是我们的拓扑排序
代码
#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 d[N], q[N];
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])
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] --;
if(d[j] == 0)
q[++ tt] = j;
}
}
return tt == n - 1;
}
int main()
{
scanf("%d%d", &n, &m);
memset(h, -1, sizeof h);
for(int i = 1; i <= m; i ++ )
{
int a, b;
scanf("%d%d", &a, &b);
add(a, b);
d[b] ++; //注意要将入度加进来
}
if(topsort())
{
for(int i = 0; i < n; i ++ ) printf("%d ", q[i]);
puts("");
}
else puts("-1");
return 0;
}
再看图的存储
下面我们手动模拟一下图的存储过程,以加深对add(int a, int b)函数的理解。
注:在看下面这一张图片之前,应该首先对数组模拟单链表的拉链法有所了解,不然理解起来可能会存在一点困难。
我们以样例为例,来模拟图的建立。
首先我们可以看到,有向边有三条,分别是1 -> 2,2 -> 3和1 -> 3。也就是说1这个点同时和2和3都有联系。
我们开一个h[]数组,其中h[]数组的下标表示的就是点的编号,h[]数组中存储的值就是由它指向的另
一个点的地址。由于一个点的出度可能会大于1,因此,我们就在这个h[]数组下面拉一条链,链上就是所有由它指向的点的地址。因此,我们建立了有向图之间的点的关系。
注意,初始化时我们将h[]全部赋值为-1,代表现在还没有由它指出去的点。
且当出现多个由它指出去的点时,例如一开始为1 -> 2,则2在1的一条链上,之后又有1 -> 3,即
3也要加到这条链上,此时我们采用的叫“头插法”。即新的节点是插在头节点和原有的第一个节点之间,此时新的节点变成了第一个节点而原来的第一个节点变成了第二个节点。