Polynomial algorithms for open plane graph and subgraph isomorphisms

  • Authors:
  • Colin De La Higuera;Jean-Christophe Janodet;ímilie Samuel;Guillaume Damiand;Christine Solnon

  • Affiliations:
  • Université de Nantes, CNRS, UMR 6241, LINA, F-44000, France;Université dívry, EA 4526, IBISC, F-91037, France;Université de Lyon, CNRS, UMR 5516, Laboratoire Hubert Curien, F-42023, France;Université de Lyon, CNRS, UMR 5205, LIRIS, F-69622, France;Université de Lyon, CNRS, UMR 5205, LIRIS, F-69622, France

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2013

Quantified Score

Hi-index 5.23

Visualization

Abstract

Graphs are used as models in a variety of situations. In some cases, e.g. to model images or maps, the graphs will be drawn in the plane, and this feature can be used to obtain new algorithmic results. In this work, we introduce a special class of graphs, called open plane graphs, which can be used to represent images or maps for robots: they are planar graphs embedded in the plane, in which certain faces can be removed, are absent or unreachable. We give a normal form for such graphs and prove that one can check in polynomial time if two normalised graphs are isomorphic, or if two open plane graphs are equivalent (their normal forms are isomorphic). Then we consider a new kind of subgraphs, built from subsets of faces and called patterns. We show that searching for a pattern in an open plane graph is tractable if and only if the faces are contiguous, that is, we prove that the problem is NP-complete otherwise.