Proper Helly circular-arc graphs

  • Authors:

  • Min Chih Lin;Francisco J. Soulignac;Jayme L. Szwarcfiter

  • Affiliations:

  • Universidad de Buenos Aires, Facultad de Ciencias Exactas y Naturales, Departamento de Computación, Buenos Aires, Argentina;Universidad de Buenos Aires, Facultad de Ciencias Exactas y Naturales, Departamento de Computación, Buenos Aires, Argentina;Universidade Federal do Rio de Janeiro, Inst. de Matemàtica, NCE and COPPE, Rio de Janeiro, RJ, Brasil

  • Venue:
  • WG'07 Proceedings of the 33rd international conference on Graph-theoretic concepts in computer science
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

A circular-arc model M=(C,A) is a circle C together with a collection A of arcs of C. If no arc is contained in any other then M is a proper circular-arc model, if every arc has the same length then M is a unit circular-arc model and if A satisfies the Helly Property then M is a Helly circular-arc model. A (proper) (unit) (Helly) circular-arc graph is the intersection graph of the arcs of a (proper) (Helly) circular-arc model. Circular-arc graphs and their subclasses have been the object of a great deal of attention in the literature. Linear time recognition algorithms have been described both for the general class and for some of its subclasses. In this article we study the circular-arc graphs which admit a model which is simultaneously proper and Helly. We describe characterizations for this class, including one by forbidden induced subgraphs. These characterizations lead to linear time certifying algorithms for recognizing such graphs. Furthermore, we extend the results to graphs which admit a model which is simultaneously unit and Helly, also leading to characterizations and a linear time certifying algorithm.