3 负环及其应用

3.1 判定算法

判断负环只能用“边松弛”算法,也就是Bellman-Ford和SPFA算法。这两个算法都是\(O(NM)\)级别的。因为负环中一定存在一条负边,使得\(dis_i > dis_j+d(i,j)\)恒成立。因此,在用边松弛算法时,如果一条边被松弛超过一定次数,我们就可以判定图中存在负环。负环则代表环上的边权和小于0。在负环上走若干圈,则\(dis_i\)可以趋近\(-\infty\)。

Bellman-Ford算法
如果经过\(n\)轮迭代后,仍然有边可以被更新,则图中存在负环。
否则,如果在\(n-1\)轮迭代后,如果不能更新任何一条边,则图中不存在负环。

SPFA算法
设\(|\Gamma_i|\)表示从源点到\(i\)的最短路包含的边数。规定\(|\Gamma_S|=0\)。当转移\(dis_y = dis_x + d(x,y)\)成立时,我们同时令\(|\Gamma_y| = |\Gamma_x| + 1\)。在任意时刻,如果有\(|\Gamma_y| \geq n\),则图中有负环。

我们也可以用入队次数来判断。如果一个节点被入队\(n\)次以上,则图中存在负环。

当然,前面也介绍过一种基于DFS的SPFA判断负环的方法。这种方法速度较快,但是比较专一。在计算最短路时,效率远不如基于队列的SPFA。

3.2 应用

其实比较灵活。只介绍一些比较简单的应用

图上二分
极少数题目会出现。由于本人做题不多,这里只能给出一道例题:HNOI2009 最小圈
由于答案具有单调性——即不存在小于答案的平均值,而一定存在大于等于答案的平均值,我们可以二分求出最小值。设这个平均值为\(\bar{w}\),那么根据平均值的性质,对于环上的边\(w_i\),有\(\sum_{i=1}^{0}(w_i-\bar{w})=0\)。我们二分这个平均值\(\bar{w}\),然后把每条边的边权设置为\(w_i-\bar{w}\)。如果图中存在一个负环,说明当前平均值合法,可以进一步缩小。时间复杂度可以看作\(\Omega(m\log W)\)。当然,最坏情况还是\(O(nm\log W)\)的。其中\(W\)表示边权的上下界之差。

差分约束系统
是一种特殊的\(N\)元一次不等式组。其中每一个不等式都形如\(X_i - X_j \leq c_k\)。通过移项,我们可以得到一个不等式:\(X_i \leq X_j + c_k\)。这个不等式酷似我们之前所讲到的三角形不等式。我们的目标就是求出一组\(X_i\)使得每一个三角形不等式成立。对于\(X_i - X_j \geq c_k\)的不等式,可以转换为\(X_j - X_i \leq -c_k\)的形式解决。

注意到如果\(\{X_i\}\)是一组解,那么通过加上一个常数\(c\),我们可以得到另一组解\(\{X_i+c\}\)。我们不妨假定每一个变量都是负数或0,设\(X_0 = 0\),令\(X_i \leq 0\),则\(X_i - X_0 \leq 0\)。我们由\(X_0\)向所有点连一条边权为0的边,然后对于所有\(X_i - X_j \leq c_k\)的边,我们往\(j\)从\(i\)连一条边。这时,\(X_i\)的实际意义就是从\(0\)点到\(i\)点的最短距离。用最短路算法就可以求出一组负数解。

当构造出来的图中存在负环,\(X_i\)会被不断更新:说明\(X_i\)的值始终无法满足每个不等式。此时这个差分约束系统无解。由于既要求出最短路,又要判断负环,这里应该使用SPFA。

图论小专题C的更多相关文章

  1. 图论小专题A

    大意失荆州.今天考试一到可以用Dijkstra水过的题目我竟然没有做出来,这说明基础还是相当重要.考虑到我连Tarjan算法都不太记得了,我决定再过一遍蓝皮书,对图论做一个小的总结.图论这个部分可能会 ...

  2. 图论小专题B

    2 树 2.1 树的定义 一个只有\(N-1\)条边,且任意两个点连通的图叫做树.通过这样定义的树往往是一棵无根树,而我们通常会任意选定一个根节点使其变成有根树.有根树可以定义"父亲和儿子& ...

  3. NOIp 图论算法专题总结 (1):最短路、最小生成树、最近公共祖先

    系列索引: NOIp 图论算法专题总结 (1) NOIp 图论算法专题总结 (2) NOIp 图论算法专题总结 (3) 最短路 Floyd 基本思路:枚举所有点与点的中点,如果从中点走最短,更新两点间 ...

  4. 【总结】图论小总结【题解】P1330封锁阳关大学

    [题解][总结]P1330 封锁阳光大学 &&图论小总结 这道题其实有一点点难度,不过我能经过思考做出来说明还是没有普及组\(D1T1\)难度的. 考虑一条边的两边要有且仅有一个点被选 ...

  5. NOIp 图论算法专题总结 (2)

    系列索引: NOIp 图论算法专题总结 (1) NOIp 图论算法专题总结 (2) NOIp 图论算法专题总结 (3) 树链剖分 https://oi-wiki.org/graph/heavy-lig ...

  6. NOIp 图论算法专题总结 (3):网络流 & 二分图 简明讲义

    系列索引: NOIp 图论算法专题总结 (1) NOIp 图论算法专题总结 (2) NOIp 图论算法专题总结 (3) 网络流 概念 1 容量网络(capacity network)是一个有向图,图的 ...

  7. 「日常训练」「小专题·图论」Domino Effect(1-5)

    题意 分析 这题几乎就是一条dijkstra的问题.但是,如何考虑倒在中间? 要意识到这题求什么:单源最短路的最大值.那么有没有更大的?倒在中间有可能会使它更大. 但是要注意一个问题:不要把不存在的边 ...

  8. 「日常训练」「小专题·图论」 Cow Contest (1-3)

    题意 分析 问题是要看出来这是个floyd闭包问题.我没看出来- - 分析之后补充. 代码 // Origin: // Theme: Graph Theory (Basic) // Date: 080 ...

  9. 「日常训练」「小专题·图论」 Frogger (1-1)

    题意 分析 变形的dijkstra. 分析题意之后补充. 代码 // Origin: // Theme: Graph Theory (Basic) // Date: 080518 // Author: ...

随机推荐

  1. # 滚动Hash

    滚动Hash 假设字符串\(C=c_1*c_2*...c_m\),定义Hash函数\(H(C)=(C_1*b^{m-1}+C_2*b^{m-2}+...C_m*b^{0})mod\; h\) 从k开始 ...

  2. 作为小白该如何抉择python编辑器?

    刚开始接触编程,有一个好的编辑器上手,那学习起来肯定是事半功倍的!本篇就给大家介绍适合零基础小白学习Python的四种编辑器,希望大家受用! 1.Sublime Text: 这是一个轻量级的代码编辑器 ...

  3. 核发电站 (dp前缀优化)

    大意: $n$个城市, $m$种核电站, 第$i$种假设要建在第$x$个城市, 必须满足$[x-i,x+i]$范围内无其他核电站, 求建核电站的方案数. 简单$dp$题, 设$dp[i][j]$为位置 ...

  4. MyBatis 源码篇-DataSource

    本章介绍 MyBatis 提供的数据源模块,为后面与 Spring 集成做铺垫,从以下三点出发: 描述 MyBatis 数据源模块的类图结构: MyBatis 是如何集成第三方数据源组件的: Pool ...

  5. 解决go mod或go get时`x509: certificate signed by unknown authority`错误

    一般go get私有仓库时会出现如下错误: go: xxx@v0.0.0-20190918102752-bb51b27911ca: unrecognized import path "xxx ...

  6. php 如何将image图片转化为字符串(GD库操作及imagick两种实现方式)

    前两天研究php中的 imagick 扩展的时候,突发奇想实现的一个小功能感觉挺有意思,在这里记录一下: 将一张image图片转化为字符串的形式,先上一张效果图.(运行笔记中的代码需要先安装 php_ ...

  7. python中括号知识点

    Python语言中括号分为几个类型,常见的三个圆括号是圆括号().中间圆括号[]和大括号.它的函数也不同,代表不同的Python基本内置数据类型. python括号 python()中的括号:表示tu ...

  8. Linux学习(三)-Vi和Vim的区别

    它们都是多模式编辑器,不同的是vim 是vi的升级版本,它不仅兼容vi的所有指令,而且还有一些新的特性在里面.vim的这些优势主要体现在以下几个方面:1.多级撤消我们知道在vi里,按 u只能撤消上次命 ...

  9. [LeetCode] 39. Combination Sum ☆☆☆(数组相加等于指定的数)

    https://leetcode.wang/leetCode-39-Combination-Sum.html 描述 Given a set of candidate numbers (candidat ...

  10. redis系列一: windows下安装redis

    一. 下载Redis Redis 支持 32 位和 64 位.这个需要根据你系统平台的实际情况选择,这里我们下载 Redis-x64-xxx.zip压缩包到 C 盘,解压后,将文件夹重新命名为 red ...