SPXGraph

The SPXGraph class

This class represents split Praeger-Xu (SPX) graphs.

The SPX(2, r, s) graph is defined as the graph with vertices (v, n, ±), where v ∈ ℤ₂^s and n ∈ ℤ_r. Adjacency is defined as follows:

• (v, n, +) ~ (v, n, −) (v ∈ ℤ₂^s, n ∈ ℤ_r)
• (xw, n, +) ~ (wy, n+1, −) (x, y ∈ ℤ₂, w ∈ ℤ₂^s-1, n ∈ ℤ_r)

Properties

• spx_r (integer) - the r parameter of SPX graphs
• spx_s (integer) - the s parameter of SPX graphs