Elimination des symétries pour l'appariement de graphes
Abstract
L'appariement de graphes est une technique utilisée dans de nombreux domaines et peut être modélisé comme un problème de satisfaction de contraintes. Cette approche par contraintes est concurrentielle avec des algorithmes dédiés. Dans cet article, nous développons des techniques de détection et d'élimination de symétries spécifiques pour l'appariement de graphes. Nous montrons également comment ces symétries peuvent être éliminées. Nous montrons aussi comment les symétries de valeur conditionnelles peuvent être automatiquement détectées et utilisées. Une nouveau type de symétrie est présenté, appelé symétrie locale, et nous indiquons comment ce nouveau type de symétrie peut être calculé et exploité. Enfin, nous évaluons les techniques classiques d'élimination de symétries de variable et de valeurs sur des instances difficiles.
Loading...