HOME

TheInfoList



OR:

In
graph theory In mathematics and computer science, graph theory is the study of ''graph (discrete mathematics), graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of ''Vertex (graph ...
, a regular graph is a
graph Graph may refer to: Mathematics *Graph (discrete mathematics), a structure made of vertices and edges **Graph theory, the study of such graphs and their properties *Graph (topology), a topological space resembling a graph in the sense of discret ...
where each vertex has the same number of neighbors; i.e. every vertex has the same degree or valency. A regular directed graph must also satisfy the stronger condition that the indegree and outdegree of each internal vertex are equal to each other. A regular graph with vertices of degree is called a graph or regular graph of degree .


Special cases

Regular graphs of degree at most 2 are easy to classify: a graph consists of disconnected vertices, a graph consists of disconnected edges, and a graph consists of a
disjoint union In mathematics, the disjoint union (or discriminated union) A \sqcup B of the sets and is the set formed from the elements of and labelled (indexed) with the name of the set from which they come. So, an element belonging to both and appe ...
of cycles and infinite chains. A graph is known as a
cubic graph In the mathematical field of graph theory, a cubic graph is a graph in which all vertices have degree three. In other words, a cubic graph is a 3-regular graph. Cubic graphs are also called trivalent graphs. A bicubic graph is a cubic bip ...
. A
strongly regular graph In graph theory, a strongly regular graph (SRG) is a regular graph with vertices and degree such that for some given integers \lambda, \mu \ge 0 * every two adjacent vertices have common neighbours, and * every two non-adjacent vertices h ...
is a regular graph where every adjacent pair of vertices has the same number of neighbors in common, and every non-adjacent pair of vertices has the same number of neighbors in common. The smallest graphs that are regular but not strongly regular are the
cycle graph In graph theory, a cycle graph or circular graph is a graph that consists of a single cycle, or in other words, some number of vertices (at least 3, if the graph is simple) connected in a closed chain. The cycle graph with vertices is called ...
and the circulant graph on 6 vertices. The
complete graph In the mathematical field of graph theory, a complete graph is a simple undirected graph in which every pair of distinct vertices is connected by a unique edge. A complete digraph is a directed graph in which every pair of distinct vertices i ...
is strongly regular for any . Image:0-regular_graph.svg, 0-regular graph Image:1-regular_graph.svg, 1-regular graph Image:2-regular_graph.svg, 2-regular graph Image:3-regular_graph.svg, 3-regular graph


Existence

The necessary and sufficient conditions for a k-regular graph of
order Order, ORDER or Orders may refer to: * A socio-political or established or existing order, e.g. World order, Ancien Regime, Pax Britannica * Categorization, the process in which ideas and objects are recognized, differentiated, and understood ...
n to exist are that n \geq k+1 and that nk is even. Proof: A
complete graph In the mathematical field of graph theory, a complete graph is a simple undirected graph in which every pair of distinct vertices is connected by a unique edge. A complete digraph is a directed graph in which every pair of distinct vertices i ...
has every pair of distinct vertices connected to each other by a unique edge. So edges are maximum in complete graph and number of edges are \binom = \dfrac and degree here is n-1. So k=n-1,n=k+1. This is the minimum n for a particular k. Also note that if any regular graph has order n then number of edges are \dfrac so nk has to be even. In such case it is easy to construct regular graphs by considering appropriate parameters for circulant graphs.


Properties

From the
handshaking lemma In graph theory, the handshaking lemma is the statement that, in every finite undirected graph, the number of vertices that touch an odd number of edges is even. For example, if there is a party of people who shake hands, the number of people ...
, a -regular graph with odd has an even number of vertices. A theorem by Nash-Williams says that every graph on vertices has a
Hamiltonian cycle In the mathematics, mathematical field of graph theory, a Hamiltonian path (or traceable path) is a path (graph theory), path in an undirected or directed graph that visits each vertex (graph theory), vertex exactly once. A Hamiltonian cycle (or ...
. Let ''A'' be the
adjacency matrix In graph theory and computer science, an adjacency matrix is a square matrix used to represent a finite graph (discrete mathematics), graph. The elements of the matrix (mathematics), matrix indicate whether pairs of Vertex (graph theory), vertices ...
of a graph. Then the graph is regular
if and only if In logic and related fields such as mathematics and philosophy, "if and only if" (often shortened as "iff") is paraphrased by the biconditional, a logical connective between statements. The biconditional is true in two cases, where either bo ...
\textbf=(1, \dots ,1) is an
eigenvector In linear algebra, an eigenvector ( ) or characteristic vector is a vector that has its direction unchanged (or reversed) by a given linear transformation. More precisely, an eigenvector \mathbf v of a linear transformation T is scaled by ...
of ''A''.Cvetković, D. M.; Doob, M.; and Sachs, H. Spectra of Graphs: Theory and Applications, 3rd rev. enl. ed. New York: Wiley, 1998. Its eigenvalue will be the constant degree of the graph. Eigenvectors corresponding to other
eigenvalue In linear algebra, an eigenvector ( ) or characteristic vector is a vector that has its direction unchanged (or reversed) by a given linear transformation. More precisely, an eigenvector \mathbf v of a linear transformation T is scaled by a ...
s are orthogonal to \textbf, so for such eigenvectors v=(v_1,\dots,v_n), we have \sum_^n v_i = 0. A regular graph of degree ''k'' is connected if and only if the eigenvalue ''k'' has multiplicity one. The "only if" direction is a consequence of the
Perron–Frobenius theorem In matrix theory, the Perron–Frobenius theorem, proved by and , asserts that a real square matrix with positive entries has a unique eigenvalue of largest magnitude and that eigenvalue is real. The corresponding eigenvector can be chosen to ha ...
. There is also a criterion for regular and connected graphs : a graph is connected and regular if and only if the
matrix of ones In mathematics, a matrix of ones or all-ones matrix is a matrix with every entry equal to one. For example: :J_2 = \begin 1 & 1 \\ 1 & 1 \end,\quad J_3 = \begin 1 & 1 & 1 \\ 1 & 1 & 1 \\ 1 & 1 & 1 \end,\quad J_ = \begin 1 & 1 & 1 & 1 & 1 \\ 1 & ...
''J'', with J_=1, is in the
adjacency algebra In algebraic graph theory, the adjacency algebra of a graph ''G'' is the algebra of polynomials in the adjacency matrix ''A''(''G'') of the graph. It is an example of a matrix algebra and is the set of the linear combinations of powers of ' ...
of the graph (meaning it is a linear combination of powers of ''A''). Let ''G'' be a ''k''-regular graph with diameter ''D'' and eigenvalues of adjacency matrix k=\lambda_0 >\lambda_1\geq \cdots\geq\lambda_. If ''G'' is not bipartite, then : D\leq \frac+1.


Generation

Fast algorithms exist to generate, up to isomorphism, all regular graphs with a given degree and number of vertices.


See also

*
Random regular graph A random ''r''-regular graph is a graph selected from \mathcal_, which denotes the probability space of all ''r''-regular graphs on n vertices, where 3 \le r 0 is a positive constant, and d is the least integer satisfying (r-1)^ \ge (2 + \epsilon ...
*
Strongly regular graph In graph theory, a strongly regular graph (SRG) is a regular graph with vertices and degree such that for some given integers \lambda, \mu \ge 0 * every two adjacent vertices have common neighbours, and * every two non-adjacent vertices h ...
*
Moore graph In graph theory, a Moore graph is a regular graph whose girth (the shortest cycle length) is more than twice its diameter (the distance between the farthest two vertices). If the degree of such a graph is and its diameter is , its girth must ...
*
Cage graph In the mathematical field of graph theory, a cage is a regular graph that has as few vertices as possible for its girth. Formally, an is defined to be a graph in which each vertex has exactly neighbors, and in which the shortest cycle has a ...
*
Highly irregular graph In graph theory, a highly irregular graph is a graph in which, for every vertex, all neighbors of that vertex have distinct degrees. History Irregular graphs were initially characterized by Yousef Alavi, Gary Chartrand, Fan Chung, Paul Erdő ...


References


External links

* *
GenReg
software and data by Markus Meringer. * {{DEFAULTSORT:Regular Graph Graph families *