Mycielskian graph M10.
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 (M10) include the following:
* M10 has a minimum chromatic number of 10.
* M10 is triangle-free (i.e. no cycles of length 3 exist).
* M10 has a Hamiltonian cycle.
* M10 has a clique number of 2.
* M10 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
publication:
Mycielski, J., 1955. Sur le coloriage des graphes. Colloq. Math.,
3: 161-162.