Graph Realization Problem
   HOME

TheInfoList



OR:

The graph realization problem is a
decision problem In computability theory and computational complexity theory, a decision problem is a computational problem that can be posed as a yes–no question on a set of input values. An example of a decision problem is deciding whether a given natura ...
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 ...
. Given a finite sequence (d_1,\dots,d_n) of natural numbers, the problem asks whether there is a labeled
simple graph In discrete mathematics, particularly in graph theory, a graph is a structure consisting of a Set (mathematics), set of objects where some pairs of the objects are in some sense "related". The objects are represented by abstractions called ''Ver ...
such that (d_1,\dots,d_n) is the degree sequence of this graph. In the context of localization, the graph realization problem may also refer to finding a set of positions (x_1,\dots,x_n) in some Euclidean space such that the squared distances between the positions, given by d^2_, match the edge weights w_ for all edges in an incomplete, undirected, weighted graph.


Solutions

The problem can be solved in
polynomial time In theoretical computer science, the time complexity is the computational complexity that describes the amount of computer time it takes to run an algorithm. Time complexity is commonly estimated by counting the number of elementary operations p ...
. One method of showing this uses the Havel–Hakimi algorithm constructing a special solution with the use of a
recursive algorithm In computer science, recursion is a method of solving a computational problem where the solution depends on solutions to smaller instances of the same problem. Recursion solves such recursive problems by using functions that call themselves ...
. Alternatively, following the characterization given by the Erdős–Gallai theorem, the problem can be solved by testing the validity of n inequalities.


Other notations

The problem can also be stated in terms of
symmetric matrices In linear algebra, a symmetric matrix is a square matrix that is equal to its transpose. Formally, Because equal matrices have equal dimensions, only square matrices can be symmetric. The entries of a symmetric matrix are symmetric with re ...
of zeros and ones. The connection can be seen if one realizes that each graph has an
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 ...
where the column sums and row sums correspond to (d_1,\ldots,d_n). 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 digraph realization problem is a decision problem in graph theory. Given pairs of nonnegative integers ((a_1,b_1),\ldots,(a_n,b_n)), the problem asks whether there is a labeled directed graph, simple directed graph such that each vertex (graph ...
. 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 In computer science (particularly algorithmics), a polynomial-time approximation scheme (PTAS) is a type of approximation algorithm for optimization problems (most often, NP-hard optimization problems). A PTAS is an algorithm which takes an inst ...
for the degree sequences of
regular graph In graph theory, a regular graph is a Graph (discrete mathematics), graph where each Vertex (graph theory), vertex has the same number of neighbors; i.e. every vertex has the same Degree (graph theory), degree or valency. A regular directed graph ...
s by Cooper, Martin, and Greenhill.. The general problem is still unsolved.


References

{{DEFAULTSORT:graph realization problem Computational problems in graph theory