Tirage de solutions par ajout de contraintes tables aléatoires - IMT Atlantique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Tirage de solutions par ajout de contraintes tables aléatoires

Résumé

Les solveurs de contraintes actuels mettent à disposition des utilisateurs des algorithmes efficaces pour traiter les problèmes de satisfaction et d'optimisation combinatoires. Ceux-ci sont inadaptées à de nouveaux usages, comme celui du tirage aléatoire de solutions. Nous proposons ici un algorithme pour tirer des solutions aléatoirement, se basant sur l'ajout de contraintes tables générées aléatoirement, sans modifier le modèle du problème. Nous avons implémenté cette méthode de résolution en utilisant un solveur de contraintes existant. Nos expériences montrent que cet algorithme est une amélioration par rapport à une stratégie de branchement aléatoire en terme de qualité de l'aléatoire du tirage.
Fichier principal
Vignette du fichier
article.pdf (871.52 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03776147 , version 1 (13-09-2022)

Identifiants

  • HAL Id : hal-03776147 , version 1

Citer

Mathieu Vavrille, Charlotte Truchet, Charles Prud'Homme. Tirage de solutions par ajout de contraintes tables aléatoires. Journées Francophones de Programmation par Contraintes, Jun 2021, Nice, France. ⟨hal-03776147⟩
23 Consultations
10 Téléchargements

Partager

Gmail Facebook X LinkedIn More