Abstract
A normal Helly circular-arc graph is the intersection graph of arcs on a circle of which no three or less arcs cover the whole circle. Lin et al. [Discrete Appl. Math. 2013] presented the first recognition algorithm for this graph class by characterizing circular-arc graphs that are not in it. They posed as an open problem to design a direct recognition algorithm, which is resolved by the current paper. When the input is not a normal Helly circular-arc graph, our algorithm finds in linear time a minimal forbidden induced subgraph. Grippo and Safe [arXiv:1402.2641] recently reported the forbidden induced subgraphs characterization of normal Helly circular-arc graphs. The correctness proof of our algorithm provides, as a byproduct, an alternative proof to this characterization.
Supported by ERC under the grant 280152 and OTKA under the grant NK105645.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Cao, Y.: Linear recognition of almost (unit) interval graphs (2014) (manuscript)
Grippo, L., Safe, M.: On circular-arc graphs having a model with no three arcs covering the circle. arXiv:1402.2641 (2014)
Heggernes, P., Kratsch, D.: Linear-time certifying recognition algorithms and forbidden induced subgraphs. Nord. J. Comput. 14, 87–108 (2007)
Kratsch, D., McConnell, R., Mehlhorn, K., Spinrad, J.: Certifying algorithms for recognizing interval graphs and permutation graphs. SIAM J. Comput. 36, 326–353 (2006)
Lekkerkerker, C., Boland, J.: Representation of a finite graph by a set of intervals on the real line. Fund. Math. 51, 45–64 (1962)
Lin, M., Soulignac, F., Szwarcfiter, J.: Normal Helly circular-arc graphs and its subclasses. Discrete Appl. Math. 161, 1037–1059 (2013)
Lindzey, N., McConnell, R.M.: On finding Tucker submatrices and Lekkerkerker-Boland subgraphs. In: Brandstädt, A., Jansen, K., Reischuk, R. (eds.) WG 2013. LNCS, vol. 8165, pp. 345–357. Springer, Heidelberg (2013)
McConnell, R.: Linear-time recognition of circular-arc graphs. Algorithmica 37, 93–147 (2003)
McConnell, R., Mehlhorn, K., Näher, S., Schweitzer, P.: Certifying algorithms. Computer Science Review 5, 119–161 (2011)
McKee, T.: Restricted circular-arc graphs and clique cycles. Discrete Math. 263, 221–231 (2003)
Tarjan, R., Yannakakis, M.: Simple linear-time algorithms to test chordality of graphs, test acyclicity of hypergraphs, and selectively reduce acyclic hypergraphs. SIAM J. Comput. 13, 566–579. Addendum in the same journal 14, 254–255 (1985)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Cao, Y. (2014). Direct and Certifying Recognition of Normal Helly Circular-Arc Graphs in Linear Time. In: Chen, J., Hopcroft, J.E., Wang, J. (eds) Frontiers in Algorithmics. FAW 2014. Lecture Notes in Computer Science, vol 8497. Springer, Cham. https://doi.org/10.1007/978-3-319-08016-1_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-08016-1_2
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08015-4
Online ISBN: 978-3-319-08016-1
eBook Packages: Computer ScienceComputer Science (R0)