The FolkmanGraph() command constructs the Folkman graph.

The Folkman graph is a nonplanar bipartite graph with 20 vertices and 40 edges.

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

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

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

$F≔\mathrm{Graph\; 1:\; an\; undirected\; graph\; with\; 20\; vertices\; and\; 40\; edge(s)}$

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

$\mathrm{false}$

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

$2$

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

"Folkman graph", Wikipedia. http://en.wikipedia.org/wiki/Folkman_graph

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

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