Algoritmul lui Bron i Kerbosch

n rezultatul aplicrii acestui algoritm, pentru un graf neorientat G=(X;U) obinem

lista tuturor mulimilor stabile interior maximale.
La fiecare etap k de realizare a algoritmului se construiesc dou mulimi S k i Q k .
Mulimea S k reprezint mulimea de vrfuri stabil interior, obinut la etapa k, iar Q k
reprezint mulimea vrfurilor din graf, neadiacente vrfurilor din S k . Prin urmare, putem
considera

Qk \ ((S k ) S k ) . Adugarea oricrui vrf din

Q k la S k permite s extindem

mulimea stabil interior curent i s obinem la etapa urmtoare o mulime nou S k 1 . Pentru
organizarea procesului de parcurgere n arborele de cutare, vom reprezenta mulimea Q k drept
reuniune a dou mulimi Qk i Q k , considernd c n Qk sunt incluse acele vrfuri din Q k ,
care n procesul de cutare au fost folosite pentru extinderea mulimii S k , iar

Qk Qk \ Qk . Cu

alte cuvinte, la etapa respectiv Q k reprezint mulimea vrfurilor, care potenial pot fi folosite
pentru extinderea mulimii stabile interior S k . Astfel, dac pentru extinderea mulimii S k se

alege vrful x ik Qk atunci la etapa urmtoare k 1 mulimile curente S k , Qk i Qk se

modific n modul urmtor:

S k 1 S k xik

k1 k ik

Q Q \ ( x )

Q1 Qk \ ( xik ) xik

( xi = x j X : xi , x j U se numete vecintate a lui xi ).

Pentru a obine toate mulimile stabile interior folosind arborele de cutare, la unele etape
ale algoritmului este necesar de efectuat pasul de ntoarcere, care const n excluderea vrfului
x ik din S k 1 i revenirea la mulimea S k , precum i transferul lui x ik din Q k n Qk .
Descrierea algoritmului
Pasul 1:

Fie S0 Q 0 , Q0 , k 0 .
Pasul 2:


n conformitate cu cele descrise anterior, alegem un vrf x ik Qk i formm mulimile

S k 1 S k xik

k1 k ik

Q Q \ ( x )

Qk1 Qk \ (xik ) xik

n acelai timp vom pstra neschimbate i mulimile Qk i Qk . Considerm k k 1 .

Pasul 3:
Dac x Q k astfel nct ( x) Qk , adic are loc condiia suficient pentru
efectuarea pasului de ntoarcere, atunci trecem la pasul 5. n caz contrar realizm pasul 4.
Pasul 4:

Dac Qk Qk , atunci tiprim mulimea S k ca mulime stabil interior maximal i

trecem la pasul 5. Dac Qk =, iar

Qk , atunci trecem la pasul 5. n caz contrar trecem la

pasul 2.
Pasul 5:
Considerm k k 1 i eliminm vrful x ik

Modificm mulimile vechi Qk

din S k 1 , obinnd mulimea S k .

i Qk , prin excluderea vrfului x i din Qk i includerea lui

k

n Q :

Qk Qk \ xik

Q k Qk x ik .

Dac k 0 i Q0 , atunci aceasta nseamn c toate mulimile stabile interior

maximale ale grafului G=(X;U) au fost tiprite. STOP. n caz contrar trecem la pasul 2.
S analizm algoritmul descris, lund n calitate de exemplu graful

x4

x2

x1

x3

Prin Pi se indic pasul i din algoritm.

P1. S0 Q 0 , Q0 {x1 , x2 , x3 , x4 } , k 0 .

P2. S1 S0 x1 x1 ,

1 0 1

Q Q \ ( x )

{x1, x2, x3, x4} \{x1, x2} {x3, x4}

\ {x2} , Q1 Q0 \ (x1) x1

, k =1.

P3. P4. P2.

2 1 3

Q Q \ ( x )

P2. Alegem vrful x3 din Q1 i S 2 S1 x3 x1 , x3 ,

Q2 Q1 \ (x3) x3 {x3, x4} \ {x2, x3, x4} , k = 1+1=2.

\ {x2 , x4} ,

P3. P4. Q2 Q2 , atunci x1 , x3 mulime stabil interior maximal

P5. k =2-1=1, eliminm vrful x3 din S2 obinnd S1 x1 , excludem vrful x3 din Q1 i
includem n Q1 :

Q1 {x3, x4} \ x3 x4, Q

x3 x3 .

P2. Alegem vrful x4 din Q1 i S 2 S1 x4 x1 , x4 ,

Q Q \ (x4) x4 {x3} \{x3, x4} , k = 1+1=2.

2 1 4

Q Q \ ( x ) {x } \ {x }

2 1

P3. P4. Q2 Q2 , atunci x1 , x4 mulime stabil interior maximal

P5. k =2-1=1, eliminm vrful x4 din S2 obinnd S1 x1 , excludem vrful x4 din Q1 i
includem n Q1 :

Q1 {x4} \ x4 , Q

x3 x4 x3 , x4 .

P2. Nu avem vrfuri n Q1 P3. P4. P5.

P5. k =1-1=0, eliminm vrful x1 din S1 obinnd S 0 , excludem vrful x1 din Q0 i

includem n Q0 :

Q {x1, x2, x3, x4} \ x1 {x2, x3, x4},

Q0 x1 x1 . P2.

P2. Alegem vrful x2 din Q0 i S1 S0 x2 x2 ,

Q1 Q0 \ (x2) x2 {x2, x3, x4} \ {x1, x2, x3} {x4}, k = 0+1= 1.

1 0 2

Q Q \ ( x ) \ { x , x }
x1

1 3

P3. P4. P2.

P2. Alegem vrful x4 din Q1 i S 2 S1 x4 x2 , x4 ,

Q2 Q1 \ (x4) x4 {x4} \{x3, x4} , k = 1+1=2.

2 1 4

Q Q \ ( x )

\ {x3} ,

P3. P4. Q2 Q2 , atunci x2 , x4 mulime stabil interior maximal

P5. k =2-1=1, eliminm vrful x4 din S2 obinnd S1 x2 , excludem vrful x4 din Q1 i
includem n Q1 :

Q1 {x4} \ x4 , Q

x4 x4 . P2.

P2. Nu avem vrfuri n Q1 P3. P5.

P5. k =1-1=0, eliminm vrful x2 din S1 obinnd S 0 , excludem vrful x2 din Q0 i

includem n Q0 :

Q0 {x2, x3, x4} \ x2 {x3, x4},

Q0 x1 x2 x1 , x2 . P2.

P2. Alegem vrful x3 din Q0 i S1 S0 x3 x3 ,

Q1 Q0 \ (x3) x3 {x2, x3, x4} \ {x2, x3, x4} , k = 0+1= 1.

1 0 3

Q Q \ ( x )

x1 ,

P3. P4. P5.

P5. k =1-1=0, eliminm vrful x3 din S1 obinnd S 0 , excludem vrful x3 din Q0 i

includem n Q0 :

Q {x3, x4} \ x3 {x4},

Q0

x1 , x2

x3 x1 , x2 , x3 P2.

P2. Alegem vrful x4 din Q0 i S1 S0 x4 x4 ,

Q1 Q0 \ (x4) x4 {x4} \{x3, x4} , k = 0+1= 1.

1 0 4

Q Q \ ( x )

x1 , x2 , x3

\ x3 x1, x2

P3. P4. P5.

P5. k =1-1=0, eliminm vrful x4 din S1 obinnd S 0 , excludem vrful x4 din Q0 i

includem n Q0 :

Q0 {x4} \ x4 , Q

x1 , x2 , x3

x4 x1 , x2 , x3 , x4 . STOP.

Rspuns: Mulimile stabile interior maximale: x1 , x3 , x1 , x4 , x2 , x4

Algoritmul recursiv al lui Bednarek i Taulbee
Pentru graful G ( ;U ) cu n vrfuri vom nota prin k mulimea primelor k vrfuri,
adic k x1 , x 2 ,..., x k . Prin Lk vom nota familia mulimilor stabile interior maximale n
subgraful, generat de mulimea de vrfuri k , iar prin Yk mulimea tuturor vrfurilor din
k , neadiacente vrfului x k .
( Yk y k : y nu este adiacent cu x k .
Folosind notaiile menionate, toate mulimile stabile interior maximale pot fi gsite prin
realizarea urmtorului algoritm:
Pasul I:
Fixm 1 x1 , L1 x1 , Y1 x1 . Considerm k 1 .
Pasul II:
Fixm mulimea Yk 1 y k 1 : y nu este adiacent cu vrful xk 1 xk 1

x2 , dac x1 ~ x2
De exemplu Y
.
2
x1 , x2 , dac x1 , x2 nu sunt adiacente
Pasul III:
Construim familia de mulimi
I k* S M Yk 1 : M este un element al familiei Lk .

Pasul IV:
Determinm I k ca familia tuturor mulimilor maximale din I k* .
Pasul V:
Construim familia de mulimi L*k 1 prin cercetarea fiecrui element M din Lk :
a) dac M Yk 1 , atunci M x k 1 L*k 1
b) dac M Yk 1 , atunci M L*k 1 i dac n acest caz se respect i condiia
M Yk 1 I k , atunci se mai consider c x k 1 ( M Yk 1 ) L*k 1 .
Pasul VI:
Determinm Lk 1 ca familia tuturor mulimilor maximale din L*k 1 .
Pasul VII:
Dac k n 1 atunci considerm k k 1 i ne ntoarcem la executarea pasului II. n caz
contrar Ln conine toate mulimile maximale stabile interior n graful G. STOP.
S analizm algoritmul descris, lund n calitate de exemplu graful
x3
x1

x2

x4

x5
Rezultatele pentru fiecare iteraie k a algoritmului Bednarek i Taulbee sunt prezentate n
tabel

k Yk 1
1. Y2 x 2
2. Y3 x1 , x3
3. Y4 x1 , x 2 , x4

I k*

Ik

I 1

I , x 1

I 2 , x 1

*
1

*
2

I x1 , x 2
*
3

I 3 x1 , x 2

4. Y5 x1 , x 2 , x 4 , x5 I 4* x1 , x1 , x 4 ,I 4* x1 , x4 ,
x2 , x4 x2 , x4

L*k 1

Lk 1

L x1 , x 2
L x 2 , x3 , x1 , x3

L2 x1 , x 2
L3 x 2 , x1 , x3

L {{x1, x3,{x1, x4},

L4 {{x1, x3},{x1, x4},

{x2 , x4}}

{x 2 , x4 }

*
2
*
3

*
4

L*5 x1 , x3 , x1 , x 4 , x5 , L5 x1 , x3 , x1 , x 4 , x5 ,

x2 , x 4 , x5

x2 , x 4 , x5

Mulimile stabile exterior maximale: {x1 , x3} { x1 , x4 , x5 } {x2 , x4 , x5} . Exist dou
mulimi stabile interior maxime M 1 {x1 , x4 , x5 } i M 2 {x2 , x4 , x5 } i 0 = 3.

Algoritmul Malgrange
Fie A matricea de adiacent a unui graf neorientat G ( X ; U ) , iar A matricea
complementar ei. (Elementele aij ale matricei A se calculeaz n baza elementelor a ij ale
matricei A dup formula aij 1 aij ).
Algoritmul Malgrange este un algoritm iterativ de construire a tuturor submatricelor
principale ptratice din A , n baza crora se determin mulimile maximale stabile interior ale
grafului G.
Pasul I:
Construim o acoperire oarecare C0 a matricei A . De obicei n calitate de acoperire
iniial C0 se ia familia tuturor submatricelor complete din A de forma f i ( Ai , Bi ) , unde
Ai 1 iar Bi este format din coloanele matricei A , ce conin unitatea n linia Ai .
Considerm p 0 .
Pasul II:
Construim familia
X p f i C p : f j C p , f j f i , astfel nct f i f j

Aa dar X p este familia tuturor submatricelor complete din C p , care se conin n alte
submatrici ale lui C p .
Pasul III:
Construim familia

(C p \ X p )

de submatrici, obinute prin aplicarea ambelor operaii i

asupra tuturor perechilor posibile de matrici f i , f j din C p \ X p , cu condiia ca aceste elemente

*

noi s nu se conin n careva dintre submatricele din

Pasul IV:
Formm acoperirea de matrici

Cp \ X p .

C p1 (C p \ X p ) (C p \ X p ) .

Pasul V:
Dac C p1 C p atunci considerm p p 1 i trecem la executarea pasului 2. n caz
contrar C p conine toate submatricele principale ale matricei A .

Pasul VI:
Construim o familie nou F n care includem submatricele ptratice maximale ale
submatricelor principale din C p , cu condiia ca fiecare dintre ele s nu se conin n alt
submatrice ptratic din F. Vrfurile ce corespund liniilor (coloanelor) matricelor familiei F
formeaz o mulime stabil interior. Astfel, numrul tuturor mulimilor stabile interior este egal
cu F .
Exemplu: Vom construi toate mulimile stabile interior maxime n graful G
b
a
d

e
f
c
Fig. 6

Matricea de adiacen A a acestui graf i complementara ei A sunt:

0

1
0

1
0

0 a

0 b
1 c

0 d

1 e
0 f

1 a

1 b
0 c

1 d
0 e
1 f

Acoperirea iniial C0 a matricei A este:

C 0 ( a, adf )(b, bcf )(c, bc)( d , adf )(e, e)( f , abdf ) .

Atunci X 0 i, prin urmare, C0 \ 0 C0 .

Obinem:
(C0 0 ) (ab,f)(ad,adf)(af,adf)(bc,bc)(bd,f)(bf,bf)(cf,b)(df,adf)

(submatricea (ab,f) se obine, de exemplu, astfel:

(a, adf ) (b, bcf ) (a b, adf bcf ) (ab, f ) ).

Formm acoperirea C1 (C0 0 ) (C0 0 )

C1 (a, adf )(b, bcf )(c, bc)(d , adf )(e, e)( f , abdf )( ab, f )(ad , adf )
(af , adf )(bc, bc)(bd , f )(bf , bf )(cf , b)(df , adf )

1 (a, adf )(c, bc)(d , adf )

C1 1 (b, bcf )(e, e)( f , abdf )(ab, f )(ad , adf )(af , adf )
(bc, bc)(bd , f )(bf , bf )(cf , b)(df , adf )

Formm acoperirea C2 (C1 1 ) (C1 1 )

C2 (b, bcf )(e, e)( f , abdf )(ab, f )(ad , adf )(af , adf )(bc, bc )(bd , f )(bf , bf )
(cf , b)(df , adf )(abd , f )(abf , f )(bcf , b)(bdf , f )(adf , adf )(abdf , f )
2 (ab, f )( ad , adf )(af , adf )(bd , f )
(cf , b)( df , adf )(abd , f )(abf , f )(bdf , f )

C 2 2 (b, bcf )(e, e)( f , abdf )(bc, bc)(bf , bf )(bcf , b)(adf , adf )( abdf , f )
Deoarece (C2 2 ) obinem
C3 (C 2 2 ) (C 2 2 ) C 2 2 ,

de unde rezult, c 3 i prin urmare C4 C3 .

n conformitate cu algoritmul descris acoperirea matricei A , ce conine toate submatricele
principale este:

C 3 (b, bcf ), (e, e), ( f , adbf ), (bc, bc),

(bf , bf ), (bcf , b), ( adf , adf ), (abdf , f )

Extragem din fiecare submatrice principal submatricea ptratic maximal i le selectm

pe acelea care nu se conin n alte submatrici ptratice. Obinem familia

F (e, e), (bc, bc), (bf , bf ), (adf , adf ) .

Familia tuturor mulimilor stabile interior a grafului din figura 6 este:

S e , b, c , b, f , a, d , f
Mulimea stabil interior maxim este a, d , f i prin urmare 0 (G ) 3 .
Algoritmul construirii mulimii de
vrfuri stabile exterior minime
Problema determinrii mulimii de vrfuri stabilit exterior minim este de fapt echivalent
problemei de divizare minim, care poate fi formulat n modul urmtor.
Pentru o mulime de elemente R {r1 , r2 ,..., rM } i familia de submulimi
S {S1 , S 2 ,..., S N } , S i R , de determinat subfamilia

S' {S j1 , S j2 ,. ., S jk } S

cu un numr minim

de elemente astfel nct

k

S
i 1

ji

R.

i S j S j , pentru q, s {1,2,..., k }, q s .
Echivalena acestor dou probleme se observ imediat ce considerm R i
S i {xi } ( xi ) pentru i 1, . n aceast interpretare mulimea de vrfuri stabil exterior
minim va fi format din acele vrfuri xi , pentru care S i S' .
q

Expunem n continuare un algoritm ce poate fi folosit la soluionarea problemei de

acoperire minim a unei mulimi de elemente R {r1 , r2 ,..., rM } .
Iniial construim un tabel special ale crui linii corespund elementelor mulimii R, iar
coloanele corespund mulimilor S j S , cu elementele din linia cu numrul p egale cu 1, dac
rp S j ( k 1, n) , i egale cu 0 n caz contrar. Fiecrui element rp i se pune n coresponden
blocul de coloane ce corespund acelor submulimi din S, care conin acest element i nu conin
elemente rk , k p . Coloanele ce corespund submulimilor din S i care formeaz blocul p, le
p
p
p
vom aranjat n acest bloc n ordine arbitrar i le vom nota prin S1 , S 2 ,..., S k , p 1, n (aici
p

k p este numrul mulimilor familiei S, care conin elementul r p ). Structura tabelului pe

blocuri este prezentat schematic n tabelul 2. (Remarcm, c dac toate mulimile S j S , ce

conin elementul x p , conin elemente xk cu indicele k p , atunci blocul cu numrul p va lipsi
din tabel.)
Tabelul 2
Bloc nr. 1
Bloc nr. 2
Bloc nr. 3
1
1
1
2
2
2
S1 , S 2 ,..., S k1 S1 , S 2 ,..., S k2 S13 , S 23 ,..., S k33
r1

1 1 ... 1

r2
r3

.
.
.

1 1 ... 1
0
sau
1

1 1 ... 1
0
sau
1

rn

0
sau
1

...
.
.
.
.
.
.
.

Bloc nr. 4
S1n , S 2n ,..., S knn

0
1 1 ... 1

La descrierea algoritmului vom folosi urmtoarele notaii:

B* soluia optim curent
Z* cardinalul mulimii B* (numrul de submulimi S j , care formeaz o divizare a
mulimii R)
B familia mulimilor din S, care poate conduce la obinerea soluiei optime
Z cardinalul familiei B
E submulimea de elemente din R, care aparin mulimilor din B

S i B

Algoritmul propus este un algoritm iterativ i folosete arborele de cutare n procesul

determinrii soluiei optime. Toat informaia necesar pentru soluionarea problemei se va
prezenta sub forma unui tabel descris mai sus. Fiecare coloan a acestuia, folosit pentru
extinderea familiei B, va fi marcat ntr-un mod oarecare pentru a ine cont de aceast situaie la
etapa urmtoare a algoritmului.
Descrierea algoritmului:
Pasul 1: Construim tabelul descris anterior. Considerm B = , E = , Z = 0, Z* = 0.
Pasul 2: Calculm p min{i : ri E} .

a) Dac toate coloanele blocului p au fost folosite la careva etape anterioare pentru
extinderea mulimii B, sau blocul p este vid atunci realizm n continuare pasul 5;
p
b) n caz contrar alegem prima coloan, nefolosit nc pentru extinderea lui B. Fie S j
coloana aleas din blocul p.
*
Pasul 3: Dac Z 1 Z , atunci realizm n continuare pasul 4. n caz contrar realizm pasul 6.

Pasul 4: Formm mulimea

TP S jp \ E
Extindem mulimile
B B {S jp }
E E S jp

Z Z 1

Dac E R atunci considerm B * B ,

contrar trecem la pasul 2.

Z* Z

i realizm n continuare pasul 6. n caz

Pasul 5: Dac p 1 atunci fixm B * drept soluie optim a problemei.STOP.

Dac p 1 , atunci revenim la componena precedent a mulimilor B i E, prin
i
excluderea ultimei mulimi adugate S j , i p

B B \ {S ij }
E E \ Ti

Declarm Ti i considerm Z Z 1 . Toate coloanele blocului p le declarm libere

(n viitor orice coloan a acestui bloc poate fi folosit pentru extinderea mulimii B). Trecem la
pasul 2.
p
Pasul 6: Modificm mulimile B i E. Dac ultimul element adugat n B a fost S j atunci

B B \ {S jp }
E E \ Tp
Declarm T p i considerm Z Z 1 . Trecem la executarea pasului 2.

Dac E R , atunci considerm B * B , Z* Z i realizm n continuare pasul 4. n caz

contrar, realizm pasul 2.
Exemplu: S analizm graful din fig.8, pentru care vom considera
R {x1 , x2 , x3 , x4 , x5 }

S1 { x1 , x3 , x5 }
S 2 {x2 , x3 , x4 }
S 3 { x1 , x2 , x3 }
S 4 {x2 , x4 }
S 5 { x1 , x5 }
S {S1 , S 2 , S 3 , S 4 , S 5 }

Uor putem observa c una dintre acoperirile minime este determinat de mulimile S1 i
S 2 (adic B * {S1 , S 2 } ). De aici deducem c o mulime de vrfuri stabil exterior minim este
{x1 , x2 } .
x4

x3

x5

x2

x1

Figura 8
Vom analiza n continuare realizarea pas cu pas a algoritmului descris. n conformitate cu
pasul 1 construim tabelul 3
Tabelul 3
Bloc nr. 1

Bloc nr. 2
S ( S1 ) S ( S 3 ) S ( S 5 ) S ( S 2 ) S 22 ( S 4 )
1
1
1
0
0
0
1
0
1
1
1
1
0
1
0
0
0
0
1
1
1
0
1
0
0
1
1

x1
x2
x3

x4
x5

1
2

1
3

2
1

(Notaia S i ( S k ) din tabel nseamn c coloana cu numrul i a blocului cu numrul j

corespunde mulimii S k a familiei S)
Iniial considerm B = , E = , Z = 0, Z* = +.
Pasul 2:
Deoarece r1 E , considerm p 1 i marcm coloana S11 .
Pasul 3:
Z + 1 = 0 + 1<Z* = +. Realizm n continuare pasul 4.
Pasul 4:

T1 {x1 , x 3 , x 5 } ,

B B {S11} {S11} {S11 {x1 , x3 , x5 }}

E { x1 , x3 , x5 }

Z =1
Deoarece E R , realizm n continuare pasul 2 al algoritmului.
Pasul 2:
p = 2. Marcm coloana S12 .
Pasul 3:
Z + 1 = 2 < Z*. Realizm n continuare pasul 4 al algoritmului.
Pasul 4:
Obinem mulimile noi T2 {x 2 , x 4 }
B B {S12 } {S11 {x1 , x 3 , x 5 }, S 12 {x 2 , x 3 , x 4 }}
E {x1 , x2 , x3 , x4 , x5 }

Z =2
Deoarece E =R vom avea
B * {S11 {x1 , x3 , x5 }, S12 {x2 , x3 , x4 }} i Z* = 2. Observm c B * determin o divizare a

mulimii de vrfuri X n dou submulimi. Obinem o mulime de vrfuri stabil exterior

{x1 , x 2 } . n continuare algoritmul se folosete pentru a determina dac s-a obinut o acoperire
minim sau nu.
Pasul 6:
Eliminm din B ultimul element adugat
E {x1 , x 3 , x 5 } , T2 , Z = Z 1= 1.
Pasul 2:
Alegem coloana S 22 .
Pasul 3:
Z + 1 = 1 + 1 = Z*.

S12 . Obinem

B {S11 {x1 , x3 , x5 }} .

Pasul 6:
Elminm S 22 din B. Obinem B = , E = , T1 , Z = 0.
Pasul 2:
Deoarece p min{i : x i E} 1 alegem coloana S 21 .
Pasul 3:
Z 1 0 1 Z * (Z * 2) .

Pasul 4:
Formm mulimi noi

T1 {x1, x2 , x3 )

B B {S 21 } {S 21 } {x1 , x 2 , x3 }

E E S {x , x , x )
1
2 123

Z =1
Este clar c E .
Pasul 2:
Calculm p min{i : x i E} 4 . Bloc cu numrul patru n tabelul nostru nu exist.
Pasul 4:
Modificm mulimile B i E
B = , E = ,
Declarm T1 i considerm Z = 0.
Pasul 2:
Deoarece p min{i : x i E} 1 , alegem coloana S 31 .
Pasul 3:
Z 1 0 1 Z * (Z * 2)

Pasul 4:

T1 {x1, x5 )
B B {S 31 } {x1 , x 5 }

E E S {x , x )
1
3 1 5

Z =1
Pasul 2:
Calculm p min{i : x i E} 2 . Alegem prima coloan nefolosit din blocul 2 coloana
2
S1 .
Pasul 3:
Z 1 2 Z * . Deci n continuare se va realiza pasul 6.

Pasul 6:
1
Modificm mulimile B i E. Eliminm coloana S 3 .
B = , E = , T1 , Z = 0.
Pasul 2:
Calculm p min{i : x i E} 1 .
Pasul 5:
B * reprezint soluia optim

B * {S11 , S12 } .
Deci mulimea {x1 , x 2 } este mulimea stabil exterior minim a grafului din fig.8.