Résolution des problèmes IP Solution par séparation-évaluation Algorithme général Formulation de problèmes intéressants Conclusion
Programmation linéaire en nombres entiers
Résolution : coupes et séparation - évaluation
Hugues Talbot
Laboratoire A2SI
26 mars 2009
Résolution des problèmes IP Solution par séparation-évaluation Algorithme général Formulation de problèmes intéressants Conclusion
Plan
Résolution des problèmes IP
Coupes de Gomory
Solution par séparation-évaluation
La méthode générale
Résolution
Algorithme général
Remarques et discussion
B&B et A
Formulation de problèmes intéressants
knapsack
Planification
TSP
Problèmes binaires
Conclusion
Résolution des problèmes IP Solution par séparation-évaluation Algorithme général Formulation de problèmes intéressants Conclusion
Principe des coupes
Résolution des problèmes IP Solution par séparation-évaluation Algorithme général Formulation de problèmes intéressants Conclusion
Formulation initiale
Soit une “relaxation” linéaire d’un problème IP, c’est-à-dire
le problème de PL correspondant, dont la solution (par le
simplexe par exemple) optimale est X.
soit Xest entière, auquel cas c’est la solution optimale du
problème IP.
soit elle ne l’est pas, Xest fractionnaire.
Considérons la base correspondant à la solution optimale
de PL Xb=B1[bEXe]; ¯
b=B1b.
avec ¯
bi=B1bfractionnaire.
Nous avons Xbi=et
iB1[bEXe]
et
i= [000... 1...00]
posi
Résolution des problèmes IP Solution par séparation-évaluation Algorithme général Formulation de problèmes intéressants Conclusion
Formulation (suite)
Ainsi : Xbi=et
iB1bet
iB1EXe
=¯
biαiXe
c-à-d :
αi=et
iB1E(ligne ide B1E)
En réordonnant :
Xbi+αiXe=¯
bi
Xbi+Pjαi
jXej=¯
bi(1)
1 / 47 100%