|
|
Line 1: |
Line 1: |
| {{Graph families defined by their automorphisms}}
| | My name is Joann (34 years old) and my hobbies are Fantasy Football and Amateur radio.<br><br>my website: [http://Www.Dgzhenwang.com/plus/guestbook.php fifa 15 coin hack] |
| In [[graph theory]], a '''regular graph''' is a [[graph (mathematics)|graph]] where each vertex has the same number of neighbors; i.e. every vertex has the same [[Degree (graph theory)|degree]] or valency. A regular [[directed graph]] must also satisfy the stronger condition that the [[indegree]] and [[outdegree]] of each vertex are equal to each other.<ref>
| |
| {{Cite book | last = Chen | first = Wai-Kai | title = Graph Theory and its Engineering Applications | publisher = World Scientific | year = 1997 | pages = 29 | isbn = 978-981-02-1859-1}}</ref> A regular graph with vertices of degree <span class="texhtml" ><var >k</var ></span > is called a <span class="texhtml" ><var >k</var ></span >'''‑regular graph''' or regular graph of degree <span class="texhtml" ><var >k</var ></span >.
| |
| | |
| Regular graphs of degree at most 2 are easy to classify: A 0-regular graph consists of disconnected vertices, a 1-regular graph consists of disconnected edges, and a 2-regular graph consists of disconnected [[cycle (graph theory)|cycle]]s and infinite chains.
| |
| | |
| A 3-regular graph is known as a [[cubic graph]].
| |
| | |
| A [[strongly regular graph]] is a regular graph where every adjacent pair of vertices has the same number ''l'' of neighbors in common, and every non-adjacent pair of vertices has the same number ''n'' of neighbors in common. The smallest graphs that are regular but not strongly regular are the [[cycle graph]] and the [[circulant graph]] on 6 vertices.
| |
| | |
| The [[complete graph]] <math>K_m</math> is strongly regular for any <math>m</math>.
| |
| | |
| A theorem by [[Crispin St. J. A. Nash-Williams|Nash-Williams]] says that every <span class="texhtml" ><var >k</var ></span >‑regular graph on <span class="texhtml" >2<var >k</var > + 1</span > vertices has a [[Hamiltonian cycle]].
| |
| | |
| <gallery>
| |
| 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
| |
| </gallery>
| |
| | |
| == Existence ==
| |
| | |
| It is well known that the necessary and sufficient conditions for a <math>k</math> regular graph of order <math>n</math> to exist are that <math> n \geq k+1 </math> and that <math> nk </math> is even. In such case it is easy to construct regular graphs by considering appropriate parameters for [[circulant graph]]s.
| |
| | |
| ==Algebraic properties==
| |
| | |
| Let ''A'' be the [[adjacency matrix]] of a graph. Then the graph is regular [[if and only if]] <math>\textbf{j}=(1, \dots ,1)</math> is an [[eigenvector]] of ''A''.<ref name="Cvetkovic">Cvetković, D. M.; Doob, M.; and Sachs, H. Spectra of Graphs: Theory and Applications, 3rd rev. enl. ed. New York: Wiley, 1998.</ref> Its eigenvalue will be the constant degree of the graph. Eigenvectors corresponding to other [[eigenvalue]]s are orthogonal to <math>\textbf{j}</math>, so for such eigenvectors <math>v=(v_1,\dots,v_n)</math>, we have <math>\sum_{i=1}^n v_i = 0</math>.
| |
| | |
| A regular graph of degree ''k'' is connected if and only if the eigenvalue ''k'' has multiplicity one.<ref name="Cvetkovic"/>
| |
| | |
| There is also a criterion for regular and connected graphs :
| |
| a graph is connected and regular if and only if the [[matrix of ones]] ''J'', with <math>J_{ij}=1</math>, is in the [[adjacency algebra]] of the graph (meaning it is a linear combination of powers of ''A'').<ref>{{citation
| |
| | last = Curtin | first = Brian
| |
| | doi = 10.1007/s10623-004-4857-4
| |
| | issue = 2-3
| |
| | journal = Designs, Codes and Cryptography
| |
| | mr = 2128333
| |
| | pages = 241–248
| |
| | title = Algebraic characterizations of graph regularity conditions
| |
| | volume = 34
| |
| | year = 2005}}.</ref>
| |
| | |
| Let G be a k-regular graph with diameter D and eigenvalues of adjacency matrix <math>k=\lambda_0 >\lambda_1\geq \dots\geq\lambda_{n-1}</math>. If G is not bipartite
| |
| | |
| <math>D\leq \frac{\log{(n-1)}}{\log(k/\lambda)}+1</math><ref name="personal.plattsburgh.edu">http://personal.plattsburgh.edu/quenelgt/pubpdf/diamest.pdf</ref>
| |
| | |
| where <math> \lambda=\max_{i>0}\{\mid \lambda_i \mid \}</math>.<ref name="personal.plattsburgh.edu"/>
| |
| | |
| == Generation ==
| |
| | |
| Regular graphs may be generated by the GenReg program.<ref>{{cite journal| last=Meringer | first=Markus | year=1999 | title=Fast generation of regular graphs and construction of cages | journal=[[Journal of Graph Theory]] | volume=30 | issue=2 | pages=137–146 | doi=10.1002/(SICI)1097-0118(199902)30:2<>1.0.CO;2-G | url=http://www.mathe2.uni-bayreuth.de/markus/pdf/pub/FastGenRegGraphJGT.pdf}}</ref>
| |
| | |
| == See also ==
| |
| | |
| * [[Random regular graph]]
| |
| * [[Strongly regular graph]]
| |
| * [[Moore graph]]
| |
| * [[Cage graph]]
| |
| | |
| == References ==
| |
| {{reflist}}
| |
| | |
| == External links ==
| |
| {{commons category|Regular graphs}}
| |
| * {{MathWorld|urlname=RegularGraph|title=Regular Graph}}
| |
| * {{MathWorld|urlname=StronglyRegularGraph|title=Strongly Regular Graph}}
| |
| * [http://www.mathe2.uni-bayreuth.de/markus/reggraphs.html GenReg] software and data by Markus Meringer.
| |
| * {{Cite journal | last=Nash-Williams | first=Crispin |authorlink = Crispin St. J. A. Nash-Williams
| |
| | contribution=Valency Sequences which force graphs to have Hamiltonian Circuits
| |
| | title=University of Waterloo Research Report | publisher=University of Waterloo
| |
| | place=Waterloo, Ontario | year=1969 | postscript=<!--None--> }}
| |
| | |
| {{DEFAULTSORT:Regular Graph}}
| |
| [[Category:Graph families]]
| |
| [[Category:Regular graphs]]
| |
My name is Joann (34 years old) and my hobbies are Fantasy Football and Amateur radio.
my website: fifa 15 coin hack