The FruchtGraph() command constructs the Frucht graph.

The Frucht graph is a 3-regular graph with 12 vertices and 18 edges and no nontrivial automorphisms. It was first described by Robert Frucht in 1939.

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

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

$F≔\mathrm{FruchtGraph}\left(\right)$

$F≔\mathrm{Graph\; 1:\; an\; undirected\; graph\; with\; 12\; vertices\; and\; 18\; edges}$

$\mathrm{ChromaticNumber}\left(F\right)$

$3$

$\mathrm{Aut}≔\mathrm{AutomorphismGroup}\left(F\right)$

$\mathrm{Aut}≔⟨⟩$

$\mathrm{GroupTheory}:-\mathrm{GroupOrder}\left(\mathrm{Aut}\right)$

$1$

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

"Frucht graph", Wikipedia. http://en.wikipedia.org/wiki/Frucht_graph

The GraphTheory[SpecialGraphs][FruchtGraph] command was introduced in Maple 2017.

For more information on Maple 2017 changes, see Updates in Maple 2017.