Interval graph
In graph theory, an interval graph is the intersection graph of a family of intervals on the real line. It has one vertex for each interval in the family, and an edge between every pair of vertices corresponding to intervals that intersect.
Definition
Formally, an interval graph is an undirected graph formed from a family of intervals
- Si, i = 0, 1, 2, ...
by creating one vertex vi for each interval Si, and connecting two vertices vi and vj by an edge whenever the corresponding two sets have a nonempty intersection, that is,
- E(G) = {{vi, vj} | Si ∩ Sj ≠ ∅}.
From this construction one can verify a common property held by all interval graphs. That is, graph G is an interval graph if and only if the maximal cliques of G can be ordered M1, M2, ..., Mk such that for any v ∈ Mi ∩ Mk, where i < k, it is also the case that v ∈ Mj for any Mj, i ≤ j ≤ k.[1]
Efficient recognition algorithms
Determining whether a given graph G = (V, E) is an interval graph can be done in O(|V|+|E|) time by seeking an ordering of the maximal cliques of G that is consecutive with respect to vertex inclusion.
The original linear time recognition algorithm of Booth & Lueker (1976) is based on their complex PQ tree data structure, but Habib et al. (2000) showed how to solve the problem more simply using lexicographic breadth-first search, based on the fact that a graph is an interval graph if and only if it is chordal and its complement is a comparability graph.[1][2]
Related families of graphs
Interval graphs are chordal graphs and hence perfect graphs.[1][2] Their complements belong to the class of comparability graphs,[3] and the comparability relations are precisely the interval orders.[1]
The interval graphs that have an interval representation in which every two intervals are either disjoint or nested are the trivially perfect graphs.
A graph has boxicity at most one if and only if it is an interval graph; the boxicity of an arbitrary graph G is the minimum number of interval graphs on the same set of vertices such that the intersection of the edges sets of the interval graphs is G.
The intersection graphs of arcs of a circle form circular-arc graphs, a class of graphs that contains the interval graphs. The trapezoid graphs, intersections of trapezoids whose parallel sides all lie on the same two parallel lines, are also a generalization of the interval graphs.
The pathwidth of an interval graph is one less than the size of its maximum clique (or equivalently, one less than its chromatic number), and the pathwidth of any graph G is the same as the smallest pathwidth of an interval graph that contains G as a subgraph.[4]
The connected triangle-free interval graphs are exactly the caterpillar trees.[5]
Proper Interval Graphs
Proper interval graphs are interval graphs that have an interval representation in which no interval properly contains any other interval; unit interval graphs are the interval graphs that have an interval representation in which each interval has unit length. A unit interval representation without repeated intervals is necessarily a proper interval representation. Not every proper interval representation is a unit interval representation, but every proper interval graph is a unit interval graph, and vice versa.[6] Every proper interval graph is a claw-free graph; conversely, the proper interval graphs are exactly the claw-free interval graphs. However, there exist claw-free graphs that are not interval graphs.[7]
An interval graph is called q-proper if there is a representation in which no interval is contained by more than q others. This notion extends the idea of proper interval graphs such that a 0-proper interval graph is a proper interval graph.
Improper Interval Graphs
An interval graph is called p-improper if there is a representation in which no interval contains more than p others. His notion extends the idea of proper interval graphs such that a 0-improper interval graph is a proper interval graph.
Applications
The mathematical theory of interval graphs was developed with a view towards applications by researchers at the RAND Corporation's mathematics department, which included young researchers—such as Peter C. Fishburn and students like Alan C. Tucker and Joel E. Cohen—besides leaders—such as Delbert Fulkerson and (recurring visitor) Victor Klee.[8] Cohen applied interval graphs to mathematical models of population biology, specifically food webs.[9]
Interval graphs are used to represent resource allocation problems in operations research and scheduling theory. In these applications, each interval represents a request for a resource (such as a processing unit of a distributed computing system or a room for a class) for a specific period of time. The maximum weight independent set problem for the graph represents the problem of finding the best subset of requests that can be satisfied without conflicts.[10] An optimal graph coloring of the interval graph represents an assignment of resources that covers all of the requests with as few resources as possible; it can be found in polynomial time by a greedy coloring algorithm that colors the intervals in sorted order by their left endpoints.[11]
Other applications include genetics, bioinformatics, and computer science. Finding a set of intervals that represent an interval graph can also be used as a way of assembling contiguous subsequences in DNA mapping.[12] A Interval graphs also play an important role in temporal reasoning.[13]
Notes
- ↑ 1.0 1.1 1.2 1.3 (Fishburn 1985)
- ↑ 2.0 2.1 Golumbic (1980).
- ↑ Gilmore & Hoffman (1964)
- ↑ Bodlaender (1998).
- ↑ Eckhoff (1993).
- ↑ Roberts (1969); Gardi (2007)
- ↑ Faudree, Flandrin & Ryjáček (1997), p. 89.
- ↑ Cohen (1978, pp. ix-10)
- ↑ Cohen (1978, pp. 12–33)
- ↑ Bar-Noy et al. (2001).
- ↑ Cormen, Thomas H.; Leiserson, Charles E., Rivest, Ronald L., Stein, Clifford (2001) [1990]. Introduction to Algorithms (2nd ed.). MIT Press and McGraw-Hill. ISBN 0-262-03293-7.
- ↑ Zhang et al. (1994).
- ↑ Golumbic & Shamir (1993).
References
- Bar-Noy, Amotz; Bar-Yehuda, Reuven; Freund, Ari; Naor, Joseph (Seffi); Schieber, Baruch (2001), "A unified approach to approximating resource allocation and scheduling", Journal of the ACM 48 (5): 1069–1090, doi:10.1145/502102.502107.
- Bodlaender, Hans L. (1998), "A partial k-arboretum of graphs with bounded treewidth", Theoretical Computer Science 209 (1–2): 1–45, doi:10.1016/S0304-3975(97)00228-4.
- Booth, K. S.; Lueker, G. S. (1976), "Testing for the consecutive ones property, interval graphs, and graph planarity using PQ-tree algorithms", J. Comput. System Sci. 13 (3): 335–379, doi:10.1016/S0022-0000(76)80045-1.
- Cohen, Joel E. (1978). Food webs and niche space. Monographs in Population Biology 11. Princeton, NJ: Princeton University Press. pp. xv+1–190. ISBN 978-0-691-08202-8.
- Eckhoff, Jürgen (1993), "Extremal interval graphs", Journal of Graph Theory 17 (1): 117–127, doi:10.1002/jgt.3190170112.
- Faudree, Ralph; Flandrin, Evelyne; Ryjáček, Zdeněk (1997), "Claw-free graphs — A survey", Discrete Mathematics 164 (1–3): 87–147, doi:10.1016/S0012-365X(96)00045-3, MR 1432221.
- Fishburn, Peter C. (1985). Interval orders and interval graphs: A study of partially ordered sets. Wiley-Interscience Series in Discrete Mathematics. New York: John Wiley & Sons.
- Fulkerson, D. R.; Gross, O. A. (1965), "Incidence matrices and interval graphs", Pacific Journal of Mathematics 15: 835–855, doi:10.2140/pjm.1965.15.835.
- Gardi, Frédéric (October 28, 2007). "The Roberts characterization of proper and unit interval graphs". Discrete Mathematics 307 (22): 2906–2908. doi:10.1016/j.disc.2006.04.043. ISSN 0012-365X. Retrieved March 30, 2014..
- Gilmore, P. C.; Hoffman, A. J. (1964), "A characterization of comparability graphs and of interval graphs", Can. J. Math. 16: 539–548, doi:10.4153/CJM-1964-055-5.
- Golumbic, Martin Charles (1980), Algorithmic Graph Theory and Perfect Graphs, Academic Press, ISBN 0-12-289260-7.
- Golumbic, Martin Charles; Shamir, Ron (1993), "Complexity and algorithms for reasoning about time: a graph-theoretic approach", J. Assoc. Comput. Mach. 40: 1108–1133, doi:10.1145/174147.169675.
- Habib, Michel; McConnell, Ross; Paul, Christophe; Viennot, Laurent (2000), "Lex-BFS and partition refinement, with applications to transitive orientation, interval graph recognition, and consecutive ones testing", Theor. Comput. Sci. 234: 59–84, doi:10.1016/S0304-3975(97)00241-7.
- Roberts, F. S. (1969), "Indifference graphs", in Harary, Frank, Proof Techniques in Graph Theory, New York, NY: Academic Press, pp. 139–146, ISBN 978-0123242600, OCLC 30287853.
- Zhang, Peisen; Schon, Eric A.; Fischer, Stuart G.; Cayanis, Eftihia; Weiss, Janie; Kistler, Susan; Bourne, Philip E. (1994), "An algorithm based on graph theory for the assembly of contigs in physical mapping of DNA", Bioinformatics 10 (3): 309–317, doi:10.1093/bioinformatics/10.3.309.