Rezolvarea problemei de programare întreaga prin metoda

Branch-and-Bound
I. Se va rezolva problema de programare întreaga - folosita la curs pentru exemplificare- prin
metoda B&B.

max 13x1 + 8 x2 a.î. x1 + 2 x2 ≤ 10

5 x1 + 2 x2 ≤ 20
x1 ≥ 0, x2 ≥ 0;

x1 , x2 întregi

Algoritmul Branch-and-Bound general

Notatii
L: lista tuturor subproblemelor active {IPi}, IP0 fiind problema IP originala.
zi : o margine superioara a v.f.o. a problemei IPi.
z ip : v.f.o. a celei mai bune solutii curente a IP.

1.(Initializare) L={IP0}, z0 = +∞ ; z ip = −∞

2. (Terminare): Daca L = φ atunci solutia x* care a produs z ip este optimala.

Daca nu exista x* (i.e. z ip = −∞ ) atunci IP nu are solutie.

3. (Selectia problemei si relaxarea).

Selecteaza si sterge o problema IPi din L.
Afla solutia unei relaxari a problemei IPi. Fie ziR v.f.o. a problemei relaxate, si fie xiR o solutie
optimala daca exista vreuna.( ziR = cT x iR , sau ziR = −∞ ).

4.(Fathoming and Pruning)

(a) Daca ziR ≤ z ip GoTo (2)
(b) Daca ziR ≥ z ip si xiR este fezabila întreaga, atunci actualizeaza z ip = ziR si sterge din L

toate problemele în care zi ≤ z ip . Go To (2).

{ }j=k
5.(Partitionare) Fie S ij j =1 o partitie a multimii de restrictii Si a problemei IPi. Adauga

{ }
j =k
problemele corespunzatoare S ij j =1 la L, unde IPij este problema IPi cu regiunea de
fezabilitate restrictionata la Sij si zij = ziR , pt j=1,...,k. GoTo (2)
Desfasurarea lucrarii
I.1 Se vor identifica problemele IP (IP0-IP4) intalnite in rezolvare si precum si problemele
corespunzatoare relaxate (PR0-PR4) ca probleme de programare liniara. Se vor scrie explicit.
I2 Se vor scrie programele MATLAB care rezolva problemele relaxate. Se va folosi metoda
Simplex.
I3. Se va face executia "la mana" a algoritmului B&B, utilizand programele de la punctul I2,
pentru a determina marginile superioare ale valorilor functiilor obiectiv corespunzatoare
problemelor IP0-IP4

II Se va utiliza metoda B&B pentru rezolvarea IP:

max 2 x1 + x2 a.î. 3 x1 − 5 x2 ≤ 0
3 x1 + 5 x2 ≤ 15
x1 ≥ 0, x2 ≥ 0;

x1 , x2 întregi

OBSERVATIE: Daca o multime S este definita de restrictii de tipul x1 ≤ 2 , x2 ≤ 1 , adica cu

un nr redus de puncte cu coordonate întregi, operatia de ramificare poate contine atatea
probleme IP cate puncte sunt, sau se considera ca se rezolva IP prin enumerarea tuturor
punctelor cu coordonate întregi