循环图是一个具有 图 的 个 图顶点 的 图,其中第
个 图顶点 与第
个和第
个 图顶点 相邻,对于列表
中的每个
。循环图
给出了 完全图
,图
给出了 圈图
。
在偏移列表 上具有
个顶点的循环图在 Wolfram 语言 中实现为CirculantGraph[n, l]。预计算属性可使用GraphData[
"Circulant",
n, l
]。
除了 路径图 的退化情况外,连通循环图是 双连通 的,无桥 的,圈状 的,哈密顿 的,LCF 的,正则 的,可追踪 的和 顶点传递 的。
图 是循环图 当且仅当
的 自同构群 包含至少一个由长度为
的最小循环组成的 置换。
当 , 2, ... 个节点时循环图的数量(将 空图 计为循环图)为 1, 2, 2, 4, 3, 8, 4, 12, ... (OEIS A049287),其中前几个在上面说明。请注意,这些数字不能简单地通过枚举
的非空子集的数量来计数,因为例如
。对于素数阶存在一个简单的公式,并且已知平方自由和素数平方阶的公式。
当 , 2, ... 个节点时连通循环图的数量为 0, 1, 1, 2, 2, 5, 3, 8, ...,如上所示。
属于循环图的图类包括 Andrásfai 图,反棱柱图,鸡尾酒会图 ,完全图,完全二部图
,冠图
,空图,KC 图
,对于
(即
和
互质)和其中
表示 笛卡尔积,车图
对于
,莫比乌斯梯子,素数阶的 Paley 图,棱柱图
,和 环面网格图
与
对应于
)。特殊情况总结在下表中。
图 | 符号 |
路径图 | |
三角形图 | |
正方形图 | |
四面体图 | |
圈图 | |
五胞体图 | |
圈图 | |
八面体图 | |
效用图 | |
棱柱图 | |
完全图 | |
圈图 | |
完全图 | |
圈图 | |
4-反棱柱图 | |
完全二部图 | |
莫比乌斯梯子 | |
16-胞 图 | |
完全图 | |
圈图 | |
完全图 | |
圈图 | |
5-反棱柱图 | |
冠图 | |
莫比乌斯梯子 | |
棱柱图 | |
完全二部图 | |
鸡尾酒会图 | |
完全图 |
1. 圈图 ,