如果一个 图 的所有 局部度数 都是相同的数字 ,则称该图为度为
的正则图。0-正则图是空图,1-正则图由不连通的边组成,而2-正则图由一个或多个(不连通的)环组成。因此,第一个有趣的例子是 3-正则图,称为立方图 (Harary 1994, pp. 14-15)。最常见的是,“立方图”用来表示“连通立方图”。请注意,
-弧传递图 有时也称为 “
-正则图” (Harary 1994, p. 174)。
在一个顶点数为奇数的图中,如果除一个顶点的度数为 外,每个顶点的度数都是相同的奇数
,则该图可以称为准正则图 (Bozóki et al. 2020)。
可以使用以下方法生成半随机 -正则图:RegularGraph[k, n] 在 Wolfram 语言 包中Combinatorica` .
下表列出了低阶 -正则图的名称。
下表总结了一些度数大于 5 的正则图。
6 | Gray 配置的门格尔对偶, 一半 Foster 图, Hoffman-Singleton 图 减星, Kummer 图, Perkel 图, Reye 图, Shrikhande 图, 16-胞图 |
7 | 双重截断 Witt 图, Hoffman-Singleton 图 的二部双图, Hoffman-Singleton 图, Klein 图 |
8 | 24-胞图, 正二十面体图的线图 |
10 | Conway-Smith 图, Gewirtz 图 的二部双图, Gewirtz 图, Hall-Janko 近似八边形 |
12 | Hoffman-Singleton 图的线图, 正二十面体图补图与全 1 矩阵 |
14 | Klein 图的距离-2 图, |
15 | 截断 Witt 图 |
16 | |
20 | Brouwer-Haemers 图, Petersen 线图补图与全 1 矩阵 |
22 | Higman-Sims 图的二部双图, Higman-Sims 图 |
27 | Gosset 图 |
30 | 大型 Witt 图 |
36 | Hall-Janko 图 |
42 | Hoffman-Singleton 图补图 |
56 | 局部 McLaughlin 图 |
100 | |
112 | McLaughlin 图 |
416 | Suzuki 图 |
阶数为 , 2, ... 的非同构连通正则图的数量为 1, 1, 1, 2, 2, 5, 4, 17, 22, 167, ... (OEIS A005177; Steinbach 1990)。
对于一个有 个节点的
-正则图,
其中 是边数。令
表示有
个顶点的连通
-正则图的数量。那么
,
, 并且当
和
都是奇数时,
。Zhang 和 Yang (1989) 给出了
,其中
,Meringer 提供了类似的表格,包括低阶的完整枚举。
下表给出了节点数 较小时的连通
-正则图的数量
(Meringer 1999, Meringer)。
Sloane | A002851 | A006820 | A006821 | A006822 | A014377 | A014378 | A014381 | A014382 | A014384 | |
类别 | cubic | quartic | quintic | sextic | septic | octic | ||||
4 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
5 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
6 | 2 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
7 | 0 | 2 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
8 | 5 | 6 | 3 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
9 | 0 | 16 | 0 | 4 | 0 | 1 | 0 | 0 | 0 | 0 |
10 | 19 | 59 | 60 | 21 | 5 | 1 | 1 | 0 | 0 | 0 |
11 | 0 | 265 | 0 | 266 | 0 | 6 | 0 | 1 | 0 | 0 |
12 | 85 | 1544 | 7848 | 7849 | 1547 | 94 | 9 | 1 | 1 | 0 |
13 | 0 | 10778 | 0 | 367860 | 0 | 10786 | 0 | 10 | 0 | 1 |
14 | 509 | 88168 | 3459383 | 21609300 | 21609301 | 3459386 | 88193 | 540 | 13 | 1 |
15 | 0 | 805491 | 0 | 1470293675 | 0 | 1470293676 | 0 | 805579 | 0 | 17 |
16 | 4060 | 8037418 | 2585136675 | 2585136741 | 8037796 | 4207 | ||||
17 | 0 | 86221634 | 0 | 0 | 0 | 0 | 86223660 | |||
18 | 41301 | 985870522 | ||||||||
19 | 0 | 0 | 0 | 0 | 0 | |||||
20 | 510489 | |||||||||
21 | 0 | 0 | 0 | 0 | 0 | |||||
22 | 7319447 | |||||||||
23 | 0 | 0 | 0 | 0 | 0 | |||||
24 | 117940535 | |||||||||
25 | 0 | 0 | 0 | 0 | 0 | |||||
26 | 2094480864 |
13 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
14 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
15 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
16 | 21 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
17 | 0 | 25 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
18 | 985883873 | 42110 | 33 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
19 | 0 | 0 | 39 | 0 | 1 | 0 | 0 | 0 | 0 | |
20 | 516344 | 49 | 1 | 1 | 0 | 0 | 0 | |||
21 | 0 | 0 | 0 | 60 | 0 | 1 | 0 | 0 | ||
22 | 7373924 | 73 | 1 | 1 | 0 | |||||
23 | 0 | 0 | 0 | 0 | 88 | 0 | 1 | |||
24 | 118573592 | 110 | 1 | |||||||
25 | 0 | 0 | 0 | 0 | 0 | 130 | ||||
26 | 2103205738 |
通常,只发布 时,在
个顶点上的连通
-正则图的数量,这是因为所有其他数量都可以通过简单的组合数学推导出来,基于以下事实:
1. 在 个顶点上的非必要连通
-正则图的数量可以从在
个顶点上的连通
-正则图的数量中获得。
2. 在 个顶点上的非必要连通
-正则图的数量等于在
个顶点上的非必要连通
-正则图的数量(因为构建互补图定义了两个集合之间的双射)。
3. 对于 ,在
个顶点上不存在任何不连通的
-正则图。
上面说明的,具有 个节点的非同构非必要连通正则图的数量为 1, 2, 2, 4, 3, 8, 6, 22, 26, 176, ... (OEIS A005176; Steinbach 1990)。