有向图的拓扑排序

有向图的拓扑排序

什么是拓扑排序


若排序后满足,图中的任意一条有向边(u, v),u的位置都在v的前面,则称为拓扑排序

在这里插入图片描述

该图的拓扑排序为A B C D,AC 边A在C的前面,BC边BZ在C的前面.......所有边都满足定义


题目

给定一个 n n n 个点 m m m 条边的有向图,点的编号是 1 1 1 n n n,图中可能存在重边和自环。

请输出任意一个该有向图的拓扑序列,如果拓扑序列不存在,则输出 − 1 -1 1

若一个由图中所有点构成的序列 A A A 满足:对于图中的每条边 ( x , y ) (x, y) (x,y) x x x A A A 中都出现在 y y y 之前,则称 A A A 是该图的一个拓扑序列。

输入格式

第一行包含两个整数 n n n m m m

接下来 m m m 行,每行包含两个整数 x x x y y y,表示存在一条从点 x x x 到点 y y y 的有向边 ( x , y ) (x, y) (x,y)

输出格式

共一行,如果存在拓扑序列,则输出任意一个合法的拓扑序列即可。

否则输出 − 1 -1 1

数据范围

1 ≤ n , m ≤ 1 0 5 1 \le n,m \le 10^5 1n,m105

输入样例:

3 3
1 2
2 3
1 3

**输出样例:

1 2 3

准备阶段:

  • 包含可能包含的头文件
  • 定义最大常量,最大节点数和最大边数

在这里插入图片描述

算法开辟空间:

  • 邻接表:存储有向图
  • 计数数组:记录节点的入度数(指向该节点的边数)
  • 队列(数组模拟)

在这里插入图片描述

初始化:

  • 邻接表初始化
  • 刚开始入度数都为0,所以不用初始化
  • 队列初始化

在这里插入图片描述

主函数:

  • 存储图
  • 拓扑排序

在这里插入图片描述


拓扑排序函数思路:

  1. 找到所有 入度为0的点入队列
  2. 直到队列为空,执行下列操作
  • 从队列出一个节点,出队列的顺序刚好就是拓扑排序的顺序
  • 遍历该节点的连通节点,此时可以将连通节点的入度数 -1,当做删除该边
  • 如果删除后入度数为0,则说明连通其的节点都已经入队列了,根据拓扑排序的定义,则将该节点入队列

当入队 或 出队的节点数小于n,则无拓扑排序

由于我们是用的数组模拟队列,出队列的节点并不会真的消失,所以数组q 下标从0到n-1则为最终的拓扑排序

在这里插入图片描述

//准备阶段:
#include <iostream>
#include <cstring>
#include <cstdio>
#include <algorithm>

using namespace std;

const int N = 1e5+10, M = N;

//算法开辟空间:
int h[N], e[M], ne[M], idx;
int d[N];//存储入度数
int q[N], hh, tt;//模拟队列


//初始化
void init()
{
    //初始化邻接表
    memset(h, -1, sizeof h);
    //初始化队列
    hh = 0, tt = -1;
}

int n, m;

//邻接表配套add方法
void add(int a, int b)
{
    e[idx] = b;
    ne[idx] = h[a];
    h[a] = idx++;
}

void topsort()
{
    //1. 将所有入度数为0的节点入队列
    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的入度数为0,根据定义,则可以入队列
            if (d[j] == 0) q[++tt] = j;
        }
    }
    
    //判断是否存在拓扑排序的两种方法
    //1.tt < n-1 判断是否有n个节点入队类
    if (tt < n-1)//2.hh < n 判断是否有n个节点出队列
        puts("-1"); 
    else
    {
        //出队列的顺序,0~n-1下标即为拓扑排序
        for (int i = 0; i < n; i++) cout << q[i] << " ";
        cout << endl;
    }
}

int main()
{
    scanf("%d%d", &n, &m);
    init();
    for (int i = 0; i < m; i++)
    {
        int a, b;
        scanf("%d%d", &a, &b);
        add(a, b), d[b]++;//a->b,所以b的入度数+1
    }
    
    topsort();
    return 0;
}



总结:

算法开辟空间:

  • 邻接表:存储有向图
  • 计数数组:记录每个节点的入度数
  • 队列(数组模拟)

拓扑排序流程:

  1. 将所有入度数为0的点入队列
  2. 直到队列为空,执行下列操作
  • 出一个队列元素,记为 t
  • 遍历与 t 连通的节点,将连通节点的入度数-1
  • 若入度数减到0,则将该节点 入队列

出队列的顺序刚好为拓扑排序的顺序,由于是数组模拟的队列,所以出队列的元素不会消失,而是存在了数组q里

所以打印数组q 的0~n-1下标的值即为 拓扑排序


判断是否存在拓扑排序:


若入队 或 出队的节点数量小于 n,则不存在拓扑排序,反之则存在拓扑排序

  • 入队节点数量小于n:tt < n - 1 ,tt 从-1下标开始,到n-1下标说明有 入队列了n 个节点
  • 出队节点数量小于n:hh < n , hh 从 下标0开始,到n下标时说明 出队列了 n 个节点

易错点:

  • 注意判断是否存在拓扑排序
  • 注意在输入时记录入度数
  • 注意初始化需要初始化的空间

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值