The WienerArayaGraph command creates the Wiener-Araya graph, a planar graph on 42 vertices and 67 edges.

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

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

$G≔\mathrm{WienerArayaGraph}\left(\right)$

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

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

$\mathrm{true}$

Wiener, G. and Araya, M. "On Planar Hypohamiltonian Graphs." J. Graph Th. 67, 55-68, 2011. doi:10.1002/jgt.20513

"Wiener-Araya graph", Wikipedia. http://en.wikipedia.org/wiki/Wiener-Araya_graph

The GraphTheory[SpecialGraphs][WienerArayaGraph] command was introduced in Maple 2020.

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