PoussinGraph - Maple Help

GraphTheory[SpecialGraphs]

 PoussinGraph
 construct Poussin graph

 Calling Sequence PoussinGraph()

Description

 • The PoussinGraph() command returns the Poussin graph, a planar undirected graph with 15 vertices and 39 edges.
 • The Poussin graph was discovered by Charles Jean de la Vallée-Poussin as a counterexample to an incorrect proof of the four color theorem.

Examples

 > $\mathrm{with}\left(\mathrm{GraphTheory}\right):$
 > $\mathrm{with}\left(\mathrm{SpecialGraphs}\right):$
 > $G≔\mathrm{PoussinGraph}\left(\right)$
 ${G}{≔}{\mathrm{Graph 1: an undirected unweighted graph with 15 vertices and 39 edge\left(s\right)}}$ (1)
 > $\mathrm{IsPlanar}\left(G\right)$
 ${\mathrm{true}}$ (2)
 > $\mathrm{DrawGraph}\left(G\right)$

References

 "Poussin graph", Wikipedia. http://en.wikipedia.org/wiki/Poussin_graph

Compatibility

 • The GraphTheory[SpecialGraphs][PoussinGraph] command was introduced in Maple 2018.