Une comparaison de logiciels d'optimisation sur une large collection de modèles graphiques - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

Une comparaison de logiciels d'optimisation sur une large collection de modèles graphiques

Résumé

Le cadre des modèles graphiques à variables discrètes permet de modéliser des problèmes d'optimisation NP- difficiles pour lesquels la fonction objectif se factorise en un ensemble de fonctions locales. L'interprétation graphique de ces modèles est que chaque fonction est représentée par une clique sur les variables de sa portée. Les modèles graphiques dits déterministes ont pour objectif de minimiser la somme des fonctions locales, pouvant aussi être des contraintes si seuls les coûts zero ou infini sont utilisés. Les modèles graphiques dits probabilistes ont pour objectif de maximiser le produit des fonctions (des contraintes si usage uniquement des probabilités zero ou un). Une transformation directe existe entre les deux classes de modèles graphiques, qui peuvent également être modélisés en programmation linéaire en nombres entiers ou en problème de satisfiabilité maximum en logique propositionnelle. Dans cet article, nous évaluons plusieurs logiciels implémentant l' état de l'art en méthodes complètes d'optimisation sur une large collection de modèles graphiques déterministes et probabilistes issus de diverses compétitions Max-CSP 2008, Probabilistic Inference Challenge 2011, Weighted Partial Max-SAT Evaluation 2013, MiniZinc Challenge 2012 & 2013, ainsi que des collections provenant des problème de satisfaction de contraintes pondérées et en traitement d'images. Au total, 3018 instances sont mises a disposition dans cinq formats et sept formulations avec les scripts de conversion. Les résultats montrent que différents logiciels généralistes obtiennent de bons résultats sur plusieurs catégories de modèles graphiques, suggérant des opportunités pour une approche portfolio d'algorithmes.
Fichier principal
Vignette du fichier
Une comparaison de logiciels d'optimisation sur une large collection de modèles graphiques_SDG_{8617E6C5-4BD6-45A7-8AEC-DC723DC5D303}.pdf (461.35 Ko) Télécharger le fichier
Origine Accord explicite pour ce dépôt
Loading...

Dates et versions

hal-01198360 , version 1 (11-09-2015)

Identifiants

  • HAL Id : hal-01198360 , version 1
  • PRODINRA : 324380

Citer

David Allouche, Simon de Givry, Barry Hurley, George Katsirelos, Barry O'Sullivan, et al.. Une comparaison de logiciels d'optimisation sur une large collection de modèles graphiques. JFPC 2014 - Dixièmes Journées Francophones de Programmation par Contraintes, Jun 2014, Angers, France. 10 p. ⟨hal-01198360⟩
76 Consultations
45 Téléchargements

Partager

More