M2 - Semestre 3 · Base

Programmation par contraintes et programmation linéaire

Code UE: SMINFO3B
ECTS: 4 ECTS
Volume horaire: 20 CM - 10 TD - 10 TP
Responsable(s): Abdelkader Ouali
Parcours: Algorithmiques et Systèmes Intelligents, IA Sciences des Données et Santé, IA et Facteurs Humains
Type de carte: UE de la carte informatique
Prérequis: Non renseigné

Description du cours

L’enseignement se divise en deux parties, chacune abordant un aspect de la résolution de problèmes d’optimisation sous contraintes.

Le premier axe portera sur la résolution de problèmes d’optimisation modélisés sous forme de programmes linéaires. L’objectif principal sera d’apprendre à formuler ces modèles et à les résoudre à l’aide de la méthode du simplexe ainsi que de la méthode de séparation et évaluation.
Le deuxième axe abordera la résolution des problèmes de satisfaction de contraintes en combinant des méthodes avancées d’exploration de l’arbre de recherche, des mécanismes efficaces de propagation de contraintes, et des algorithmes de filtrage performants pour optimiser l’élagage de l’espace de recherche.

Évaluation Continue Intégrale :

Contrôle continu (CC1) : Un contrôle portant uniquement sur la partie programmation linéaire (seul le support de cours papier est autorisé).
Contrôle continu (CC2) : Un contrôle portant à la fois sur la programmation linéaire et la partie entamée de programmation par contraintes (seul le support de cours papier est autorisé).
Contrôle continu (CC3) : Un contrôle portant uniquement sur la partie programmation par contraintes (seul le support de cours papier est autorisé).
Note finale : la note finale est calculée de la façon suivante : 13 × CC1 + 13 × CC2 + 31 × CC3. (Modifier)