Best Heuristic Identification for Constraint Satisfaction - Archive ouverte HAL
Communication Dans Un Congrès Année : 2022

Best Heuristic Identification for Constraint Satisfaction

Résumé

In constraint satisfaction problems, the variable ordering heuristic takes a central place by selecting the variables to branch on during backtrack search. As many hand-crafted branching heuristics have been proposed in the literature, a key issue is to identify, from a pool of candidate heuristics, which one is the best for solving a given constraint satisfaction task. Based on the observation that modern constraint solvers are using restart sequences, the best heuristic identification problem can be cast in the context of multi-armed bandits as a non-stochastic best arm identification problem. Namely, during each run of some given restart sequence, the bandit algorithm selects a heuristic and receives a reward for this heuristic before proceeding to the next run. The goal is to identify the best heuristic using few runs, and without any stochastic assumption about the constraint solver. In this study, we propose an adaptive variant of Successive Halving that exploits Luby's universal restart sequence. We analyze the convergence of this bandit algorithm in the non-stochastic setting, and we demonstrate its empirical effectiveness on various constraint satisfaction benchmarks.
Fichier principal
Vignette du fichier
article_long.pdf (521.43 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03678354 , version 1 (25-05-2022)
hal-03678354 , version 2 (02-06-2022)

Identifiants

  • HAL Id : hal-03678354 , version 1

Citer

Frederic Koriche, Christophe Lecoutre, Anastasia Paparrizou, Hugues Wattez. Best Heuristic Identification for Constraint Satisfaction. 31st International Joint Conference on Artificial Intelligence (IJCAI'22), Jul 2022, Vienne, Austria. ⟨hal-03678354v1⟩
219 Consultations
231 Téléchargements

Partager

More