Abstract
We consider the problem of finding interval representations of graphs that additionally respect given interval lengths and/or pairwise intersection lengths, which are represented as weight functions on the vertices and edges, respectively. Pe’er and Shamir proved that the problem is \(\text{\upshape\textsf{NP}}\)-complete if only the former are given [SIAM J. Discr. Math. 10.4, 1997]. We give both a linear-time and a logspace algorithm for the case when both are given, and both an \(\ensuremath{\mathcal{O}}(n\cdot m)\) time and a logspace algorithm when only the latter are given. We also show that the resulting interval systems are unique up to isomorphism.
Complementing their hardness result, Pe’er and Shamir give a polynomial-time algorithm for the case that the input graph has a unique interval ordering of its maxcliques. For such graphs, their algorithm computes an interval representation that respects a given set of distance inequalities between the interval endpoints (if it exists). We observe that deciding if such a representation exists is \(\text{\upshape\textsf{NL}}\)-complete.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Booth, K.S., Lueker, G.S.: Testing for the consecutive ones property, interval graphs, and graph planarity using PQ-tree algorithms. J. Comput. Syst. Sci. 13(3), 335–379 (1976)
Corneil, D.G., Olariu, S., Stewart, L.: The LBFS Structure and Recognition of Interval Graphs. SIAM J. Discr. Math. 23(4), 1905–1953 (2009)
Golumbic, M.C.: Algorithmic graph theory and perfect graphs, 2nd edn. Annals of Discrete Mathematics 57. Elsevier, Amsterdam (2004)
Hesse, W., Allender, E., Barrington, D.A.M.: Uniform constant-depth threshold circuits for division and iterated multiplication. J. Comput. Syst. Sci. 65(4), 695–716 (2002)
Hsu, W.-L., Ma, T.-H.: Fast and simple algorithms for recognizing chordal comparability graphs and interval graphs. SIAM J. Comput. 28(3), 1004–1020 (1999)
Habib, M., Morvan, M., Rampon, J.-X.: On the calculation of transitive reduction—closure of orders. Discrete Math. 111(1-3), 289–303 (1993)
Köbler, J., Kuhnert, S., Laubner, B., Verbitsky, O.: Interval graphs: Canonical representations in logspace. SIAM J. Comput. 40(5), 1292–1315 (2011)
Klein, P.N.: Efficient parallel algorithms for chordal graphs. SIAM J. Comput. 25(4), 797–827 (1996)
Lindell, S.: A logspace algorithm for tree canonization. extended abstract. In: Proc. 24th STOC, pp. 400–404 (1992)
Pe’er, I., Shamir, R.: Realizing interval graphs with size and distance constraints. SIAM J. Discr. Math. 10(4), 662–687 (1997)
Reingold, O.: Undirected connectivity in log-space. J. ACM 55(4), 17:1–17:24 (2008)
Yamamoto, N.: Weighted interval graphs and their representations. Master’s Thesis. Tokyo Inst. of Technology (2007) (in Japanese)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Köbler, J., Kuhnert, S., Watanabe, O. (2012). Interval Graph Representation with Given Interval and Intersection Lengths. In: Chao, KM., Hsu, Ts., Lee, DT. (eds) Algorithms and Computation. ISAAC 2012. Lecture Notes in Computer Science, vol 7676. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35261-4_54
Download citation
DOI: https://doi.org/10.1007/978-3-642-35261-4_54
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35260-7
Online ISBN: 978-3-642-35261-4
eBook Packages: Computer ScienceComputer Science (R0)