Programmation Mathématique (PM)

dernière modif : le 18/12/2023 à 16:44:43

Titre :

Section :

Obligatoire

État pour cette année :

OPEN

Mots clés :

Programmation Linéaire en Nombres Entiers, Résolution, Modélisation

Ects :

Responsable :

Sourour Elloumi (ENSTA Paris)

Intervenants :

Sourour Elloumi (ENSTA Paris)

Prérequis :

Cours d'introduction à la Recherche Opérationnelle

Objectif :

Tour d'horizon des concepts fondamentaux en Optimisation Discrète.

Contenu / Plan :

Efficacité de Résolution des PLNE 1

Branch-and-Bound, algorithme dual du simplexe et son utilisation dans le Branch-and-Bound. Autres ingrédients d'un Branch-and-Bound (prétraitement, heuristiques, ...)
Efficacité de Résolution des PLNE 2

Méthodes de coupes. Notion d'inégalité valide, Résolution des PLNE par les coupes de Gomory et leur mise en œuvre utilisant le simplexe dual. Branch-and-cut et quelques illustrations par les solveurs modernes. Mini-TP de modélisation en Julia Gurobi ?
Modèles classiques de PLNE et notion de bonne formulation

Revue de problèmes classiques et de leurs formulations. Existence de plusieurs formulations d'un même problème. Notion de formulation idéale. Critère de comparaison des formulations. Modélisation par un nombre exponentiel de variables ou de contraintes. Problème de séparation.
Introduction à l'optimisation quadratique en variables binaires

Fonctions pseudobooléennes et posiformes quadratiques. Cas polynomiaux. Linéarisations et convexifications usuelles. Comportement des solveurs standard.
Introduction aux méthodes de point intérieur en programmation linéaire

Notion de chemin central et de barrière logarithmique. Schéma des méthodes primales-duales. Implémentation simple en Matlab ou Julia. MPI dans les solveurs standard. Extention au cas quadratique convexe.
Examen écrit.

Bibliographie :

Programmation Mathématique, Théorie et algorithmes. Michel Minoux, Lavoisier.
Optimisation Discrète. Alain Billionnet, Dunod.
Optimization over integers. Bertsimas et Weismantel, Dynamic Ideas.
Integer Programming. Laurence A. Wolsey. Wiley-Interscience.
Integer Programming. Conforti, M., Cornuéjols, G., & Zambelli, G., Springer 2014

Liens :

(aucun)

Compétences visées :

Ce cours vise à compléter les connaissances de base introduites en M1 et à se familiariser avec les modèles et concepts classiques de l'optimisation discrète. Il vise aussi à faire connaître les constituants de base d'un solveur moderne de programmes linéaires ou quadratiques en nombres entiers.

Modalités de contrôle :

Examen écrit et mini-TP ? En DM, lecture d'un article sur les modélisation d'un problème classique.