On the complexity of submap isomorphism and maximum common submap problems

Christine Solnon (1) , Guillaume Damiand (1) , Colin de La Higuera (2) , Jean-Christophe Janodet (3)

1 M2DisCo - Geometry Processing and Constrained Optimization
2 LINA - Laboratoire d'Informatique de Nantes Atlantique
3 IBISC - Informatique, Biologie Intégrative et Systèmes Complexes

Generalized maps describe the subdivision of objects in cells and are widely used to model 2D and 3D images. In this context, several pattern recognition tasks involve solving submap isomorphism problems (to decide if a map is included in another map) or, more generally, computing maximum common submaps (to measure the distance between two maps). Recently, we have described a polynomial-time algorithm for solving the submap isomorphism problem when the pattern map is connected. In this paper, we show that submap isomorphism is NP-complete when the pattern map is not connected. Then, we characterize the inherent difficulty of submap isomorphism with respect to the number of connected components. We show that it is Fixed-Parameter Tractable (FPT) and we give an FPT algorithm for submap isomorphism. We experimentally compare this algorithm with a state-of-the-art subgraph isomorphism algorithm for searching for patterns in an image and we show that it is both more accurate and more efficient. Finally, we study the complexity of the maximum common submap problem, and we show that it is NP-hard even though we restrict the problem to the search of common connected submaps.

Mots clés: Complexity; Fixed-Parameter Tractable (FPT); Submap isomorphism; Generalized map; Maximum common submap; Plane graph

Domaines: Algorithme et structure de données [cs.DS]; Complexité [cs.CC]

Christine Solnon, Guillaume Damiand, Colin de La Higuera, Jean-Christophe Janodet. On the complexity of submap isomorphism and maximum common submap problems. Pattern Recognition, 2015, 48 (2), pp.302--316. ⟨10.1016/j.patcog.2014.05.019⟩. ⟨hal-01022418⟩