Cours 9: MIP, Modélisation avancée

Toutes les vidéos font 5min maximum. Certaines sont plus courtes.

Video 1: Job Assignment: Exclusion et dépendence entre 2 jobs sur une machine
Video 2: Exclusion, globale
Video 3: Dépendance, globale
Video 4: Modélisation du OU logique
Video 5: Parenthèse sur la "Big-M technique"
Video 6: Modélisation du ET logique
Video 7: Modélisation du NON booléen, de l'implication et de l'équivalence

Video 8: Mots Croisés (modèle MIP pour la génération): présentation
Video 9: Mots Croisés, Représentation C++ du pré-traitement
Video 10: Mots Croisés -- Variables
Video 11: Mots Croisés -- Variables (Fin) et Contraintes "simples"
Video 12: Mots Croisés -- Contraintes Mots ↔ Lettres

Video 13: Fibre (Optimisation du réseau physique): Présentation des données
Video 14: Fibre: Présentation (fin) et Pré-traitement
Video 15: Fibre: Pré-traitement (fin) et Variables du MIP
Video 16: Fibre: Contraintes du MIP

Video 17: Modélisation MIP Avancée: Conclusions

Video 18: Décomposition: Exemple issu de "Fibre"
Video 19: Décomposition: Job Assignment, décomposition naïve
Video 20: Décomposition: Job Assignment, décomposition séquentielle par job
Video 21: Décomposition: Job Assignment, décomposition séquentielle par machine + Conclusions.

TD 9



Pour référence, voici des vidéos "live" du cours au tableau, divisé en 4 parties. Mais je vous conseille de plutôt regarder les vidéos ci-dessus.
Live 1: Variation sur Job Assignment: exclusivité, dépendance. Modélisation de X=OR(a0, .., ak), de X=AND(a0,..,ak)
Live 2: Exemple: Mots croisés avec grille prédéfinie
Live 3: Exemple: Mots croisés sans grille prédéfinie
Live 4: Exemples de décompositions possibles de "Job Assignment"