阶数为 的 Mycielski 图
是一个 无三角形图,其 色数 为
,且具有尽可能少的顶点数。例如,色数为
的无三角形图包括 Grötzsch 图 (11 个顶点)、Chvátal 图 (12 个顶点)、13-分圆图 (13 个顶点)、Clebsch 图 (16 个顶点)、四次顶点传递图 Qt49 (16 个顶点)、Brinkmann 图 (21 个顶点)、Foster 笼 (30 个顶点)、Robertson-Wegner 图 (30 个顶点) 和 Wong 图 (30 个顶点)。其中,最小的是 Grötzsch 图,因此它是 4 阶 Mycielski 图。
上面展示了前几个 Mycielski 图,并在下表中进行了总结。
图 | |
1 | 单点图 |
2 | 路径图 |
3 | 循环图 |
4 | Grötzsch 图 |
-Mycielski 图具有 顶点计数
(1)
|
给出 , 2, ... 的顶点计数序列为 1, 2, 5, 11, 23, 47, 95, 191, 383, 767, ... (OEIS A083329),以及 边计数
(2)
|
Mycielski 图在 Wolfram 语言 中实现为FromEntity[Entity["Graph",
"Mycielski", n]],并且小型 Mycielski 图的预计算属性实现为GraphData[
"Mycielski", n
].
对于所有 ,除了
之外,
是 哈密顿连通的 (Jarnicki et al. 2017)。
Mycielski 图 的分数色数由
和
(3)
|
(Larsen et al. 1995) 给出,, 3, ... 的序列为 2, 5/2, 29/10, 941/290, 969581/272890, ... (OEIS A073833 和 A073834)。