mycielski_graph

mycielski_graph(n)

生成第 n 个 Mycielski 图的生成器。

Mycielski 图族是一个无限集合的图。 \(M_1\) 是单例图，\(M_2\) 是两个顶点带一条边的图，而对于 \(i > 2\) ，\(M_i\) 是 \(M_{i-1}\) 的 Mycielski 变换。

更多信息可以在以下网址找到： http://mathworld.wolfram.com/MycielskiGraph.html

Parameters:

nint

所需的 Mycielski 图。

Returns:

Mgraph

第 n 个 Mycielski 图

Notes

Mycielski 序列中的第一个图是单例图。 这个图的 Mycielski 变换不是 \(P_2\) 图，而是带有一个额外孤立顶点的 \(P_2\) 图。第二个 Mycielski 图是 \(P_2\) 图，因此前两个是硬编码的。 其余的图是通过 Mycielski 操作生成的。