A Polynomial Algorithm for Submap Isomorphism

In this paper, we address the problem of searching for a pattern in a plane graph, i.e. , a planar drawing of a planar graph. To do that, we propose to model plane graphs with 2-dimensional combinatorial maps, which provide nice data structures for modelling the topology of a subdivision of a plane into nodes, edges and faces. We define submap isomorphism, we give a polynomial algorithm for this problem, and we show how this problem may be used to search for a pattern in a plane graph. First experimental results show the validity of this approach to efficiently search for patterns in images.

[1]  Horst Bunke,et al.  Optimal quadratic-time isomorphism of ordered graphs , 1999, Pattern Recognit..

[2]  W. T. Tutte.  A Census of Planar Maps , 1963, Canadian Journal of Mathematics.

[3]  Pascal Lienhardt,et al.  Topological models for boundary representation: a comparison with n-dimensional generalized maps , 1991, Comput. Aided Des..

[4]  Christophe Fiorio,et al.  Topological model for two-dimensional image representation: definition and optimal extraction algorithm , 2004, Comput. Vis. Image Underst..

[5]  Yves Bertrand,et al.  Cartes Combinatoires Ouvertes , 2007 .

[6]  Christian Bessière.  Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings , 2007, CP.

[7]  Horst Bunke,et al.  Marked Subgraph Isomorphism of Ordered Graphs , 1998, SSPR/SPR.

[8]  Yves Deville,et al.  Filtering for Subgraph Isomorphism , 2007, CP.

[9]  Edwin R. Hancock,et al.  Spectral embedding of graphs , 2003, Pattern Recognit..

[10]  Mario Vento,et al.  Thirty Years Of Graph Matching In Pattern Recognition , 2004, Int. J. Pattern Recognit. Artif. Intell..

[11]  PASCAL LIENHARDT,et al.  N-Dimensional Generalized Combinatorial Maps and Cellular Quasi-Manifolds , 1994, Int. J. Comput. Geom. Appl..

[12]  Mario Vento,et al.  An Improved Algorithm for Matching Large Graphs , 2001 .

[13]  R. Casey,et al.  Advances in Pattern Recognition , 1971 .

[14]  Robert Cori,et al.  Un code pour les graphes planaires et ses applications , 1973 .

[15]  Christine Solnon,et al.  A parametric filtering algorithm for the graph isomorphism problem , 2008, Constraints.