31
1 Inégalités valides ENSIIE-Master MPRO Alain Faye

1 Inégalités valides ENSIIE-Master MPRO Alain Faye

Embed Size (px)

Citation preview

Page 1: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

1

Inégalités valides

ENSIIE-Master MPRO

Alain Faye

Page 2: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

2

Introduction

On considère le problème en nombres entiersMin {cx : Axb, xZn}

L’ensemble des solutions admissibles est:X={x : Axb, xZn}

Objectif: obtenir un polyèdre P (sans contraintes d’intégrité)pour décrire ConvX l’enveloppe convexe de X ou pour avoir au moins une bonne approximation de ConvX

Si on obtient ConvX=P le problème en nombres entiers se ramène au programme linéaire (sans contraintes d’intégrité):Min cx s.c. xP

Cas particulier: x vecteur de coordonnées 0 ou 1 . L’ensemble des vecteurs booléens sera noté Bn={0,1}n

Page 3: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

3

Notions préliminaires• Convexe, enveloppe convexe• Polyèdre

Inégalités valides en nombres entiers• Coupes de Chvatal• Modulo arithmétique• Coupes de Gomory• Contraintes disjonctives

Inégalités valides en variables mixtes• Inégalité de base• Inégalité MIR

Sommaire

Page 4: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

4

Notions préliminaires

Page 5: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

5

C Rn , est convexe si: x,yC et 0 1(1-)x+y C

convexe pas convexeune partie du segment [x,y]n ’est pas dans C

x

y

le segment [x,y] est l'ensemble des points z de la forme :

z=(1-)x+ y avec 01

Ensemble convexe

z est combinaison convexe de x et y

Page 6: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

6

Déf: étant donné M Rn , ConvM , l'enveloppe convexe de M, est

le plus petit convexe contenant M c'est-à-dire

l'intersection de tous les convexes contenant M.

ConvM = vert+blancM

Enveloppe Convexe

Page 7: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

7

Un polyèdre est l’ensemble des solutions d’un système d’inégalités linéairesde la forme Axb : P= {x :Ax b }

Un point extrême de P est un point de P qui ne peut pas s’exprimer comme combinaison convexe de 2 points distincts de P.

L’optimum d’une forme linéaire sur P (s ’il existe) est atteint en un point extrême de P

Un polyèdre est convexe car c’est l’intersection des convexes que sont les demi-espaces défini par chaque inégalité

Polyèdre

Exemple:x1+x222x1+x23x10, x20Les points x=(0,0), x=(0,2), x=(0,3/2) x=(1,1) sont les points extrêmes de P

Page 8: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

8

Inégalités valides

Page 9: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

9

Inégalité valide

Définition: l’inégalité x 0 est valide pour X si x 0 xX

Exercice:

Soit X={xB5: 3x1-4x2+2x3-3x4+x5-2}Par des raisonnements « booléens » montrer que x2+x41 et x1x2 sont valides pour X

Page 10: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

10

PropositionSi x0 est une inégalité valide pour P={x : x0, Axb} alors u0 t.q. uA et ub0

Soit P ={x : x0, Axb}Une combinaison linéaire positive des contraintes est valide pour P:Soit u0, alors uAxub xP

C’est à peu près la seule façon de faire pour obtenir des inégalités valides pour P car la proposition suivante nous dit que toute inégalité valide pour P est « dominée »par une inégalité valide obtenue par combinaison positive des contraintes de P

Démonstration: x0 valide pour P signifie que max{ x : xP} 0

Par dualité min{ub : uA , u0} 0. La solution u* du dual convient.

Page 11: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

11

Notation: a=plus petit entier inférieur ou égal à a

Exemples:5,4=5-5,4=-6

Partie fractionnaire: f=a-a

Exemples:Partie fractionnaire de 5,4 est 0,4Partie fractionnaire de -5,4 est f=-5,4-(-6)=0,6

Partie fractionnaire d’un nombre

Page 12: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

12

Coupes de Chvatal

Soit axb une inégalité avec x entier0•relaxationjajxjb est valide car x0•arrondijajxjb est valide car x entier

Note: pour obtenir l’inégalité de départ , on peut toujours faire une combinaison linéaire positive des contraintes Ax b décrivant X={xZn

+ : Axb}

Exercice:Retrouver les 2 précédentes inégalités valides de X={xB5: 3x1-4x2+2x3-3x4+x5-2} en utilisant les coupes de Chvatal à partir de 0xj1 et 3x1-4x2+2x3-3x4+x5-2.

Page 13: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

13

Modulo arithmétique

Soit ax=b une égalité avec x entier0

•On se donne un entier d>0

•On calcule les divisions entières par d:aj=kjd+rj avec 0rj<d et kj entierb=kd+r avec 0r<d et k entier

•On réécrit ax=b :ajxj=b rjxj=r+ d(k-kjxj)

k‘=k-kjxj est entier car x entier. Si k‘-1 alors r+dk‘<0 car r<d. Or rjxj0 car x0.Ce qui implique k'0. Donc dk'0

•Et finalement rjxjr

Page 14: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

14

Pour d=1, •l’inégalité modulo arithmétique est la coupe de Gomory

fjxjf

Où fj est la partie fractionnaire de aj et f la partie fractionnaire de b •k'0 est la coupe de Chvatal

jajxjb

Exercice

-1/2x1+7/4x2+7/3x3+x4=21/4 avec x1, x2, x3, x4 entiers0Calculer la coupe de Gomory et la coupe de Chvatal

Exercice37x1-68x2+78x3+x4=141 avec xZ4

+

Pour d=12, calculer l’inégalité modulo arithmétique

Page 15: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

15

Les coupes de Gomory peuvent être vues comme des coupes de Chvatal

Exercice:-x1+2x24 (1)5x1+x220 (2)-2x1-2x2-7 (3)x1,x2 entiers0

On rajoute les variables d’écart x3, x4, x5 On dresse le tableau simplexe dans la base x1, x2, x5 et pour la ligne 1 on obtientx1-1/11x3+2/11x4=36/11 avec x1, x3, x4 entiers0

1. Calculer la coupe de Gomory et l’exprimer en fonction des variables originales x1, x2

2. Faire la combinaison positive des 3 contraintes avec u=(10/11, 2/11, 0) puis faire la coupe de Chvatal.

3. Représenter graphiquement la coupe.

Page 16: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

16

Contrainte disjonctive

Contrainte valide sur l’union de deux parties de Rn+

Soit a1xb1 valide pour S1Rn+

Soit a2x b2 valide pour S2Rn+

Alors on a: min(a1x,a2x)≤max(b1,b2) xS1S2

Et jmin(a1jxj,a2

jxj)≤min(ja1jxj,ja2

jxj)

Et min(a1j,a2

j)xj=min(a1jxj,a2

jxj) car xj≥0

Finalement: jmin(a1j,a2

j)xjmax(b1,b2) est valide pour S1S2 car xj0

Page 17: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

17

Application :

(A) x0=a0-j=1,najxj avec x0 entier et xj 0 j=1 à n2 cas: •x0a0On élimine x0 dans (A) et on obtient aj/(a0-a0)xj1•x0a0+1On élimine x0 dans (A) et on obtient aj/(a0-a0-1)xj1

•On applique le résultat précédent (xj0 ) on obtient l’inégalité valide : bjxj1Avec bj=max{aj/(a0-a0), aj/(a0-a0-1)}

Exercice: x0=15/4-1/2x1+7/4x2-11/4x3 avec x0 entier , x1, x2, x30Calculer l’ inégalité valide correspondante

Contrainte disjonctive

Page 18: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

18

Disjonction de polyèdre

Soit P=P1P2Avec P1={x : A1xb1} et P2={x : A2xb2}

Soit u10, u20 et , 0 t.q. =u1A1, u1b10 (1)=u2A2, u2b20 (2)

Alors x0 est valide pour P.

On a la réciproque.

PropositionSi x0 est valide pour P, alors il existe u10, u20 t.q. (1) et (2)

Page 19: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

19

Exercice:

Soit P défini par:x1+x22-2x1+x21/2

On veut construire une inégalité valide pour la disjonction de P suivante (P{x: x10})(P {x: x11})On note P1= P{x: x10} et P2= P {x: x11})Soit (A) l’inégalité -1/2x1+x21/2

1. Par combinaison positive des contraintes de P1, montrer que (A) est valide pour P12. Même question pour P23. En déduire que (A) est valide pour P1P24. Soit x*=(1/2, 3/2) le point extrême de P . Vérifier que x* ne satisfait pas (A)5. Etant donné un point x* quelconque de P, donner le programme mathématique qui cherche une inégalité valide pour P1P2 et violée par x*

Page 20: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

20

Théorème: Si x0 est une inégalité valide pour X avec , 0 entiers alors elle s’obtient en un nombre fini d’itérations de la procédure de Chvatal .

X=PBn et PRn+ polyèdre borné P[0,1]n

Le résultat s’étend au cas entier général X=P Zn et avec P polyèdre non borné.

Procédure des coupes de Chvatal

1. On pose Pt=P, t=02. Soit une inégalité valide pour Pt : axb3. On exerce une coupe de Chvatal sur cette inégalité : ax b4. On rajoute l’inégalité obtenue à Pt : Pt+1=Pt{x: ax b}5. On pose t= t+1 et on retourne à 2.

Ce résultat est soumis au bon choix de l’inégalité valide à chaque itération.La démonstration du théorème est constructive et elle donne l’inégalité valide à couper.

Est-il possible d’atteindre toutes les inégalités valides ?

Page 21: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

21

Page 22: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

22

Page 23: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

23

Exercice 1

Soit X l’ensemble des vecteurs d’incidence (indexés par les arêtes) des couplages d’un graphe G=(V,E).

1. En considérant les arêtes incidentes à chaque sommet, donner V inégalités (une par sommet) valides pour X.

2. A partir de ces inégalités, montrer à l’aide des coupes de Chvatal que si T est un ensemble de sommets de cardinal 2k+1 alors :

eE(T)xe k est valide pour X

Où E(T) désigne l’ensemble des arêtes de G ayant leur deux extrémités dans T

Page 24: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

24

Exercice 2

Soit X ensemble des vecteurs d’incidence (indexés par les sommets) des stables d’un graphe G=(V,E). Par raisonnement « booléen »,1.Montrer que si (i,j)E alors xi+xj 1 est valide pour X.

2.Montrer que si i, j, k sont les sommets d’un triangle alors xi+xj+xk 1 est valide pour X

3.Montrer que si C est une clique d’au moins 3 sommets alors isommets de Cxi 1 est valide pour X

4.Soit un cycle C de G. Montrer que si le nombre de sommets du cycle C est impair 2k+1 alors isommets de Cxi k est valide pour X. Soient les inégalités xi0 i V et xi+xj 1 (i,j)E valides pour X.

5.Retrouver en appliquant des coupes de Chvatal à partir de xi0 i V et xi+xj1 (i,j)E, la validité des inégalités sur le triangle, la clique, le cycle impair.

Page 25: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

25

Inégalités en variables mixtes

Page 26: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

26

Inégalité mixte : inégalité mêlant variables entières et continues

Inégalité de base

Soit X={(x,y)R+Z : yb+x}

yb+x(1-f) est valide pour X

Avec f=b-b partie fractionnaire de b

Exercices: Soit y2,5+x avec yZ et x0Calculer l’inégalité valide correspondante. Faire une représentation graphique de la coupe.

Démontrer l’inégalité de base à partir de la contrainte disjonctive vue précédemment (cf contrainte disjonctive application)

Page 27: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

27

Inégalité MIR (mixed integer rounding)

Soit X={(x,y)R+Zn+ : jajyjb+x}

Alors

j(aj+(fj-f)+ (1-f))yjb+x (1-f) (MIR)

est valide pour X

Avec fj=aj-aj, f=b-b parties fractionnaires de aj, b

Exercice: Soit 10/3y1+y2+11/4y321/2+x avec yjZ+ et x0Calculer l’inégalité MIR

Notation: a+=max(0,a) . Par exemple: 5+=5, (-5)+=0

Page 28: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

28

Comparaison avec les coupes de Chvatal

Soit X={yZn+ : jajyjb}

Coupe de Chvatal : j(ajyjb

Inégalité MIR : j(aj+(fj-f)+ (1-f))yjb

L’inégalité MIR « domine » la coupe de Chvatal car les coefficients du membregauche sont supérieurs ou égaux à ceux de la coupe de Chvatal et yj0:

aj+(fj-f)+ (1-f) aj

L’inconvénient est que les coefficients sont fractionnaires

Exercice: Soit 10/4y1-6,5y2+8/3y3+y413/3 avec yjZ+

Comparer les deux coupes

Page 29: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

29

Soit 14,10:, xyxZRyxX .

1) Montrer que l’inégalité suivante 1014

1014 xy est valide pour X.

2) Appliquer l’inégalité de base à l’inégalité précédente (question 1). Peut-on le faire ? 3) Représenter X dans un repère orthonormé avec x en abscisse (horizontale) allant de 0 à 20 et y en ordonnée

(verticale) allant de 0 à 3. Tracer ensuite l’inégalité trouvée en 2) et hachurer la partie tronquée.

Exercice 1

Page 30: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

30

Exercice 2: extension de l’inégalité de base

Soit X={(x+,x ,y)R+R+Z : y+xb+x+, x≤c} avec c entier≥0

1.Montrer en utilisant l’inégalité de base que:

y+(x-cf)/(1-f)b+x+(1-f) est valide pour X

Avec f=b-b partie fractionnaire de b

Noter que x-cf n’est pas forcément négatif

2.Soit y+x2,5 avec yZ et 0≤x≤3

Calculer l’inégalité valide correspondante. Faire une représentation graphique de la coupe.

Page 31: 1 Inégalités valides ENSIIE-Master MPRO Alain Faye

31

Bibliographie :

Nemhauser G.L., Wolsey L.A. (1988) Integer and Combinatorial Optimization.John Wiley & Sons, New York

Wolsey, L. A. (1998) Integer Programming, John Wiley & Sons, New York