mycielski_graph#

mycielski_graph(n)源码#

n 阶 Mycielski 图的生成器。

Mycielski 图族是一个无限图集合。\(M_1\) 是单点图,\(M_2\) 是包含两个顶点和一条边的图,对于 \(i > 2\)\(M_i\)\(M_{i-1}\) 的 Mycielskian。

更多信息请参见 https://mathworld.net.cn/MycielskiGraph.html

参数:
nint

所需的 Mycielski 图。

返回:
Mgraph

n 阶 Mycielski 图

注意

Mycielski 序列中的第一个图是单点图。该图的 Mycielskian 不是 \(P_2\) 图,而是包含一个额外孤立顶点的 \(P_2\) 图。第二个 Mycielski 图是 \(P_2\) 图,因此前两个是硬编码的。其余图使用 Mycielski 运算生成。