Méthodes et Modélisation pour l'Optimisation
M1 informatique 2018–2019
Enseignants
- Johan Thapper (responsable, cours, TD Apprentis)
- Alfredo Hubard (TD Initiaux)
Cours
- Introduction [slides]
- Modélisation LP [slides]
- Exemples [beer.lp][cornichons.lp][transport.lp][maxflow.lp][icecream.lp]
- L’algorithme du simplexe
- L’algorithme du simplexe, dualité [slides]
- Modélisation SAT [slides]
- L’algorithme DPLL [slides]
TD
- Modélisation LP, graphes, SAT [feuille]
- Modélisation LP [feuille]
- LP sur machine [feuille]
- L’algorithme du simplexe [feuille]
- Sudoku, SAT sur machine [feuille]
- Modélisation SAT et DPLL [feuille]
Examples
- Deux exemples de l’algorithme du simplexe [pdf]
Examen (10/01/2019)
L’examen aura lieu le jeudi 10 janvier de 14h à 16h dans l’amphi A4, Rabelais. Une feuille recto-verso manuscrite autorisée. Calculatrices, ordinateurs et téléphones portables interdits.
Consultation de copies jeudi 31/01 16h00-17h30 et lundi 04/02 14h00-15h30 à Copernic bureau 4B103.
Rattrapage (28/06/2019)
Le rattrapage aura lieu le vendredi 28 juin de 10h45 à 12h45 dans la salle 2V080, Copernic. Une feuille recto-verso manuscrite autorisée. Calculatrices, ordinateurs et téléphones portables interdits.
Bibliographie
- Understanding and Using Linear Programming, Jiří Matoušek et Bernd Gärtner, Springer, 2010