Recherche Opérationnelle, Optimisation
Master 1 ISIDIS - 2014/2015
But
S'initier à la démarche de modélisation d'un problème pour le résoudre de manière informatique. Cet enseignement présente de nombreuses méthodes de résolution de problèmes et s'appuie sur des exemples pratiques.
hautEvaluation
L'évaluation comprend :
- 2 Projets notés, 22%,
- 1 écrit intermédiaire, 11%, le 24/10/2014 de 30 minutes.
- 1 écrit terminal, 67%, entre le 17 et le 19 décembre 2014 de 2h (à préciser).
Enoncé du projet 2 zip.
A rendre avant le dimanche 14/12/2014 minuit.
Enoncé du projet 1 zip rendu le vendredi 16/11/2014.
Oral projet 1
Les présentations en personne ont lieu le :- Vendredi 21 novembre 2014 entre 10h30 à 12h00 (cf. ordre de passage).
Vous êtes nombreux, il n'est pas possible de prendre du retard. Le temps est décompté de la manière suivante :
- 1 minute pour le changement et l'installation
- 5 minutes de présentation
- 1 minute de question
Pour votre présentation qui devra se faire sous forme de présentation électronique.
Vous trouverez de nombreux conseils trés utiles sur le web pour réussir cette épreuve. La grille d'évaluation est disponible ici pour vous guider.
Cette UE compte pour 5 crédits ECTS.
Les énoncés des devoirs de l'année passée : ici.
haut
Équipe d'enseignants
Sébastien Verel
Pour contacter un des intervenants : contacts.
Vous pouvez contacter l'équipe pour tout ce qui concerne cet enseignement et votre orientation.
Objectifs
Ils sont mis à jour régulièrement :
- Savoir définir un problème d'optimisation combinatoire
- Connaitre des exemples de problème d'optimisation (maxSAT, TSP, QAP, knapsack, etc.)
- Savoir modéliser un problème en un problème d'optimisation.
- Connaitre le principe d'une recherche locale à solution unique.
- Connaitre la recherche aléatoire
- Savoir comparer statistiquement deux algorithmes de recherche stochastiques.
- Savoir définir une marche aléatoire
- Connaitre les heuristiques "Hill-Climbing"
- Connaitre la notion d'optimum local
- Connaitre le dilemme exploration / exploitation
- Savoir définir les métaheuristiques classiques (recuit simulé, recherche taboue, iterated local search)
- Savoir définir les principes des algorithmes évolutionnaires
- Connaitre les différents types d'algorithmes évolutionnaires
- Savoir coder dans un langage les algorithmes d'optimisation précédents
- Savoir définir un problème d'optimisation numérique
- Connaitre les algorithmes de stratégie d'évolution : (1+1) et (mu/mu,lambda)
- Connaitre l'influence du step-size (sigma) dans ces algorithmes
- Connaitre le principe du réglage du step-size à l'aide de la rêgle du 1/5 success rule.
- Savoir coder dans un langage les algorithmes de stratégies d'évolution précédents
- Savoir modéliser en problème de programmation linéaire un problème simple
- Connaitre les formes normales et standard d'un problème de programmation linéaire
- Savoir coder sous AMPL un problème de programmation linéaire
- Connaitre les notions de polyèdre et de polytope
- Savoir résoudre géométrique un problème de programmation linéaire
- Savoir résoudre à l'aide de l'algorithme du simplexe un problème de programmation linéaire
Supports de Cours et de TP
Voici l'ensemble des supports de cours et des émoncés des TP.
Séance | Titre | cours | TD | TP |
---|---|---|---|---|
01 | Intro. pb. optimisation / modélisation | cours annexe |
td | tp |
02 | Algorithmes de recherche locale (1) | cours | td | tp cor |
03 | Algorithmes de recherche locale (2) | cours | td td | tp |
04 | Algorithmes évolutionnaires | cours | td | tp cor |
05 | Stratégies d'évolution | cours | part1 | part2 cor |
06 | Modélisation en prog. linéaire | cours | td | |
07 | Programmation Linéaire (2) | cours | td | tp |
08 | Simplexe | cours | td | tp cor |
Bibliographie
Quelques repères biblio- /webo- graphiques qui vont se complèter au fur et à mesure :
- Métaheuristiques pour l'optimisation difficile, Johann Dréo, Alain Pétrowski, Patrick Siarry, Eric Taillard, 2003.
- Aide mémoire R, Aymeric Duclert, 2011.
- Comment rédiger un rapport ou une publication scientique., Alexandre Buttler, Université de France-Comté, 2002.
dernière modification : 18 septembre 2014