Contrainte globale pour le problème de recouvrement d'ensemble
Abstract
Ce papier propose une approche par Programmation par Contrainte pour résoudre le problème de recouvrement d'ensemble. Ce problème d'optimisation combinatoire est fort utile pour formuler un grand nombre d'applications concrètes (assignation d'équipages, planification de tâches et de véhicules, construction de circuits imprimés) ainsi que des problèmes de graphes (Recouvrement par noeuds, ensemble de noeuds dominants et indépendants). Le problème de recouvrement d'ensemble est NP-difficile. Ce papier propose une contrainte globale SC pour le problème de recouvrement d'ensemble et un propagateur qui utilise une borne inférieure calculée par des relaxations empruntées à la Programmation Entière. Nous présentons aussi un algorithme incrémental pour calculer cette borne qui utilise une structure de données qui peut être mise à jour très vite pour des petits changements, la rendant très bien adaptée aux arbres de recherche. Notre approche est comparée avec deux autres propagateurs basés sur la relaxation linéaire et sur une approche gloutonne.
Domains
Programming Languages [cs.PL]
Origin : Files produced by the author(s)
Loading...