In
graph-theoretic mathematics, a biregular graph or semiregular bipartite graph is a
bipartite graph
In the mathematics, mathematical field of graph theory, a bipartite graph (or bigraph) is a Graph (discrete mathematics), graph whose vertex (graph theory), vertices can be divided into two disjoint sets, disjoint and Independent set (graph theo ...
for which every two vertices on the same side of the given bipartition have the same
degree as each other. If the degree of the vertices in
is
and the degree of the vertices in
is
, then the graph is said to be
-biregular.
Example
Every
complete bipartite graph
In the mathematical field of graph theory, a complete bipartite graph or biclique is a special kind of bipartite graph where every vertex of the first set is connected to every vertex of the second set..Electronic edition page 17.
Graph theory ...
is
-biregular.
The
rhombic dodecahedron
In geometry, the rhombic dodecahedron is a Polyhedron#Convex_polyhedra, convex polyhedron with 12 congruence (geometry), congruent rhombus, rhombic face (geometry), faces. It has 24 edge (geometry), edges, and 14 vertex (geometry), vertices of 2 ...
is another example; it is (3,4)-biregular.
Vertex counts
An
-biregular graph
must satisfy the equation
. This follows from a simple
double counting argument: the number of endpoints of edges in
is
, the number of endpoints of edges in
is
, and each edge contributes the same amount (one) to both numbers.
Symmetry
Every
regular bipartite graph is also biregular.
Every
edge-transitive graph (disallowing graphs with
isolated vertices) that is not also
vertex-transitive must be biregular.
[.] In particular every edge-transitive graph is either regular or biregular.
Configurations
The
Levi graphs of
geometric configurations are biregular; a biregular graph is the Levi graph of an (abstract) configuration if and only if its
girth is at least six.
[.]
References
{{reflist
Bipartite graphs