Table of Contents - 21.50.15.8. Generalized Petersen graphs
According to Wikipedia "Generalized Petersen graph", 26-Aug-2025,
https://en.wikipedia.org/wiki/Generalized_Petersen_graph: "In graph
theory, the generalized Petersen graphs are a family of cubic graphs
formed by connecting the vertices of a regular polygon to the corresponding
vertices of a star polygon. They include the Petersen graph and generalize
one of the ways of constructing the Petersen graph. ... Among the
generalized Petersen graphs are the n-prism, ...".
The vertices of the regular polygon are called "outside vertices", the
vertices of the star polygon "inside vertices" (see A. Steimle, W. Stanton,
"The isomorphism classes of the generalized Petersen graphs", Discrete
Mathematics Volume 309, Issue 1, 6 January 2009, Pages 231-237:
https://doi.org/10.1016/j.disc.2007.12.074). Since regular polygons are
also considered as star polygons (with density 1), many theorems for
"inside vertices" (with labels containing the fragment "vtx1") can be
specialized for "outside vertices" (with labels containing the fragment
"vtx0").