De la programmation linéaire à la programmation par contraintes

Résumé

Un guide à destination des ingénieurs, des chercheurs et des étudiants formés à la programmation linéaire pour découvrir la programmation par contraintes et se familiariser avec elle sans avoir à aborder sa partie théorique. ©Electre 2019

Éditeur(s)
- Ellipses
Date
- DL 2019
Langues
- Français
Description matérielle
- 1 vol. (350 p.) : ill. ; 26 cm
Collections
- Technosup
Sujet(s)
ISBN
- 978-2-340-02946-0
Indice
- 681.2 Programmation (généralités)
Quatrième de couverture
- L'ouvrage : niveau C (Master - Ecoles d'ingénieurs)
  Cet ouvrage propose une découverte pragmatique de la programmation par contraintes (PPC), sans en aborder la partie théorique. Il constitue un guide permettant aux ingénieurs, chercheurs et étudiants formés en programmation linéaire de se familiariser avec la PPC.
  La programmation linéaire, très répandue dans toutes les formations d'ingénieurs, permet de résoudre des problèmes concrets de grande taille. Quant à la PPC, elle offre une alternative pour laquelle il n'est plus nécessaire d'avoir préalablement une formalisation linéaire du problème. En lieu et place des outils classiques de la programmation linéaire, elle utilise des solveurs PPC.
  Les exemples du livre sont essentiellement des problèmes d'optimisation de type ordonnancement/ transport. Ils sont résolus avec Choco (solveur de PPC français) et CPLEX. Les codes informatiques sont proposés en Java pour les exemples traités en Choco ou avec Gusek. Ils sont proposés en C++ pour les exemples traités avec CPLEX. Les développements en C++ sont effectués avec Visual Studio et ceux en Java avec NetBeams.
Tables des matières
- - Informatique
  - De la programmation linéaire à la programmation par contraintes
  - Éric Bourreau, Matthieu Gondran, Philippe Lacomme, Marina Vinot
  - Ellipses
  - Chapitre 1 Modélisation linéaire et outils de résolution
  - 1.1 Installation de Gusek13
  - 1.2 Exemple : aliment pour bétails23
  - 1.3 Exemple : production de bicyclettes32
  - 1.4 Exemple : problème de transport37
  - 1.5 Exemple : problème d'affectation42
  - 1.6 Exemple d'ordonnancement : Job-Shop45
  - 1.7 Configuration de GLPK en C++ et en Java52
  - 1.8 Utilisation de GLPK en C++ et en Java57
  - 1.9 Configuration de Visual Studio avec CPLEX63
  - 1.10 Programmation linéaire avec CPLEX sous Visual Studio65
  - 1.11 Conclusion69
  - 1.12 Références69
  - Chapitre 2 Choco et CPLEX pour la Propagation Par Contraintes
  - 2.1 Installation de Choco71
  - 2.2 Problème des n reines avec Choco72
  - 2.3 Carré magique avec Choco77
  - 2.4 Coloriage de graphes avec Choco84
  - 2.5 Job-Shop avec Choco : modélisation naïve87
  - 2.6 Job-Shop avec transport en Choco102
  - 2.7 Configuration de Visual Studio avec CPLEX CP119
  - 2.8 Coloriage de graphes avec CPLEX CP120
  - 2.9 Job-Shop avec CPLEX CP125
  - 2.10 Conclusion132
  - 2.11 Références132
  - Chapitre 3 Notions de base en PPC et utilisation avancée de Choco
  - 3.1 Principes de la programmation par contraintes133
  - 3.2 Modification des règles de propagation144
  - 3.3 Parcours de l'arbre par le solveur Choco pour le Job-Shop160
  - 3.4 Conclusion191
  - 3.5 Références191
  - Chapitre 4 Modélisations PPC pour le RCPSP et le Job-Shop
  - 4.1 RCPSP avec Choco : modélisation disjontive flot193
  - 4.2 RCPSP avec OPL Studio : modélisation disjonctive219
  - 4.3 RCPSP avec OPL Studio : modélisation cumulative229
  - 4.4 Problème de Job-Shop avec CPLEX CP : modélisation cumulative236
  - 4.5 Rappels de résultats théoriques241
  - 4.6 Conclusion246
  - 4.7 Références247
  - Chapitre 5 Modélisations spécifiques à la PPC
  - 5.1 Positionnement et justification249
  - 5.2 RCPSP avec OPL Studio : contrainte cumulFunction()250
  - 5.3 Job-Shop avec OPL Studio : contrainte cumulFunction()253
  - 5.4 La contrainte diffN() pour la modélisation du Job-Shop avec Choco256
  - 5.5 Job-Shop avec Choco : contrainte diffN() en 1D259
  - 5.6 Job-Shop avec Choco : contrainte diffN() en 2D265
  - 5.7 Job-Shop avec Choco : contrainte or()267
  - 5.8 Modélisation linéaire du TSP270
  - 5.9 Modélisation PPC du TSP291
  - 5.10 Problème du VRP304
  - 5.11 Conclusion327
  - 5.12 Références327
  - Chapitre 6 Annexes - Compléments
  - 6.1 Compléments au Chapitre 3 : détails de l'énumération329
  - 6.2 Compléments au Chapitre 4 : quelques résultats théoriques supplémentaires348
  - Index349
Origine de la notice:
- Electre