Graph realization problem

From HandWiki
Revision as of 11:31, 31 July 2022 by imported>Unex (linkage)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Short description: Existence of a graph with a degree sequence

The graph realization problem is a decision problem in graph theory. Given a finite sequence [math]\displaystyle{ (d_1,\dots,d_n) }[/math] of natural numbers, the problem asks whether there is a labeled simple graph such that [math]\displaystyle{ (d_1,\dots,d_n) }[/math] is the degree sequence of this graph.

Solutions

The problem can be solved in polynomial time. One method of showing this uses the Havel–Hakimi algorithm constructing a special solution with the use of a recursive algorithm.[1][2] Alternatively, following the characterization given by the Erdős–Gallai theorem, the problem can be solved by testing the validity of [math]\displaystyle{ n }[/math] inequalities.[3]

Other notations

The problem can also be stated in terms of symmetric matrices of zeros and ones. The connection can be seen if one realizes that each graph has an adjacency matrix where the column sums and row sums correspond to [math]\displaystyle{ (d_1,\ldots,d_n) }[/math]. The problem is then sometimes denoted by symmetric 0-1-matrices for given row sums.

Related problems

Similar problems describe the degree sequences of simple bipartite graphs or the degree sequences of simple directed graphs. The first problem is the so-called bipartite realization problem. The second is known as the digraph realization problem.

The problem of constructing a solution for the graph realization problem with the additional constraint that each such solution comes with the same probability was shown to have a polynomial-time approximation scheme for the degree sequences of regular graphs by Cooper, Martin, and Greenhill.[4] The general problem is still unsolved.

References

  1. Havel, Václav (1955), "A remark on the existence of finite graphs" (in Czech), Časopis Pro Pěstování Matematiky 80: 477–480, http://eudml.org/doc/19050 .
  2. "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, 1962, doi:10.1137/0110037 .
  3. "Gráfok előírt fokszámú pontokkal", Matematikai Lapok 11: 264–274, 1960, http://www.renyi.hu/~p_erdos/1961-05.pdf .
  4. Cooper, Colin (2007), "Sampling regular graphs and a peer-to-peer network", Combinatorics, Probability and Computing 16 (4): 557–593, doi:10.1017/S0963548306007978 .