construct Mycielski graph from graph
Mycielski is a graph construction which, given a graph G on n vertices, returns a graph on 2⁢n+1 vertices. If G is triangle-free with chromatic number k, then the returned graph is triangle-free with chromatic number k+1.
P ≔ PetersenGraph⁡
P≔Graph 1: an undirected graph with 10 vertices and 15 edge(s)
G ≔ Mycielski⁡P
G≔Graph 2: an undirected graph with 21 vertices and 55 edge(s)
Download Help Document