mycielski_graph#

mycielski_graph(n)[源代码]#

第n个mycielski图的生成器。

mycielski图族是一组无限的图。 \(M_1\) 是单子图, \(M_2\) 是具有边的两个顶点,并且,对于 \(i > 2\)\(M_i\) 是我的孩子吗? \(M_{{i-1}}\) .

有关更多信息,请访问http://mathworld.wolfram.com/mycielskigraph.html。

参数
n集成

理想的Mycielski图。

返回
M图表

第n个Mycielski图

笔记

mycielski序列中的第一个图是单子图。这张图的Mycielskian不是 \(P_2\) 图形,而不是 \(P_2\) 带有额外的孤立顶点的图形。第二个mycielski图是 \(P_2\) 图,所以前两个是硬编码的。其余的图形是使用mycielski操作生成的。