Combining two structured domains for modeling various graph matching problems

Deville, Yves;Dooms, Grégoire;Zampelli, Stéphane
(2008) Recent Advances in Constraints. 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 — Location: Rocquencourt, France (7.June.2007)

Files

rac_2008.pdf
  • Open Access
  • Adobe PDF
  • 143.97 KB
Download

Details

Authors
  • Deville, Yvesorcid-logoUCLouvain
    Author
  • Dooms, GrégoireUCLouvain
    Author
  • Zampelli, StéphaneUCLouvain
    Author
Abstract
Graph pattern matching is a central application in many fields. In various areas, the structure of the pattern can only be approximated and exact matching is then too accurate. We focus here on approximations declared by the user within the pattern (optional nodes and forbidden arcs), covering graph/subgraph mono/isomorphism problems. In this paper, we show how the integration of two domains of computation over countable structures, graphs and maps, can be used for modeling and solving various graph matching problems from the simple graph isomorphism to approximate graph matching. To achieve this, we extend map variables allowing the domain and range to be non-fixed and constrained. We describe how such extended maps are designed then realized on top of finite domain and finite set variables with specific propagators. We show how a single monomorphism constraint is sufficient to model and solve those multiples graph matching problems. Furthermore, our experimental results show that our CP approach is competitive with a state of the art algorithm for subgraph isomorphism.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Deville, Y., Dooms, G., & Zampelli, S. (2008). Combining two structured domains for modeling various graph matching problems. Recent Advances in Constraints. 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, 76-90. https://doi.org/10.1007/978-3-540-89812-2_6