【图论】拓扑排序

算法复习——拓扑排序

板子

inline void topsort()
{
    queue<int>q;
    for(int i=1;i<=n;i++)
        if(!deg[i]) q.push(i);
    while(!q.empty())
    {
        int x=q.front();q.pop();
        top[++pos]=x;
        for(int i=head[x];i;i=e[i].nxt)
        {
            int y=e[i].to;deg[y]--;
            //dp递推
            if(!deg[y]) q.push(y);
        }
    }
}

1.性质

1-1.性质1

在DAG中,对于任何的点 i i i j j j 的有向边,定义点 i i i 的拓扑序为 t i t_i ti ,点 j j j 的拓扑序为 t j t_j tj ,满足 t i < t j t_i<t_j ti<tj

1-2.性质2

在DAG中,图的拓扑序唯一,当且仅当它的拓扑层数与点数相等。

拓扑层数——BFS层数,可以理解为图中最长链的长度,最简情况下为链

1-3.性质3

在DAG中,如果点 i i i 有一段到达点 j j j 的路径,定义点 i i i 的拓扑序为 t i t_i ti ,点 j j j 的拓扑序为 t j t_j tj ,满足 t i < t j t_i<t_j ti<tj。(反之不一定成立,性质4为反例)

1-4.性质4

一个DAG中,点 j j j 为满足 t i < t j t_i<t_j ti<tj,且 i i i 有一条指向 j j j 的边时, t j t_j tj 最小的点,

则对于任意一个拓扑序在 t i t_i ti t j t_j tj 的区间内的点 p p p,点 i i i 与点 p p p 之间没有路径,即点 i i i 一定不能到达点 p p p

证明:反证法。如果存在一个点 k k k,满足 t i < t k < t j t_i<t_k<t_j ti<tk<tj 且点 i i i 可到达 k k k,则两者的路径上存在一点 q q q,满足点 q q q 为从点 i i i 为起点,点 k k k 为终点的路径上的第一个点,则其与 i i i 间存在一条边。由拓扑序的基本定义可得 t j ≤ t q t_j \leq t_q tjtq。而因为点 q q q 有一条可到达点 k k k 的路径,由拓扑序的拓展性质1可得 t q < t k t_q<t_k tq<tk , 推出 t j < t k t_j<t_k tj<tk ,与假设不符,故原命题正确。

2.应用

2-1.用于递推过程的遍历顺序

  • 在DAG中,用拓扑序求最短路,最长路,可做到 O ( n ) O(n) O(n)复杂度

2-2.判断图中是否有环

在没有DAG保证的图中运行一遍拓扑排序,如果拓扑序中的点数小于图的总点数,即有环,否则为DAG。
其中,拓扑序中的点的个数与总点数的差即为所有环的总点数

正确性证明:在图中有环的情况下,环中每个点在被遍历到时的入度均不为0,无法入队,无法被拓扑序记录。

2-3.利用性质处理图中可达性问题

性质如上

  • 1
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值