The PetersenGraph command creates the Petersen graph on 10 vertices. As an option, you may input the labels of the vertices as a set or list of size 10.

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

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

$P≔\mathrm{PetersenGraph}\left(\right)$

$P≔\mathrm{Graph\; 1:\; an\; undirected\; graph\; with\; 10\; vertices\; and\; 15\; edges}$

$\mathrm{DegreeSequence}\left(P\right)$

$\left[3\,3\,3\,3\,3\,3\,3\,3\,3\,3\right]$

$\mathrm{IsStronglyRegular}\left(P\,'\mathrm{parameters}'\right)$

$\mathrm{true},\left[3\,0\,1\right]$

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