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 inverse 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 (forming 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 be solved by either 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 -graphic if it is the degree sequence of some -uniform hypergraph. In particular, a -graphic sequence is graphic. Deciding if a given sequence is -graphic is doable in polynomial time for via the Erdős–Gallai theorem but is NP-complete for all (Deza et al., 2018 ). Special values A vertex with degree 0 is called an isolated vertex. A vertex with degree 1 is called a leaf vertex or end vertex or a pendant 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 directed pseudoforest if and only if every