Stratégies de résolution anytime de problèmes de satisfaction de contraintes numériques - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Anytime search strategies for constraints satisfaction problem

Stratégies de résolution anytime de problèmes de satisfaction de contraintes numériques

Résumé

A Branch-and-Prune algorithm computes a paving of the solution set of a numerical constraint satisfaction problem to a given precision. An anytime algorithm prematurely stops the computation to a given criterion (for example a maximum running time). This article revises anytime Branch-and-Prune algorithms and introduces two new search strategies and three quality indicators to compare them. The evaluation of their complexity and an experimental analysis enabled to prove the efficiency of those new strategies.
Un algorithme Branch-and-Prune calcule un pavage de l'ensemble des solutions d'un problème de satisfaction de contraintes numériques à une précision donnée. Un algorithme anytime stoppe le calcul prématurément, par exemple en limitant le temps de calcul. Cet article revisite les algorithmes Branch-and-Prune Anytime et introduit deux nouvelles stratégies de recherche ainsi que trois indicateurs de qualité pour les comparer. Une étude de complexité et une analyse expérimentale montrent que ces nouvelles stratégies sont pertinentes.
Fichier principal
Vignette du fichier
Anytime_BPA_JFPC.pdf (1.24 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03563938 , version 1 (10-02-2022)

Identifiants

  • HAL Id : hal-03563938 , version 1

Citer

Thomas Richard de Latour, Raphaël Chenouard, Laurent Granvilliers. Stratégies de résolution anytime de problèmes de satisfaction de contraintes numériques. Journée Francophone de la Programmation par Contrainte, Jun 2021, Nice, France. ⟨hal-03563938⟩
36 Consultations
24 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More