一个 -图 是一个连通图,其中任意两个顶点有 0 或 2 个共同邻居。-图 是正则的,且顶点度数为 0, 1, 2, ... 的 -图 的数量由 1, 1, 1, 2, 3, 8, 24, 96, 302, ... 给出 (OEIS A202592; Brouwer)。
Wolfram 语言中实现了 -图 的一个子集,如下所示GraphData["ZeroTwoBipartite", d, k] 和GraphData["ZeroTwoNonBipartite", d, k]。
作为 -图 的图类包括超立方体和折叠立方体图。特定的命名 -图 总结在下表中,按顶点度数排序,其中一些在上面进行了说明。
图 | |
0 | 单点图 |
1 | 2-路径图 |
2 | 方图 |
3 | 立方图 , 四面体图 |
4 | (2,4)-车图, 四次顶点传递图 Qt31, 四维超立方体图 |
5 | 5-超立方体图 , 克莱布什图, 二十面体图 |
6 | 十六进制码图, 6-超立方体图 , 库默尔图, (4,4)-车图, 史瑞康德图 |
7 | 7-折叠立方体图, 7-超立方体图 , 克莱因图 |
8 | 8-折叠立方体图, 8-超立方体图 |
9 | (1,1)-Doob graph, (3,4)-Hamming graph, 9-折叠立方体图, 9-超立方体图 |
10 | 10-折叠立方体图, 10-超立方体图 , 格维尔茨图, Gewirtz bipartite double graph |
12 | (1,2)-Doob graph, (4,4)-Hamming graph, Leonard graph |
Brouwer 考虑了唯一的 20 顶点 -图,上面表示为 -noncayley transitive graph,它可以通过让顶点为来自 5 集合 的不同元素的有序对 来构造,其中当 , , 不同时, 与 相邻;当 , , , 不同时, 与 相邻,使得对于某个 ,并且将 映射到 的置换是一个偶置换。等价地,它可以通过让顶点为十二面体的 20 个顶点来构造,选择十二面体到五个四面体的固定划分,并让两个顶点在它们位于一个共同的四面体中或通过十二面体的边连接时相邻。