有向回路
在图论中，**环**是只有首末顶点重复的非空路徑。没有环的图称作无环图，没有有向环的有向图称为有向无环图；无环连通图称作树。

定义
--

### 回路，环

* **回路**是一条非空的路径， 其中首末顶点顶点是同一点。令图{\displaystyle G=(V,E,\varnothing )}，回路是非空路径{\displaystyle (e\_{1},e\_{2},\ldots ,e\_{n})}，其顶点序列为{\displaystyle (v\_{1},v\_{2},\ldots ,v\_{n},v\_{1})}
* **环路**或**简单回路**是只有首末顶点相同的回路。
* 回路和环的**长度**是经过的边数。

### 有向回路，有向环路

* **有向回路**是非空的有向路径，其首末顶点相同。令有向图{\displaystyle G=(V,E,\varnothing )}，回路是非空有向路径{\displaystyle (e\_{1},e\_{2},\ldots ,e\_{n})}，其顶点序列为{\displaystyle (v\_{1},v\_{2},\ldots ,v\_{n},v\_{1})}。
* **有向环路**或**简单有向回路**，是只有首末顶点重复的有向回路。

无弦环
---

若环上任意两顶点都不会被不属于环的边相连，则称之为图中的无弦环或洞，其补称作反洞（antihole）。无弦环可用于刻画完美图（英语：）：根据强完美图定理（英语：），图是完美图的充要条件是其不存在顶点数为奇数的洞或反洞。弦图是一种特殊的完美图，其不存在顶点数大于等于3的无弦环。

图的围长是图中最短环的长度。由此，最短环一定是无弦的。笼（英语：）是给定围长和度后最小的正则图。

边环（英语：）是图上具有一些特殊性质的环：连接任意两个不在环上的顶点的路径必须经过这个环上的顶点。若图不是由环加一条边构成的，则边环一定是导出环。

环空间
---

"环"也可指图的环空间（英语：）的元素。有很多环空间，每个系数域或环都有一个。最常见的是*二元环空间*（常简称为"环空间"），由每个顶点具有偶数度的边集组成；其在2元素有限域上形成了向量空间。据维布伦定理（英语：），环空间的每个元素都可由简单环的边不交并形成。图的环基（英语：）是形成环空间的基的简单环集合。

利用代数拓扑的思想，二元循环空间可推广到其他环（如整数、有理数或实数环等等）上的向量空间或模。

在图上探测环
------

有向图和无向图上的环可用深度优先搜索（）探测：寻找一条连接当前顶点与之前顶点的边（它包含了一条后向边）。DFS跳过的所有后向边都属于某个环。无向图上，指向父节点的边不能算作后向边，但找到已经过的顶点意味着后向边的存在。找到*n*阶无向图上的环只需要*O*(*n*)时间。

许多拓扑排序算法也要探测环，因为它们将是拓扑排序的障碍。另外，若有向图被分为几个强连通分量，那么环只会存在于这些分量内，而不会连接，因为环本身就是强连接的。

对有向图，还可使用基于分布式信息的算法。其思路是，从一个顶点发出的信息可通过环回到这个顶点。分布式环检测算法十分适于在计算机集群上用分布式图处理系统来处理大规模的图。

环检测的应用如用wait-for graph（英语：）检测并行系统的死锁。

### 算法

上述用深度优先搜索查找循环的方法可描述为：

```
For every vertex v: visited(v) = finished(v) = false
For every vertex v: DFS(v)
```

其中

```
DFS(v) =
  if finished(v): return
  if visited(v):
    "Cycle found"
    return
  visited(v) = true
  for every neighbour w: DFS(w)
  finished(v) = true
```

对于无向图，"邻接"指与*v*相连的所有顶点，递归调用*DFS(v)*的除外。这种省略可避免算法找到形如*v*→*w*→*v*的平凡环，其存在于所有有多条边的无向图中。

用广度优先搜索的变体将找到长度尽可能小的环。

用环覆盖图
-----

1736年，欧拉在关于柯尼斯堡七桥问题的论文中证明，要使有限无向图中的闭合走法能精确访问每条边（使其成为闭合轨迹）一次，必须同时满足：除孤立顶点外是连通的（即所有边都包含在一个分量中），同时每个点的度都是偶数。而对有向图，存在闭漫游（）不重复地经过每条边的充要条件是：图是强连接的，且每个顶点出入度相等。在这两个情况下，环或漫游称作欧拉环。对有限无向图（无论连通），若其每个顶点的度都是偶数，则可以找到一组简单的环不重复地覆盖每一条边，这就是维布伦定理（英语：）。即使连通图不满足欧拉定理的条件，仍可以在多项式时间内通过解邮递员问题，找到长度最短的闭漫游，经过每一条边至少一次。

在图上找到不重复地过每个顶点的简单环，要更加困难，这样的环是哈密顿环，确定图上是否存在哈密顿环是NP完全问题。很多研究已经找到了一些种类的图，其上一定能找到哈密顿环。例如奧爾定理：若图上每对不相邻顶点的度之和大于等于图的阶数，则图中有哈密顿环。 

cycle double cover conjecture（英语：）可表述为：对无桥图，存在由简单环组成的多重集，使它们一起能覆盖每条边恰好两次。目前这个猜想仍未证明或证伪。

由环刻画的图类别
--------

有一些重要的图的类型可以被环来刻画和定义。它们包括：

* 二分图，不存在奇数长的环的图
* 仙人掌圖（英语：），a graph in which every nontrivial biconnected component is a cycle
* 环图，一个环组成的图
* 弦圖，不存在长度大于3的导出环（induced cycle）的图
* 有向无环图，a directed graph with no cycles
* 线完美图，每一个奇数长度的简单环都是一个三角形
* 完美图，不存在长度大于3的洞(hole)或反洞(antihole)
* Pseudoforest（英语：），a graph in which each connected component has at most one cycle
* 绞窄图（英语：），a graph in which every peripheral cycle is a triangle
* 强连通图，一个有向图，其中每一条边都是环的一部分
* 無三角形圖（英语：），a graph without three-vertex cycles

參見
--

* 环空间（英语：）
* 環基（英语：）
* 迭代函数值序列中的环探测（英语：）

參考文獻
----

1. ↑  Gross, Jonathan L.; Yellen, Jay,  2nd, CRC Press: 197–207, 2005  [2016-09-27], ISBN 9781584885054, （原始内容存档于2023-02-04） .
2. ↑  Diestel, Reinhard, , Graduate Texts in Mathematics **173**, Springer: 23–28, 2012  [2016-09-27], （原始内容存档于2023-02-04） .
3. ↑  Tucker, Alan（英语：）..  5th. Hoboken: John Wiley & sons. 2006: 49. ISBN 978-0-471-73507-6.
4. 1 2  Sedgewick, Robert, , Addison–Wesley, 1983, ISBN 0-201-06672-6
5. ↑  Silberschatz, Abraham; Peter Galvin; Greg Gagne.. John Wiley & Sons, INC. 2003: 260. ISBN 0-471-25060-0.
6. ↑  Veblen, Oswald, 數學年刊, Second Series, 1912, **14** (1): 86–94, JSTOR 1967604, doi:10.2307/1967604 .
7. ↑  Richard M. Karp,  (PDF), R. E. Miller and J. W. Thatcher (编), New York: Plenum: 85–103, 1972  [2020-10-04], （原始内容存档 (PDF)于2021-02-10） .
8. ↑  Ore, Ø. 美國數學月刊, 1960, **67** (1): 55, JSTOR 2308928, doi:10.2307/2308928 .
9. ↑  Jaeger, F. , North-Holland Mathematics Studies **27**: 1–12, 1985, doi:10.1016/S0304-0208(08)72993-1 .

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
图论 |
| --- |
|  |
| 图 | 

|  |  |
| --- | --- |
| 種類 | 
* 有向图
* 无向图
* 有向无环图
* 二分图
* 多分圖
* 连通图
* 完全图
* 圖標號
* 超图
* 多重图
* 平面图
* 伪图
* 正则图
* 树
* 赋权图
* 轮图
* 線圖

 |
|  |
| 結構 | 
* 节点
* 边
* 回路
* 自環
* 弦
* 環
* 桥
* 子图
* 團
* 補圖

 |
|  |
| 属性 | 
* 边连通
* 围长
* 重数
* 階
* 尺寸
* 顶点连通
* 圖不變量

 |
|  |
| 二元運算 | 
* 圖乘積
* 圖運算

 |
|  |
| 映射、關係 | 
* 圖同態
* 圖同構
* 圖同胚
* 圖子式

 |

 |
|  |
| 定理 | 

|  |  |
| --- | --- |
| 染色 | 
* 四色
* 布鲁克斯

 |
|  |
| 平面性 | 
* 库拉托夫斯基
* 交叉數不等式

 |
|  |
| 極值（英语：） | 
* 圖蘭
* 艾狄胥-斯通
* 霍爾

 |

 |

 |