环
在图论 graph theory中，一个图中的环Cycle是一个非空轨迹，其中唯一重复的点是起点和终点。一个有向图中的 有向环Directed cycle同样是非空有向迹线，其中唯一重复的点也是起点和终点。
没有环的图称为无环图 acyclic graph。一个有向图，但是没有有向环，称为有向无环图Directed acyclic graph。没有环的连接图称为 树 Tree。
定义
回路，环
- 回路Circuit如图所示，以一个具有顶点序列的非空轨迹环为例，其中第一个和最后一个顶点重合。设图G =（V，E，ϕ），那么回路是具有顶点序列（v1，v2，...，vn，v1）的非空路径（e1，e2，…，en）。[1]
- 在一个环或简单回路中，唯一重复的顶点是起点和终点。[1]
- 一个回路（或环）的长度指的是相关连边的数量。
有向回路，环
- 有向回路是一个非空有向路径，其中第一个和最后一个顶点重合出现。设有向图G =（V，E，ϕ），其有向回路是具有顶点序列（v1，v2，...，vn，v1）的非空有向路径（e1，e2，……，en）。[1]
- 在一个有向环或简单有向回路中，唯一重合的顶点是起点和终点。[1]
无弦环
一个图中的 无弦环Chordless cycles（也可以称为 孔Hole或 导出环Induced cycle），指的是该环中没有两个顶点通过不属于该环的边相连。其反孔部分为此图孔的补图。无弦环i可用于表征 完美图Perfect graphs：通过强完美图定理 strong perfect graph theorem，当且仅当它的孔或反孔部分中无奇数（且大于3）个顶点时，图才是完美的。弦图是完美图的特殊形式，即没有任何长度大于三的孔。
图的 围长Girth是其最小环的长度；并且这个环必须是无弦的。 笼Cages定义为具有给定度和围长组合的最小正则图。
一个图中的 边环Peripheral cycle具有以下性质：不在此边环上的两条连边可以通过一条特殊路径连接；该路径内部顶点均不在此边环上。如果一个图中的某条环不是通过添加一条边形成的，那么其边环肯定是导出环。
环空间
“环“还可以指代一个图中环空间Cycle space内的一个元素。在一个图中存在很多环空间，且每个都有对应的系数域Coefficient field或 环Ring（代数）。最常见的是 二元环空间Binary cycle space（通常简称为环空间），它是由在该图中每个顶点上具有偶数度的边集组成。二元环空间在二元域上形成了一个向量空间Vector space。根据 维布伦定理Veblen's theorem，该环空间的每个元素都可以形成为简单环的不相交边的并集。该图的 环基Cycle basis相当于一组简单环，它们构成了环空间的基。
根据 代数拓扑Algebraic topology的思想， 二元环空间Binary cycle space可以推广为其它 环Ring中的 向量空间Vector spaces或 模Module，例如整数，有理数或实数等。[2]
环检测
关于环在有向或无向图中的存在，可以通过深度优先搜索（DFS depth-first search）来确定。具体方法是查找是否存在一条连边指向当前顶点的原始点（包括回边）。DFS跳过的所有回边都是环的一部分。在无向图中，指向一个节点上级的连边不应算作后边，但是如果找到任何其他已访问的顶点可以视为后边。在无向图的情况下，只需要O（n）时间即可在n个顶点图中找到一个循环，因为最多n-1个边可以是树边。
很多拓扑排序Topological sorting算法也可以用于检测环，因为这些环阻碍了拓扑排序。另外，因为环本身性质是强连接的，所以如果一个有向图被划分为具有强连接的不同组成部分，则环仅存在于这些组成部分内，也并非它们之间。
对于有向图的环检测，可以使用基于分布式消息的算法。其概念是环中的某一个顶点发出了一条消息并最终返回，因此被称为 分布式环检测算法Distributed cycle detection algorithms。通过在计算机集群（或超级计算机）上使用分布式图形处理系统，该方法非常适合大规模图的运算。
环检测的应用还包括使用 等待图Wait-for graphs来检测并发系统中的 死锁Deadlocks。
环覆盖图
莱昂哈德·欧拉Leonhard Euler在1736年发表的关于柯尼斯堡七桥Seven Bridges of Königsberg的论文后来被广泛认为是图论的起源。论文中，欧拉做出了以下证明：对于一个具有封闭行走路线的有限无向图，要求访问者恰好经过每条边一次。其充要条件是除了孤立的顶点（即，所有边都被两两顶点相连）之外，其他每个顶点都是偶数度。一旦该有向图满足能一次性访问所有边不重复的特征，那么它就具有强连接性，并且每个顶点的进入次数和离开次数必定相等。无论哪种情况，其访问轨迹均被称为欧拉环或欧拉环游。如果一个有限的无向图在其每个顶点上都具有偶数度，那么不管其是否相连，均有可能找到一组简单的环，使满足恰好覆盖该图的每个边一次：这即是 维勃伦定理Veblen's theorem。当一个连通图不满足欧拉定理的条件时，通过解决 邮路问题Route inspection problem，可以在多项式时间中找到覆盖每个边的最短闭合路径。
相较之下，寻找覆盖每个顶点仅一次而不是覆盖连边的简单环问题要困难得多。这种环被称为哈密顿环Hamiltonian cycle，确定其存在性的过程属于NP-完全问题。目前诸多包含哈密顿环的相关图类研究被发表。其中一个例子是奥尔定理Ore's theorem，如果一个图中每个不相邻的顶点对的度数之和最少等于该图中顶点总数，那么该图中必然有哈密顿环。
双圈覆盖猜想Cycle double cover conjecture指出，对于每个无桥图，都存在一组简单环可以将图的每个边缘恰好覆盖两次。然而目前其是否成立（或找到反例）仍然是一个悬而未决的问题。
根据环定义的图类
图的几个重要类别可以由其环定义或表征。其中包括：
- 二分图Bipartite graph，其中无奇数环（具有奇数个顶点的环）。
- 仙人掌图Cactus graph，其中每个非平凡的双向连通分量都是一个环。
- 环图Cycle graph，由一个环组成的图。
- 弦图Chordal graph，其中每个导出环都是三角形。
- 有向无环图Directed acyclic graph，无环的有向图。
- 线完美图Line perfect graph，其中每个奇环都是三角形。
- 完美图Perfect graph，无导出环或大于3的奇数路径长度的环。
- 伪森林Pseudoforest，其中每个连通分量最多只有一个环。
- 绞窄图Strangulated graph，其中每个边环都是三角形。
- 强连通图Strongly connected graph，一种有向图，其中每个边都是环的一部分。
- 无三角形图Triangle-free graph，无三个顶点环的图。
其他参考资料
- 环空间 Cycle space https://en.wikipedia.org/wiki/Cycle_space
- 环基 Cycle basis https://en.wikipedia.org/wiki/Cycle_basis
- 环检测 Cycle detection 通过迭代函数值序列进行环检测：https://en.wikipedia.org/wiki/Cycle_detection
References 参考文献
此词条由Jie翻译。 由CecileLi初步审校。