主题
Search

Mycielski 图


阶数为 k 的 Mycielski 图 M_k 是一个 无三角形图,其 色数k,且具有尽可能少的顶点数。例如,色数为 k=4 的无三角形图包括 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 图。

MycielskiGraph

上面展示了前几个 Mycielski 图,并在下表中进行了总结。

k-Mycielski 图具有 顶点计数

 n(M_k)={1   for n=1; 3·2^(n-2)-1   for n>1,
(1)

给出 n=1, 2, ... 的顶点计数序列为 1, 2, 5, 11, 23, 47, 95, 191, 383, 767, ... (OEIS A083329),以及 边计数

 m(M_k)=1/2(7·3^(n-2)+1)-3·2^(n-2).
(2)

Mycielski 图在 Wolfram 语言 中实现为FromEntity[Entity["Graph", {"Mycielski", n]],并且小型 Mycielski 图的预计算属性实现为GraphData[{"Mycielski", n}].

对于所有 k,除了 k=3 之外,M_k哈密顿连通的 (Jarnicki et al. 2017)。

Mycielski 图 M_n 的分数色数由 a_2=2

 a_n=a_(n-1)+a_(n-1)^(-1)
(3)

(Larsen et al. 1995) 给出,n=2, 3, ... 的序列为 2, 5/2, 29/10, 941/290, 969581/272890, ... (OEIS A073833A073834)。


另请参阅

Grötzsch 图, 无三角形图

使用 探索

参考文献

Jarnicki, W.; Myrvold, W.; Saltzman, P.; 和 Wagon, S. "Keller, Mycielski 和 Queen 图的性质,已证明和推测"。即将发表于 Ars Math. Comtemp. 2017.Larsen, M.; Propp, J.; 和 Ullman, D. "Mycielski 图的分数色数"。J. Graph Th. 19, 411-416, 1995.Mycielski, J. "关于图的着色"。Colloq. Math. 3, 161-162, 1955.Sloane, N. J. A. 序列 A073833, A073834, 和 A083329 在 "整数序列在线百科全书" 中。Soifer, A. 数学着色书:着色数学及其创造者的多彩生活。 纽约: Springer, pp. 85-86, 2008.

在 上被引用

Mycielski 图

请引用为

Weisstein, Eric W. "Mycielski 图。" 来自 Web 资源。 https://mathworld.net.cn/MycielskiGraph.html

主题分类