In graph theory, the degree (or valency) of a vertex of a graph is the number of edges that are incident to the vertex, and in a multigraph, loops are counted twice.[1] The degree of a vertex v is denoted \( \deg(v) \) or\( \deg v \). The maximum degree of a graph G, denoted by \( \Delta (G) \), and the minimum degree of a graph, denoted by \( {\displaystyle \delta (G)} \), are the maximum and minimum degree of its vertices. In the multigraph on the right, the maximum degree is 5 and the minimum degree is 0.
In a regular graph, every vertex has the same degree, and so we can speak of the degree of the graph. A complete graph (denoted \( K_{n} \), where n is the number of vertices in the graph) is a special kind of regular graph where all vertices have the maximum degree, n-1.
Handshaking lemma
Main article: Handshaking lemma
The degree sum formula states that, given a graph G=(V,E),
\( \sum _{v\in V}\deg(v)=2|E|\,. \)
The formula implies that in any undirected graph, the number of vertices with odd degree is even. This statement (as well as the degree sum formula) is known as the handshaking lemma. The latter name comes from a popular mathematical problem, to prove that in any group of people the number of people who have shaken hands with an odd number of other people from the group is even.
Degree sequence
Two non-isomorphic graphs with the same degree sequence (3, 2, 2, 2, 2, 1, 1, 1).
The degree sequence of an undirected graph is the non-increasing sequence of its vertex degrees;[2] for the above graph it is (5, 3, 3, 2, 2, 1, 0). The degree sequence is a graph invariant so isomorphic graphs have the same degree sequence. However, the degree sequence does not, in general, uniquely identify a graph; in some cases, non-isomorphic graphs have the same degree sequence.
The degree sequence problem is the problem of finding some or all graphs with the degree sequence being a given non-increasing sequence of positive integers. (Trailing zeroes may be ignored since they are trivially realized by adding an appropriate number of isolated vertices to the graph.) A sequence which is the degree sequence of some graph, i.e. for which the degree sequence problem has a solution, is called a graphic or graphical sequence. As a consequence of the degree sum formula, any sequence with an odd sum, such as (3, 3, 1), cannot be realized as the degree sequence of a graph. The converse is also true: if a sequence has an even sum, it is the degree sequence of a multigraph. The construction of such a graph is straightforward: connect vertices with odd degrees in pairs by a matching, and fill out the remaining even degree counts by self-loops. The question of whether a given degree sequence can be realized by a simple graph is more challenging. This problem is also called graph realization problem and can either be solved by the Erdős–Gallai theorem or the Havel–Hakimi algorithm. The problem of finding or estimating the number of graphs with a given degree sequence is a problem from the field of graph enumeration.
More generally, the degree sequence of a hypergraph is the non-increasing sequence of its vertex degrees. A sequence is k-graphic if it is the degree sequence of some k-uniform hypergraph. In particular, a 2-graphic sequence is graphic. Deciding if a given sequence is k-graphic is doable in polynomial time for k=2 via the Erdős–Gallai theorem but is NP-complete for all \( k\ge 3 \) (Deza et al., 2018 [3]).
Special values
An undirected graph with leaf nodes 4, 5, 6, 7, 10, 11, and 12
A vertex with degree 0 is called an isolated vertex.
A vertex with degree 1 is called a leaf vertex or end vertex, and the edge incident with that vertex is called a pendant edge. In the graph on the right, {3,5} is a pendant edge. This terminology is common in the study of trees in graph theory and especially trees as data structures.
A vertex with degree n − 1 in a graph on n vertices is called a dominating vertex.
Global properties
If each vertex of the graph has the same degree k the graph is called a k-regular graph and the graph itself is said to have degree k. Similarly, a bipartite graph in which every two vertices on the same side of the bipartition as each other have the same degree is called a biregular graph.
An undirected, connected graph has an Eulerian path if and only if it has either 0 or 2 vertices of odd degree. If it has 0 vertices of odd degree, the Eulerian path is an Eulerian circuit.
A directed graph is a pseudoforest if and only if every vertex has outdegree at most 1. A functional graph is a special case of a pseudoforest in which every vertex has outdegree exactly 1.
By Brooks' theorem, any graph other than a clique or an odd cycle has chromatic number at most Δ, and by Vizing's theorem any graph has chromatic index at most Δ + 1.
A k-degenerate graph is a graph in which each subgraph has a vertex of degree at most k.
See also
Indegree, outdegree for digraphs
Degree distribution
degree sequence for bipartite graphs
Notes
Diestel p.5
Diestel p.216
Deza, Antoine; Levin, Asaf; Meesum, Syed M.; Onn, Shmuel (January 2018). "Optimization over Degree Sequences". SIAM Journal on Discrete Mathematics. 32 (3): 2067–2079. arXiv:1706.03951. doi:10.1137/17M1134482. ISSN 0895-4801. S2CID 52039639.
References
Diestel, Reinhard (2005), Graph Theory (3rd ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-26183-4.
Erdős, P.; Gallai, T. (1960), "Gráfok előírt fokszámú pontokkal" (PDF), Matematikai Lapok (in Hungarian), 11: 264–274.
Havel, Václav (1955), "A remark on the existence of finite graphs", Časopis Pro Pěstování Matematiky (in Czech), 80 (4): 477–480, doi:10.21136/CPM.1955.108220
Hakimi, S. L. (1962), "On realizability of a set of integers as degrees of the vertices of a linear graph. I", Journal of the Society for Industrial and Applied Mathematics, 10 (3): 496–506, doi:10.1137/0110037, MR 0148049.
Sierksma, Gerard; Hoogeveen, Han (1991), "Seven criteria for integer sequences being graphic", Journal of Graph Theory, 15 (2): 223–231, doi:10.1002/jgt.3190150209, MR 1106533.
Undergraduate Texts in Mathematics
Graduate Studies in Mathematics
Hellenica World - Scientific Library
Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License
