Perturbation des heuristiques de branchement dans la résolution de contraintes

Hugues Wattez (1) , Frederic Koriche (1) , Anastasia Paparrizou (1)

1 CRIL - Centre de Recherche en Informatique de Lens

L'heuristique de choix de variables est l'un des mécanismes clés d'un solveur de contraintes. Au cours des deux dernières décennies, des heuristiques efficaces ont été proposées, adaptant l'ordre des variables au fur et à mesure que la recherche progresse. Dans le même temps, des méthodes de redémarrage et de randomisation ont été conçues pour rendre les solveurs plus robustes. Alors que les méthodes de redémarrage sont maintenant bien comprises, choisir comment et quand randomiser une heuristique donnée reste un problème ouvert. Dans cet article, nous présentons plusieurs stratégies de perturbation conceptuellement simples pour incorporer des choix aléatoires dans la résolution de contraintes avec redémarrages. La quantité de perturbation est contrôlée et apprise par des bandits sous diverses politiques d'exploration (stationnaire ou non stationnaire). L'évaluation expérimentale montre une amélioration significative des performances pour les heuristiques perturbées par rapport à leurs homologues d'origine.

Domaines: Intelligence artificielle [cs.AI]

Hugues Wattez, Frederic Koriche, Anastasia Paparrizou. Perturbation des heuristiques de branchement dans la résolution de contraintes. 16es Journées Francophones de Programmation par Contraintes (JFPC’21), Jun 2021, Nice, France. ⟨hal-03449550⟩