Unit disk graph

From Wikipedia, the free encyclopedia
Jump to: navigation, search
A collection of unit circles and the corresponding unit disk graph.

In geometric graph theory, a unit disk graph is the intersection graph of a family of unit disks in the Euclidean plane. That is, it is a graph with one vertex for each disk, and with an edge between two vertices whenever the corresponding disks have non-empty intersection.

Characterizations[edit]

There are several possible definitions of the unit disk graph, equivalent to each other up to a choice of scale factor:

  • An intersection graph of equal-radius circles, or of equal-radius disks
  • A graph formed from a collection of equal-radius circles, in which two circles are connected by an edge if one circle contains the center of the other circle
  • A graph formed from a collection of points in the Euclidean plane, in which two points are connected if their distance is below a fixed threshold

Properties[edit]

Every induced subgraph of a unit disk graph is also a unit disk graph. An example of a graph that is not a unit disk graph is the star K1,7 with one central node connected to seven leaves: if each of seven unit disks touches a common unit disk, some two of the seven disks must touch each other (as the kissing number in the plane is 6). Therefore, unit disk graphs cannot contain an induced K1,7 subgraph.

Applications[edit]

Beginning with the work of Huson & Sen (1995), unit disk graphs have been used in computer science to model the topology of ad hoc wireless communication networks. In this application, nodes are connected through a direct wireless connection without a base station. It is assumed that all nodes are homogeneous and equipped with omnidirectional antennas. Node locations are modeled as Euclidean points, and the area within which a signal from one node can be received by another node is modeled as a circle. If all nodes have transmitters of equal power, these circles are all equal. Random geometric graphs, formed as unit disk graphs with randomly generated disk centers, have also been used as a model of percolation and various other phenomena.[1]

Computational complexity[edit]

If one is given a collection of unit disks (or their centers) in a space of any fixed dimension, it is possible to construct the corresponding unit disk graph in linear time, by rounding the centers to nearby integer grid points, using a hash table to find all pairs of centers within constant distance of each other, and filtering the resulting list of pairs for the ones whose circles intersect. The ratio of the number of pairs considered by this algorithm to the number of edges in the eventual graph is a constant, giving the linear time bound. However, this constant grows exponentially as a function of the dimension (Bentley, Stanat & Williams 1977).

It is NP-hard (more specifically, complete for the existential theory of the reals) to determine whether a graph, given without geometry, can be represented as a unit disk graph.[2] Additionally, it is provably impossible in polynomial time to output explicit coordinates of a unit disk graph representation: there exist unit disk graphs that require exponentially many bits of precision in any such representation.[3]

However, many important and difficult graph optimization problems such as maximum independent set, graph coloring, and minimum dominating set can be approximated efficiently by using the geometric structure of these graphs,[4] and the maximum clique problem can be solved exactly for these graphs in polynomial time, given a disk representation.[5] More strongly, if a graph is given as input, it is possible in polynomial time to produce either a maximum clique or a proof that the graph is not a unit disk graph.[6]

When a given vertex set forms a subset of a triangular lattice, a necessary and sufficient condition for the perfectness of a unit graph is known.[7] For the perfect graphs, a number of NP-complete optimization problems (graph coloring problem, maximum clique problem, and maximum independent set problem) are polynomially solvable.

See also[edit]

  • Barrier resilience, an algorithmic problem of breaking cycles in unit disk graphs
  • Indifference graph, a one-dimensional analogue of the unit disk graphs
  • Vietoris–Rips complex, a generalization of the unit disk graph that constructs higher-order topological spaces from unit distances in a metric space
  • Unit distance graph, a graph formed by connecting points that are at distance exactly one rather than (as here) at most a given threshold

Notes[edit]

References[edit]