Guide Master Informatique
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)
- 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.
Modalités d'évaluation
Les modalités de contrôle des connaissances (MCC) sont arrêtées chaque année par l'université et font foi dans le document officiel du parcours. Elles ne sont pas reproduites ici : reportez-vous au document MCC officiel, dont le lien figure sur la page de présentation du parcours concerné.