三次对称图是一种对称三次图(即,度为 3 的正则图)。这类图最早由福斯特(Foster,1932)研究。此后,它们一直是人们关注和研究的对象。由于三次图必须具有偶数个顶点,因此三次对称图也必须如此。
鲍尔等人(1988) 发表了所有顶点数不超过 512 的连通三次对称图的数据。康德尔和多布萨尼(Conder and Dobcsányi,2002)找到了所有顶点数不超过 768 的三次对称图。罗伊尔维护了一个已知顶点数少于 1000 的三次对称图列表。(已知该列表对于最多 768 个顶点是完整的,但对于 770-998 个顶点仅包含凯莱图。)所有顶点数最多为 2048 的三次对称图随后由 M. Condor 在 2006 年 8 月枚举(Condor)。
节点数为, 4, 6, 8, ... 的不连通三次对称图的数量分别是 0, 0, 0, 1, ...,其中最小的一些如上所示。
节点数不超过 102 的连通三次对称图如上图所示,表示为,其中
代表福斯特(Foster),
是顶点的数量,字母
,
,
等附加表示在
个顶点上的第一个、第二个等此类图(罗伊尔)。
许多连通三次对称图,包括,
和
都是凯莱图。
与广义彼得森图
同构,并且由福斯特(1932)、考克斯特(Coxeter,1950)和弗鲁赫特(Frucht,1952)构造。弗鲁赫特(1952)讨论的“具有 64 个顶点和周长 8 的明显新的对称图”是
。
是正二十面体的滚动多面体图。
节点数为, 4, ...的连通三次对称图的数量分别是 0, 1, 1, 1, 1, 0, 1, 1, 1, 2, ... (OEIS A059282)。所有节点数不超过 60 的三次对称图都是哈密顿图,除了彼得森图(10 个节点)和考克斯特图(28 个节点),因此哈密顿连通三次对称图的数量分别是 0, 1, 1, 1, 0, 0, 1, 1, 1, 2, 0, 1, 1, ... (OEIS A091430)。连通三次对称图的前几个阶数是 4, 6, 8, 10, 14, 16, 18, 20, 20, 24, 26, 28, 30, 32, 38, 40, ... (OEIS A075124)。
下表总结了节点数不超过 102 的连通三次对称图。在此表中,H 表示哈密顿图,* 表示没有阶数的LCF 表示法的图。
图 | 哈密顿性 | LCF 表示法 | |
4A | 四面体图 | 是 | |
6A | 是 | ||
8A | 立方体图 | 是 | |
10A | 彼得森图 | 否 | -- |
14A | 希伍德图 | 是 | |
16A | 莫比乌斯-康托尔图 | 是 | |
18A | 帕普斯图 | 是 | |
20A | 十二面体图 | 是 | |
20B | 德萨格图 | 是 | |
24A | 瑙鲁图 | 是 | |
26A | 是 | ||
28A | 考克斯特图 | 否 | -- |
30A | 塔特 8-笼 | 是 | |
32A | 戴克图 | 是 | |
38A | 是 | ||
40A | 是 | ||
42A | 是 | ||
48A | 是 | ||
50A | 是 | ||
54A | 是 | ||
56A | 是 | ||
56B | 是 | ||
56C | 是 | * | |
60A | 是 | ||
62A | 是 | ||
64A | 是 | ||
72A | 是 | ||
74A | 是 | ||
78A | 是 | ||
80A | 是 | ||
84A | 是 | * | |
86A | 是 | ||
90A | 福斯特图 | 是 | |
96A | 是 | ||
96B | 是 | ||
98A | 是 | ||
98B | 是 | ||
102A | 比格斯-史密斯图 | 是 | * |
上面的图显示了一些选定的三次对称图的替代嵌入。
许多三次对称图(除了四面体图、效用图以及其他可能的情况)都具有单位距离嵌入,如上面主要由 Gerbracht(2008 年,私人通信,2009 年 12 月至 2010 年 1 月)的嵌入所示。