Mycielskian graph M4.
The Mycielskian graph sequence generates graphs that are triangle-free
and with a known chromatic number (i.e. the minimum number of colors
required to color the vertices of the graph).
Known properties of this graph (M4) include the following:
* M4 has a minimum chromatic number of 4.
* M4 is triangle-free (i.e. no cycles of length 3 exist).
* M4 has a Hamiltonian cycle.
* M4 has a clique number of 2.
* M4 is factor-critical, meaning every subgraph of |V|-1 vertices has
a perfect matching.
Mycielski graphs were first described by Jan Mycielski in the following
Mycielski, J., 1955. Sur le coloriage des graphes. Colloq. Math.,