Retour à l'index du GREYC

Séminaire Algorithmique

Site du CNRS

Séminaire Algorithmique

Le séminaire a lieu le mardi à 11 h 45 (sauf modification exceptionnelle), au campus Côte de Nacre, bâtiment Sciences 3, salle S3 351, 3ème étage.

Résumé du séminaire du Mardi 6 Février 2007

Problèmes Sur-Contraints et Relâchement de Contraintes

par Thierry Petit (LINA, Nantes)

Cet exposé aborde le thème de l'instafiabilité en programmation par contraintes (PPC). Un problème est sur-contraint s'il n'existe aucune affectation de valeurs à l'ensemble des variables satisfaisant la conjonction de toutes les contraintes. Tout d'abord, je rappelerai des notions générales de la PPC afin de souligner l'importance du traitement des problèmes sur-contraints. Ensuite, je présenterai successivement les aspects relatifs à :

Je poursuivrai en évoquant les problématiques liées au calcul générique de ces coûts. Ce dernier point permettra d'illuster une application de la représentation de contraintes par des propriétés de graphes, qui offre des perspectives pouvant dépasser le cadre des sur-contraints.

GREYC
Campus Côte de Nacre, boulevard du Maréchal Juin
BP 5186
14032 Caen Cedex
FAX : +33 (0)2 31 56 73 30
http://www.greyc.fr