Portail nationalFormationRechercher par discipline

Programmation mathématique

Code UE : US331C

  • Cours
  • 3 crédits

Responsable(s)

Safia KEDAD SIDHOUM

Public, conditions d’accès et prérequis

Cours d'introduction à la Recherche Opérationnelle

Présence et réussite aux examens

Pour l'année universitaire 2022-2023 :

  • Nombre d'inscrits : 21
  • Taux de présence à l'évaluation : 100%
  • Taux de réussite parmi les présents : 100%

Objectifs pédagogiques

Tour d'horizon des concepts fondamentaux en optimisation discrète

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.

Contenu

  • 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.

Modalité d'évaluation

  • Examen final

Cette UE apparaît dans les diplômes et certificats suivants

Chargement du résultat...
Patientez
Intitulé de la formation
Type
Modalité(s)
Lieu(x)
Intitulé de la formation Master Sciences, technologies, santé mention Informatique Parcours Recherche opérationnelle
Type Diplôme national (DEUST, licence, master, doctorat, diplôme d'Etat)
Lieu(x) Package
Lieu(x) Paris
Entrée Niveau 6 (Bac+3 et 4)
Intitulé de la formation Type Modalité(s) Lieu(x)

Contact

Recherche opérationnelle
2D4P20, 33-1-10, 2 rue Conté
75003 Paris
Tel :01 40 27 22 67
secretariat.ro@cnam.fr
Voir le site

Voir le calendrier, le tarif, les conditions d'accessibilité et les modalités d'inscription dans le(s) centre(s) d'enseignement qui propose(nt) cette formation.

Enseignement non encore programmé