Comparaison de BTD avec des stratégies d’exploration "intelligentes" pour une sélection automatique d’algorithmes. - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

Comparaison de BTD avec des stratégies d’exploration "intelligentes" pour une sélection automatique d’algorithmes.

Résumé

Nous considérons un solveur générique de problèmes de satisfaction de contraintes (CSP) binaires, paramétré par des choix de haut niveau, à savoir le type de recherche, le niveau de propagation de contraintes et l'heuristique de choix de variables. Nous comparons expérimentalement 18 configurations de ce solveur générique sur plus d'un millier d'instances. Un premier but est de comprendre la complémentarité des différents types de recherche, avec une attention particulière sur Backtracking with Tree-Decomposition (BTD). Le second objectif est d'introduire un sélecteur d'algorithme par instance pour choisir automatiquement la meilleure approche pour chaque nouvelle instance à résoudre. Nous montrons expérimentalement que ce sélecteur obtient de meilleures performances par rapport à nos 18 configurations initiales.
Fichier non déposé

Dates et versions

hal-01313169 , version 1 (09-05-2016)

Identifiants

  • HAL Id : hal-01313169 , version 1

Citer

Loïc Blet, Samba Ndojh Ndiaye, Christine Solnon. Comparaison de BTD avec des stratégies d’exploration "intelligentes" pour une sélection automatique d’algorithmes.. Journées Francophones de Programmation par Contraintes (JFPC'2014), Jun 2014, Angers, France. pp.173-182. ⟨hal-01313169⟩
82 Consultations
0 Téléchargements

Partager

More