Modélisation et résolution de problèmes de plus grands sous-graphes communs à l'aide de la programmation par contraintes
Résumé
La distance entre deux graphes est généralement définie par rapport à la taille d'un plus grand sous-graphe commun. Ce sous-graphe commun peut être un sous-graphe induit, obtenu en supprimant des sommets, ou un sous-graphe partiel, obtenu en supprimant des arcs et des sommets. Dans cet article, nous modélisons ces deux problèmes dans un cadre unifié à l'aide de la contrainte souple allDiff. Nous introduisons également différents niveaux de propagation, et nous les comparons expérimentalement sur différents types de graphes.