A Simple Linear Time Algorithm for the Isomorphism Problem on Proper Circular-Arc Graphs

  • Authors:

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

  • Affiliations:

  • Facultad de Ciencias Exactas y Naturales, Departamento de Computación, Universidad de Buenos Aires, Buenos Aires, Argentina;Facultad de Ciencias Exactas y Naturales, Departamento de Computación, Universidad de Buenos Aires, Buenos Aires, Argentina;Instituto de Matemática, NCE and COPPE, Universidade Federal do Rio de Janeiro, Rio de Janeiro, Brasil 20001-970

  • Venue:
  • SWAT '08 Proceedings of the 11th Scandinavian workshop on Algorithm Theory
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

A circular-arc model $ {\mathcal {M}} =(C,\mathcal{A})$ is a circle Ctogether with a collection $\mathcal{A}$ of arcs of C. If no arc is contained in any other then $\mathcal{M}$ is a proper circular-arc model, and if some point of Cis not covered by any arc then ${\mathcal{M}}$ is an interval model. A (proper) (interval) circular-arc graph is the intersection graph of a (proper) (interval) 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. For the isomorphism problem, there exists a polynomial time algorithm for the general case, and a linear time algorithm for interval graphs. In this work we develop a linear time algorithm for the isomorphism problem in proper circular-arc graphs, based on uniquely encoding a proper circular-arc model. Our method relies on results about uniqueness of certain PCA models, developed by Deng, Hell and Huang in [6]. The algorithm is easy to code and uses only basic tools available in almost every programming language.