Filtrage par les coûts réduits de contraintes globales dans le cadre de la programmation par contraintes

Reduced costs filtering for global constraints in constraints programmimg

• Auteur / Autrice : Guillaume Claus
• Direction : Bernard Penz
• Type : Projet de thèse
• Discipline(s) : GI : Génie Industriel : conception et production
• Date : Inscription en doctorat le 01/01/2020
• Etablissement(s) : Université Grenoble Alpes
• Ecole(s) doctorale(s) : École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble ; 2008-....)
• Partenaire(s) de recherche : Laboratoire : Sciences pour la conception, l'optimisation et la production (Grenoble)
• Partenaire(s) de recherche : Equipe de recherche : Recherche Opérationnelle pour les Systèmes de Production (ROSP)

Mots clés

Mots clés libres

Filtrage par coûts réduits

Programmation par contraintes

Arc cohérence

Programmation linéaire

Constraint Programming

Reduced-cost filtering

Arc consistency

Linear Programming

Résumé

Dans le cadre de la programmation par contrainte, nous nous intéressons à la classe des contraintes globales pour lesquelles on dispose d'une formulation idéale en programmation linéaire en nombres entiers. Nous voulons travailler sur un algorithme générique de filtrage des valeurs non cohérentes (c'est à dire n'appartenant à aucune solution de la contrainte) à partir des coûts réduits associés à une solution duale du programme linéaire. Cet algorithme devra réaliser un filtrage complet et permettra d'être interrompu à tout moment afin d'obtenir un filtrage incomplet mais rapide.

As part of constraint programming, we deal with the class of global constraints for which an ideal integer linear programming formulation is known. We are looking for a generic algorithm for filtering the inconsistent values (i.e. values that don't belong to any solution for this constraint) based on the reduced costs associated with a dual solution of the linear program. Our program should be able reach the complete filtering and could be stopped any time for producing a partial but quick filtering.