The CoxeterGraph command creates the Coxeter graph, which is a nonhamiltonian 3-regular graph on 28 vertices and 42 edges.

It is named after H. S. M. Coxeter.

$\mathrm{with}\left(\mathrm{GraphTheory}\right)\:$

$\mathrm{with}\left(\mathrm{SpecialGraphs}\right)\:$

$C≔\mathrm{CoxeterGraph}\left(\right)$

$C≔\mathrm{Graph\; 1:\; an\; undirected\; graph\; with\; 28\; vertices\; and\; 42\; edge(s)}$

$\mathrm{IsPlanar}\left(C\right)$

$\mathrm{false}$

$\mathrm{IsRegular}\left(C\,'v'\right)$

$\mathrm{true}$

$v$

$3$

$\mathrm{IsHamiltonian}\left(C\right)$

$\mathrm{false}$

$\mathrm{DrawGraph}\left(C\right)$