Dual

Ce TD propose divers exercices corrigés sur le programme. Les exercices

sont suivis des corrections.

Tutoriel
Prenons le programme linéaire suivant :

Résoudre le programme linéaire.

Correction

Il y a quatre variables de base pour deux contraintes, il est possible que le

problème ne soit pas borné et ne possède pas de solution. Puisqu’il y a
deux contraintes, le dual aura deux variables, il est facile de trouver une
solution graphique à ce nouveau programme linéaire.

Le dual est le suivant :

Et voici sa représentation graphique, avec un minimum en (1,1) et pour

fonction objectif 15.
Regardons les écarts complémentaires pour trouver une solution du primal.

 Les deux variables sont non-nulles, donc les deux contraintes du

primal sont saturés (la contraintes devient égalité).
 Dans le dual, les contraintes 1 et 3 sont non saturés pour la solution
(1,1), cela signifie que la première variable et la troisième variable du
primal sont nulles.

Nous avons donc les deux équations suivantes à résoudre :

 x2 + 2x4 = 8
 2x2 + x4 = 7

Ce qui donne pour solution (0, 2, 0, 3) et pour fonction objectif 15. Les
solutions du primal et dual sont égales, il y a dualité forte, il s’agit donc
d’une solution optimale.

S’entraîner
Exercice 1

Résoudre le programme linéaire suivant à l’aide du dual (résolution

graphique + simplexe et écarts complémentaires) :
Correction

Le programme linéaire est sous forme canonique, on peut donc calculer le

dual sans changer la forme du programme. Le dual est le suivant :

avec pour résolution graphique :

L’optimum global est unique est se situe au point (6/5, 7/5) avec pour
fonction objectif Z= 79/5.

Pour le simplexe, la forme standard rajoute une variable d’écart pour

chaque contrainte du programme linéaire. Le tableau final est :
Le vecteur de solution du dual est (6/5, 7/5, 0, 0, 19/5, 19/5) avec Z=79/5.
Les écarts complémentaires donnent les informations suivantes :

 La troisième et quatrième contrainte du dual sont non saturés, la

troisième et quatrième variables du primal sont nulles.
 Les deux variables de base sont non nulles, les deux contraintes du
primal sont donc saturées.

Il faut donc résoudre le système d’équations :

 x1 + 3 x2 = 5
 2 x1 + x2 = 7

Le vecteur (16/5, 3/5, 0, 0) est solution du système, avec Z= 79/5. Il y a

dualité forte donc il s’agit de l’optimal global du programme linéaire.

Exercice 2

Prenons le programme linéaire suivant :

Calculer la solution optimale par résolution graphique. La fonction objectif a

pour nouveau coefficient (3, 5), vérifier que la solution trouvée
précédemment est toujours optimal à l’aide du dual et des écarts
complémentaires.

Correction
Le domaine de définition est le suivant :

Le solution graphique est le vecteur (5, 3) avec Z=13.

Avec des coefficients de la fonction objectif à (3, 5), nous aurons Z=30.
Vérifions avec les écarts complémentaires si nous avons une dualité forte.
Le programme dual est le suivant :

Les écarts complémentaires sont les suivants :

 les deux variables de base du primal sont non nulles, donc les deux
contraintes du dual sont saturées
 la première contrainte du primal est non saturée, donc la première
variable du dual est nulle.

Il faut donc résoudre le système suivant :

 3 x3 = 3
 x2 – x3 = 5
Le vecteur (0, 6, 1) est solution du système, avec Z= 30. Il y a dualité forte
donc (5, 3) est toujours la solution optimale du programme primal.

Exercice 3

Considérons le programme linéaire suivant :

Tester l’optimalité de la solution (250, 500, 1500) à l’aide du dual et des

écarts complémentaires.

La modélisation mathématique s’avère fausse, et après vérification le

vecteur b des contraintes est (950, 550, 1575, 6900). A l’aide du dual,
vérifier si la solution est admissible et s’il s’agit de la solution optimale.

De même avec le vecteur (1000, 500, 1500, 9750).

Correction

Le vecteur (250, 500, 1500) est une solution admissible car aucune
contrainte n’est violée. La solution optimale a pour valeur Z=11500.
Vérifions son optimalité par le dual et les écarts complémentaires. Le dual
est le suivant :

Les écarts complémentaires donnent les informations suivantes :

 aucune variable de base du primal n’est nulle, donc les contraintes du

dual sont saturées
  la première contrainte du primal n’est pas saturée, donc la première
variable du dual est nulle

Cela donne le système suivant :

 3 X4 = 4
 X2 + 6X4 = 12
 X3 + 2 X4 = 3

Avec pour vecteur solution (0, 4, 1/3, 4/3) avec Z=11500. Il y a dualité forte
donc il s’agit bien de la solution optimale.

Testons de nouveau l’optimalité avec un primal avec la colonne b=(950,

550, 1575, 6900), seul la fonction objectif du dual change. La solution est
admissible et les écarts complémentaires sont les suivants :

 Les trois variables de base sont non nulles donc les contraintes du
dual sont saturées.
 Aucune contrainte n’est saturée, donc les variables de base du dual
sont nulles.

Pas besoin de résoudre le dual car les variables de base sont toutes nulles
(Z=0), il n’y a pas de solution au dual. Cela signifie que la solution du dual
n’est pas sur un extremum du domaine de définition.

De même avec le vecteur b= (1000, 500, 1500, 9750). La solution est

admissible et les écarts complémentaires donnent les informations
suivantes :

 Les trois variables de base sont non nulles donc les contraintes du
dual sont saturées.
 La première et la quatrième contrainte sont non saturées, donc la
première et la quatrième variable de base du dual sont nulles.

Le système n’admet pas de solution, donc la solution proposée n’est pas

sur un extremum du domaine de définition. Par conséquent il ne peut pas
être l’optimum du programme linéaire.