Algorithmique I

Chargés de TD: Isseïnie Sinouvassane et Malo Revel.

Plan du cours

Chapitre I: Couplages stables. [Références]
- Stable Marriage - Application of Proof Techniques for Algorithmic Analysis, Papadimitriou and Vazirani, Lecture 6, CS 70, Fall 2006.
Chapitre II: Complexité. [Références]
- A linear-time algorithm for testing the truth of certain quantified boolean formulas, B. Aspvall, M. F. Plass and R. E. Tarjan, Volume 8, number 3, Information Processing Letters, 1979.
Chapitre III: Flots, max-flow, min-cut. [Références]
- Introduction à l’algorithmique (troisième édition), Cormen, Leiserson, Rivert and Stein, Dunod, 2010.
Chapitre IV: Jeux joués sur un graphe.
Chapitre V: Programmation linéaire réelle. [Références]
- Introduction to Algorithms (third edition), Cormen, Leiserson, Rivert and Stein, MIT Press, 2009.
- Recherche opérationnelle - Tome 1: Méthodes d'optimisation, J. Teghem, Ellipses, 2012.