Documente Academic
Documente Profesional
Documente Cultură
Lectii Complementare de Teoria Grafurilor PDF
Lectii Complementare de Teoria Grafurilor PDF
Lecii complementare
de
teoria grafurilor
Introducere ......................................................................................................... 3
Capitolul I. Grafuri definite prin multiseturi.
Multisetul gradelor unui graf ......................................................... 4
I.1. Multiseturi ................................................................................................... 4
I.2. Grafuri definite prin multiseturi .................................................................. 4
I.3. Multisetul gradelor. Teoreme de caracterizare ........................................... 5
Bibliografie ....................................................................................................... 29
2
Introducere
Aceast lucrare de teoria grafurilor are drept scop familiarizarea cititorului cu aspecte
mai puin cunoscute ale acesteia care pot fi abordate pe baza unor cunotine solide dobndite
ncepnd cu perioada liceului.
Pentru o bun parcurgere a lucrrii sunt presupuse cunoscute principalele noiuni de
teoria grafurilor.
n primul capitol este prezentat noiunea de graf n contextul su maxim de
generalitate (ce permite existena buclelor i a multimuchiilor), fiind introdus cu ajutorul
noiunii de multiset (mulime cu multipliciti). Capitolul trateaz problema clasic a irului
gradelor unui graf n acest cadru general, prezentnd n acest sens trei rezultate de
caracterizare, mpreun cu algoritmii corespunztori.
n Capitolul II este tratat problema planaritii unui graf, att n spaiul 2-dimensional
ct i o generalizare a acesteia. Seciunea a doua a acestui capitol arat legtura strns ce
exist ntre planaritate i hamiltoneintate, furniznd criterii de stabilire a uneia dintre
proprieti, atunci cnd este presupus cealalt.
Ultimul dintre capitole prezint cititorului noiunea de cuplaj, care cumulat cu cea
binecunoscut de graf bipartit converg la elaborarea a doi algoritmi importani (algoritmul
ungar i Kuhn - Munkres) cu o larg aplicabilitate n probleme legate de planificarea
activitilor organizatorice (alctuire de orare, ncadrarea optim a personalului unei companii
n raport cu pregtirea acestuia, etc. ).
3
I. Grafuri definite prin multiseturi.
Multisetul gradelor unui graf
1. Multiseturi
Definiii:
Fie S o mulime finit nevid. Un multiset (mulime cu repetiie) peste S este o pereche
R=(S,r) format din mulimea S i o funcie r: S numit funcia multiplicitate (sau
repetiie) a elementelor din S. Aceast funcie are rolul de a ine minte de cte ori se repet
fiecare element din mulimea S.
Vom spune c R=(S,r) este un m-multiset dac numrul total al elementelor acestuia
(innd cont de multipliciti) este m.
Avem nevoie n cele ce urmeaz de urmtoarele
Notaii:
:= , ,
| ; =
:= | , || = ;
=
4
Dm, aadar, n continuare urmtoarele
Definiii:
Un graf neorientat peste V este o pereche G=(V,E), unde E="# $ , %& este un multiset
peste # $. Un element e=uv se numete muchie din E, iar dac u=v, acesta se numete bucl.
Dac %
, ), atunci G se numete p-graf.
Fie , = # , )
i ,$ = #$ , )$
dou grafuri neorientate. Spunem c , i ,$ sunt
izomorfe i vom nota , ~,$ dac exist o funcie bijectiv .: # #$ cu proprietatea:
%1
= %$".
, .1
&, , 1 #1 .
n acest caz, funcia . se numete izomorfism de grafuri (neorientate). Din punct de vedere
intuitiv, dou grafuri sunt izomorfe dac se pot reprezenta n plan printr-un acelai desen.
ntruct conceptul de graf prezentat anterior este mai cuprinztor dect cel clasic,
permind existena buclelor i a mai multor muchii ntre aceleai dou noduri, noiunea de ir
al gradelor asociat unui graf va trebui generalizat n mod corespunztor. Aceasta se
realizeaz prin urmtoarea:
5
Noiunea de multiset al gradelor asociat unui graf este suficient de interesant i
elementar n acelai timp nct s ne poat furniza o serie de teoreme deosebite de
caracterizare a acesteia n diferite contexte cu grad mare de generalitate. n acest sens,
rezultatele prezentate n continuare ne dau condiii necesare i suficiente ca un ir de numere
naturale s poat fi multisetul gradelor unui graf neorientat oarecare, a unui graf neorientat
fr bucle, respectiv a unuia neorientat simplu. Demonstraiile tuturor acestor teoreme sunt de
natur algoritmic si ele sunt nsoite, pentru o mai mare claritate, de algoritmii propriu-zii de
construire a grafurilor ce ndeplinesc condiiile cerute. Ultimul dintre acestea este un rezultat
clasic n domeniu, cunoscut sub numele de teorema Havel Hakimi. Celelalte, dei mai puin
ntlnite, sunt la fel de frumoase ca i acesta.
Teorema I.1
A 3 C 0 E3 2
.
B
Din relaia B 3 C 0 E3 2) rezult c printre cele n grade ale nodurilor grafului trebuie
s fie un numr par 2k de grade impare. Fr a restrnge generalitatea putem presupune c
acestea sunt 3 , 3$ , , 3$+ . Construim n fiecare nod un numr maxim de bucle, astfel nct
34
3 , 1 ? i unim cele 2k noduri de grad impar astfel:
, , H ,$ H H , H $ H I J H H $+K $+ ,
unde , = " , LMN /$P & este graful format din vrful i o bucl cu
multiplicitatea L3 /2P (vezi Fig. I.1).
... ...
$+K $+ $+Q
Figura I.1
6
Pe baza teoremei demonstrate anterior putem da algoritmul de construire a unui graf
neorientat care are multisetul gradelor egal cu un multiset dat ce ndeplinete condiiile
teoremei.
Algoritmul II.1
dac B 3 C 1 E3 2) STOP nu e multisetul gradelor unui graf neorientat
altfel
ultimul_impar0 /* reinem ultimul nod de grad impar rmas pentru a fi unit cu altul de grad impar */
RRRRR
pentru i1, ?
dac ultimul_impar=0 /* dac toate nodurile de grad impar de dinainte sunt legate n perechi, l
ultimul_impar0
Teorema I.2
A 3 C 0 E3 2
;
B
K
3 A 3 .
B
Dac , este graf neorientat fr bucle, nsemn c cel mai mare grad al unui nod din graf 3
]
N^_ MN
este mai mic dect numrul de muchii existente n graf, 3 |)| = de unde 3
$
K
B 3 .
7
graf , ` = # ` , ) `
neorientat cu bucle astfel nct , `
= , dup algoritmul dat de Teorema
II.1. Transformm apoi buclele grafului , ` n multimuchii astfel:
j
Figura I.2
j
n mod evident, aceast transformare pstreaz gradele nodurilor, deci, va rezulta astfel un
nou graf notat , `` = # `` , ) ``
cu , ``
= i care conine cel mult un nod cu bucle. Pentru
o singur bucl putem aplica urmtoarea transformare:
j d
j
d Figura I.3
Dar, dac n nodul sunt mai multe bucle dect muchii existente n graf, fcnd toate
transformrile de tipurile anterioare rmn, totui, bucle n nodul . Aadar trebuie s
demonstrm c numrul de bucle din n , ``` este cel mult egal cu numrul de muchii din
graful , ``` . Pentru aceasta notm cu m numrul de muchii incidente n care nu sunt
bucle.
Mabbb c
K
Avem, de aici, c numrul de bucle n este de ,
$
iar numrul de muchii din graful , ``` este
e4bbb Kc 34 bbb d
.
$
$ $
,
Figura I.4
Aadar numrul de bucle din n , ``` este ntr-adevr cel mult egal cu numrul de muchii din
muchii
8
Algoritmul I.2
altfel
ant_deg_impar0 /* memoreaz ultimul nod de grad impar pentru a-l uni cu urmtorul tot de grad impar */
ant_cu_bucle0 /* memoreaz ultimul nod cu bucle rmase pentru a le grupa cu buclele urmtorului,
transformndu-le n muchii */
RRRRR
pentru i1, ?
nr_bucle_cS3 /2T
dac 3 C 1E3 2
dac ant_deg_impar0 /* verificm dac existun nod de grad impar anterior numai cu
bucle*/
altfel
dac nr_bucle_c>0
ant_cu_buclei; nr_bucle_antnr_bucle_c
altfel
dac nr_bucle_c>nr_bucle_ant
ant_cu_buclei
nr_bucle_ant|nr_bucle_ant-nr_bucle_c|
A rmas s rezolvm cazul n care au mai rmas bucle (din construcie, acestea pot fi
la unul din ultimele noduri ale grafului creat).
9
dac nr_bucle_ant=0
RRRRRRRRRRRRRRRRRRRR
pentru i1, ?%_rs_t?
repet
E(e=+ V
/* scoatem o muchie din E */
+
dac r(e)=0 putem efectua transformri */
E e=+ V
Demonstraie: Reciproca este imediat. Fie ` multisetul gradelor unui graf neorientat simplu
, ` = # ` , ) `
. Fie # ` = $ , , nodurile grafului , ` i fr a restrnge generalitatea le
putem considera aezate n ordinea descresctoare a gradelor. Adugm acestui graf un alt nod
i unim nodul cu primele 3 noduri ale lui , ` . Obinem astfel un nou graf
, , ` H $ H I H H M_Q
cu ", &= .
10
Cazul 2: Exist printre nodurile $ , , M_ Q noduri cu care nu este
adiacent. Ideea este de a reduce acest caz la cel anterior, fr a
modifica gradele nodurilor grafului ,.
Dar 34
@ 34 " &, iar 34 " & @ 1 (pentru c este adiacent cu
), rezult ca * 2, , ?, * , astfel nct + ) i
+ ). Facem atunci urmtoarea transformare: Figura I.6
$
I
+
Figura I.7
, , + H H + .
Repetm transformarea pn cnd toate nodurile $ , , M_ Q sunt adiacente lui . Notnd
graful obinut n urma tuturor transformrilor ,$ = #, )
, putem considera graful , ` = ,$
, care are , `
= ` .
Enunul teoremei ne ajut s construim un algoritm ce determin dac un ir de
numere poate fi multisetul gradelor unui graf neorientat simplu, repetnd pasul de reducere
a unui multiset cu n elemente la unul cu n-1 elemente ` . Algoritmul se ncheie n una din
cele dou situaii: fie despre ultimul multiset obinut se poate observa uor c este unul ce
poate fi multisetul gradelor unui graf simplu, fie nu se mai pot efectua reduceri corecte.
n mod evident exist dou multiseturi triviale pentru irul gradelor unui graf:
(a) multisetul format numai din 0
(b) multisetul format numai din 1 (sunt n numr par dac iniial B 3 C 1 E3 2), pentru
c la fiecare pas de reducere i, suma gradelor scade cu 23 )
La fiecare pas i, avem multisetul = ~3Q
@ 3Q$
@ @ 3 . Acestuia sigur nu i
mai putem aplica procedeul de reducere dat de teorem dac are loc una din situaiile:
(c) ? 3Q
(nu mai am 3Q
+1 elemente n multiset)
(d) 3QMN 0 (al 3Q +1 - lea element din multiset s nu fie 0, altfel, aplicnd pasul de
N_
reducere multisetului , elementul va deveni -1)
11
Algoritmul I.3
dac B 3 C 1 E3 2) sau fgh i 3 > K
B 3 sau 3 > ? 1 STOP nu e multisetul gradelor unui graf simplu
RRRRR
pentru k1, ?
dac 3+ = 0 sau 3+ = 1 STOP e multisetul gradelor unui graf simplu /* (a), (b) */
dac 3+QM = 0 sau ? * 3+ STOP nu e multisetul gradelor unui graf simplu /* (c), (d) */
RRRRRR
pentru i1, 3+
3+Q 3+Q 1
dac 3+QM 3+QM_ /* dup o reducere, 3+QM poate deveni mai mic dect 3+QM_
Criteriile pentru ca un multiset s fie irul gradelor unui graf simplu sunt date i de
urmtorul rezultat:
s, Gallai)
Teorema I.4 (Erd
B 3 * * 1
| B+Q min 3 , *
, * 1, , ?.
n tratarea problemei clasice a verificrii dac un multiset este sau nu ir grafic, ns,
este preferat rezultatul dat de Havel i Hakimi datorit simplitii algoritmului dedus.
12
II. Reprezentarea fr autointersecii a
grafurilor simple
1. Grafuri planare
Definiii:
Spunem c un graf neorientat simplu , = #, )
este graf planar dac admite o
reprezentare grafic n plan astfel nct muchiile sale s nu se intersecteze n alte puncte afar
de nodurile sale. O astfel de reprezentare (notat ) poart numele de hart, iar graful , se
numete graful suport al hrii . Spunem n acest caz c M este o reprezentare plan fr
autointersecii a grafului G.
Notaii:
(sau simplu, ) mulimea feelor din reprezentarea grafului , prin harta ;
3 .
gradul unei fee .
;
Pentru un graf planar se poate defini harta dual a unei hri , notat , astfel:
#
= ~. | . ? ?s ? ?%E% . .
)
={ . . | , . , . #
, . . ?%std E ?% 3t
Exemplu:
Figura II.1
13
Cu noiunile anterioare, putem formula urmtoarele:
Observaii:
- Un graf planar poate avea mai multe hri fiecare corespunznd unei alte reprezentri plane;
-
3 .
= 2|)|
- Dac este graf conex, atunci
~;
- |)
| = |)
|; |#
| = |
|;
- Unei muchii critice din harta i se asociaz o bucl n ;
- 3 .
= 3 .
;
|#| |)| | || = 2
Demonstraie: Deoarece este o hart conex este asigurat existena unui arbore parial
= #, )
,
al hrii , unde
are un singur element, faa infinit. Cunoatem
urmtoarea proprietate a arborelui |)
|=|#|-1, din care rezult c
|#| |)
| | |
|=|#| |#| 1
| 1= 2.
Rmne s artm c relaia se pstreaz adugnd la cele |)| |#| | 1 p elemente din
mulimea ) )
=~ , , Y , muchiile terse din graful , pentru obinerea arborelui
parial .
La adugarea n arborele a unei muchii , 1, , aceasta mparte faa n care este
introdus n dou fee, deci att numrul muchiilor, ct i cel al feelor crete de fiecare dat
cu o unitate, iar numrul nodurilor rmne, n mod evident, constant. Adic
|# H
| |) H
| | | H
| = |#| |)
| | 1
| |
| | 1
= |#| |)
| | |
| = 2
n mod similar, formula lui Euler valabil pentru arborele parial se conserv la introducerea
tuturor muchiilor din mulimea ) )
.
Din Teorema Euler rezult o serie de corolare, ce pot fi considerate drept criterii de
verificare a non-planaritii unor grafuri particulare, facil de implementat. Dm n continuare
cteva dintre acestea.
Corolarul II.2
Fie , = #, )
un graf planar, |#| @ 3. Atunci |)| 3|#| 6.
14
$
2|)| = 3 .
@ 3|| => || I |)| (1)
Corolarul II.3
Fie , = #, )
un graf conex, planar, simplu. Atunci 6 ,
5.
Lema II.4
Graful complet nu este graf planar.
Demonstraie: Presupunnd prin absurd c graful este planar, din Corolarul II.2 ar rezulta
|)| = 10 3|#| 6 = 9!
Lema II.5
Demonstraie: Prin reducere la absurd, presupunem c graful I,I ar fi planar. Cum lungimea
celui mai mic ciclu n acest graf este patru, rezult c fiecare fa a oricrei hri are gradul cel
puin patru, de unde inegalitatea 4|| 3 .
= 2|)| = 18. De aici obinem: || 4.
Dar din Teorema lui Euler deducem inegalitatea 2 = |#| |)| | || 6 9 | 4 = 1.
Contradicie!
Demonstraia acestui rezultat fundamental pentru teoria grafurilor depete cadrul i intenia
acestei lucrri. Cititorul care dorete s intre n detaliile acesteia poate consulta, spre exemplu,
[1] sau [2].
15
2. Planaritate i hamiltoneitate
Teorema II.7
Fie = #, ),
o hart conex a unui graf planar, un ciclu elementar i
` , `` cele dou regiuni determinate de n plan. Notm cu .` , @ 1 i 1 ` numrul i-feelor
din ` i respectiv numrul vrfurilor lui din ` care nu sunt n . Analog, notm cu
.`` , @ 1 i 1 `` corespunztor regiunii ``. Atunci avem
A 2
.` .``
= 21 ` 1 ``
.
.
Demonstraie: Not cu ` numrul muchiilor lui din ` . Teorema poliedral a lui Euler
aplicat n cazul hrii induse n de mulimea vrfurilor din ` mpreun cu cele ale lui
conduce la urmtoarea egalitate:
1 ` | |#
|
` | |)
|
| A .` | 1 = 2
2
.` = |)
| | 21 ` 2.
1
Vezi figura II.2
2
Grafurile k-conexe sunt cele n care trebuie eliminate cel puin k muchii pentru a deveni ne-conex, iar grafurile
cubice sunt cele n care orice nod are gradul trei
16
Analog obtinem pentru zona exterioar ``: 2
.`` = |)
| | 21 `` 2.
Scznd ultimele dou relaii obinem concluzia teoremei.
A 2
.` .``
= 0.
Definiii:
Fie , = #, )
un graf hamiltonian i un ciclu hamiltonian al su. Notm cu
, = #, ) )
17
Cu aceste pregtiri dm acum, fr demonstraie, rezultatul anunat:
Teorema II.9
Fie , = #, )
un graf hamiltonian, o hart a sa i un ciclu hamiltonian al
grafului ,. Atunci , este planar dac i numai dac , ,
este graf bipartit.
Am vzut n prima seciune a acestei lecii faptul c nu orice graf este planar. ntr-
adevr, teorema poliedral a lui Euler reprezint o constrngere serioas n acest sens. Cu
ajutorul ei am putut demonstra cteva corolare la captul crora am vzut ca grafurile K3,3 i
K5 nu sunt planare. Mai mult, teorema lui Kuratowski ne arat faptul c orice graf care conine
n interiorul lui unul din grafurile K3,3 sau K5 nu este planar (nu admite o reprezentare n plan
fr autointersecii). Totui, ar fi de dorit ca orice graf s poat admite, ntr-o form sau alta, o
reprezentare fr autointersecii. Acest fapt ntr-adevr are loc, dar pentru a putea ntelege mai
bine n ce fel anume, avem nevoie de cteva noiuni premergtoare.
Definiie: Numim triangularizare a unei suprafee 4 o acoperire a acelei suprafee cu
triunghiuri pentru care orice dou triunghiuri ale acoperirii sau nu au nimic n comun, sau au
exact un vrf n comun sau au exact o latur comun.
Figura II.3 arat un exemplu de triangularizare de suprafa, pentru cazul sferei.
Este uor de remarcat c orice triangularizare a unei
suprafee geometrice poate fi privit ca o reprezentare grafic fr
autointersecii a grafului asociat acestei triangularizri. n acest
moment, ne putem ntreba dac nu cumva are loc reciproca acestei
observaii simple; mai exact: este adevrat c orice graf poate fi
reprezentat fr autointersecii pe o suprafa bine aleas? Pentru a
rspunde la aceast ntrebare mai precis, amintim pe scurt un
rezultat clasic din domeniul topologiei. Figura II.3
Teorem (de caracterizare a suprafeelor compacte i conexe)
Orice suprafa compact i conex este homeomorf5 cu
o sfer sau cu o -sfer (o sfer la care s-au ataat mnere).
Pentru o mai bun ntelegere a acestui rezultat, figura alturat
exemplific noiunea de -sfer pentru cazul unei sfere cu trei Figura II.4
3
aceast seciune are un caracter mai puin formal, ntruct implic prezentarea i utilizarea unor noiuni de un
nivel matematic avansat n raport cu nivelul acestei lucrri
4
compacte, conexe
5
altfel spus: echivalent din punct de vedere topologic
18
mnere (3-sfere).
Aadar, ntrebarea din paragraful precedent se traduce cu ajutorul teoremei amintite anterior
la urmtorul rezultat:
Definiie:
Numim genul unui graf cel mai mic numr natural pentru care graful poate fi
reprezentat pe o g-sfer fr autointersecii.
Spre exemplu, orice graf planar are genul 0. Cum grafurile K3,3 i K5 nu sunt planare,
nseamn ca ele au genul cel puin 1. ncheiem aceast seciune menionnd c aceste dou
grafuri au genul exact 1, ele putnd fi reprezentate, fr autointersecii, pe un tor.
19
III. Cuplaje
1. Noiuni introductive
Vom ncepe acest capitol prin a prezenta o problem din viaa cotidian care i va gsi
rezolvarea n mod firesc n acest cadru, al teoriei grafurilor.
Definiii:
Fie , = #, )
un graf simplu. Se numete cuplaj al grafului , o mulime de muchii
) cu proprietatea c oricare dou sunt neincidente (mulime independent de muchii).
Exemplu:
Figura III.1
Spunem c un lan sau ciclu elementar este alternant dac muchiile sale aparin
= ) . Dac acesta are capetele nesaturate, l numim
alternativ cuplajului i mulimii
lan (ciclu) deschis.
Exemplu:
= L12,3,4,5,7P lan alternant deschis
20
O mulime de noduri # se numete transversal dac orice muchie a grafului ,
are cel puin unul din noduri n mulimea .
Un cuplaj se numete perfect dac acesta satureaz mulimea #. Dac din mulimea
de noduri # rmne exact un nod nesaturat, numim cuplajul aproape perfect.
Notaii:
LP graful indus de mulimea ;
Observaii:
III.1) Un graf cu numrul de noduri impar nu poate conine un cuplaj perfect.
21
Un prim rezultat important este:
Pentru implicaia invers, fie un cuplaj pentru care nu exist niciun lan
alternant deschis. Prin reducere la absurd, presupunem c nu este un cuplaj maximal. Fie
un astfel de cuplaj maximal. Atunci, n mod evident, | | > ||, adic | | || > 0.
Dar, conform Observaiei III.3:
| | || = numrul componentelor conexe din L P de tip ,
numrul
componentelor conexe din L P de tip ,
.
22
2. Algoritmul ungar
6
Construirea lanului lund nodurile n ordinea lor lexicografic poate fi mbuntit cu ajutorul arborilor
arborilor M-alternani. Cititorul poate studia aceast variant n lucrarea [1], pag. 81-84
23
START
cuplaj
arbitrar
STOP
satureaz
Este X DA
pe
saturat ?
NU
d nesaturat
Sd
T
STOP
DA
|4
| ||
= ?
NU
j
SS H d
TT H j
LL H dj
Este j
= )
LL H jd
saturat ?
NU DA
lan L=Ld, , jP jd
alternant deschis
Exemplu:
Fie graful , = , , J j , , jJ , )
. Aplicm
acestuia algoritmul ungar n vederea obinerii unui cuplaj
perfect.
Pornim cu = j .
X saturat ?
NU: z = $ , S={$ }, T=
= ?
NU: y = j$ ; L = [$ j$]
j saturat ?
NU: = L j , $ j$ P;
= L j , $ j$ P
24
X saturat ?
NU: z = I , S={I }, T=
= ?
NU: y = j ; L = [I j ]
j saturat ?
DA: z = ; L = LI j , j P;
S ={I , }, T={j }
= ?
NU: y = jI ; L = LI j , j , jI ]
j saturat ?
DA: = L jI , $ j$ , I j P;
= L jI , $ j$ , I j P;
X saturat ?
NU: z = J , S={J }, T=
= ?
NU: y = jI ; L = [J jI]
j saturat ?
DA: z = ; L = LJ jI , jI P;
S ={J , }, T={jI }
= ?
NU: y = j ; L = LJ jI , jI , j P;
j saturat ?
DA: z = I ; L = LJ jI , jI , j , j I P
S ={J , , I }, T={jI , j }
=?
NU: y = j$ ; L =LJ jI , jI , j , j I , I j$ P
j saturat ?
DA: z = $ ; L = LJ jI , jI , j , j I , I j$ , j$ $ P
S ={J , , I , $ }, T={jI , j , j$ }
= ?
NU: y = jJ ; L = LJ jI , jI , j , j I , I j$ , j$ $ , $ jJ P
j saturat
NU: = LJ jI , j , I j$ , $ jJ P;
X saturat ?
DA: STOP
25
3. Algoritmul Kuhn (1955) Munkres (1957)
Teorema III.6
Fie o etichetare valid a grafului ,. Dac ,V conine un cuplaj perfect , atunci
este un cuplaj optim pentru graful ,.
Demonstraie: Presupunnd c ,V conine un cuplaj perfect , cum #
= #,V
=
#,
rezult c este un cuplaj perfect i pentru graful ,, atunci
= n
.
Dar cum toate muchiile conin o singur dat toate nodurile grafului , i, fiind din graful
,V ponderea unei muchii este suma etichetelor extremitilor ei, rezult c n
=
1
. n schimb, pentru un cuplaj perfect oarecare al grafului , are loc relaia anterioar
cu inegalitate: " & = n
1
. Comparnd, obinem c
@
" &, deci este un cuplaj optim al grafului ,.
26
optim n graful ,, deci algoritmul se ncheie. Dac, n schimb, nu exist un cuplaj perfect n
graful ,V , nseamn c, aplicnd algoritmul ungar am ajuns n situaia 4z
= i, n acest
caz, efectum o reetichetare a nodurilor grafului , dup urmtoarea regul:
- calculm V = min c
| j
j
;
- alegem etichetarea valid
1
V , dac 1
1
= 1
| V , dac 1
1
, altfel
- determinm noul graf ,V .
Aceste trei operaii asigur apariia n graful ,V a unui nou nod nesaturat al mulimii
cu ajutorul cruia extindem cuplajul (tehnica diferenei simetrice fa de lanul -alternant
deschis deja cunoscut) la un nou cuplaj . Dup care este reluat algoritmul, pn la
obinerea cuplajului optim.
27
Etichetare
valid
Determinarea
,V , un cuplaj n ,V
Este X
saturat este cuplaj
n ,V ? optim
Calculul pentru
V , , ,V
j 4z
,V ,V
28
Bibliografie
[1] Bondy, J.A., Murty, U.S.R, Graph Theory with Applications, Elsevier Science
Publishing, 1976
[2] Diestel, R., Graph Theory, Springer-Verlag Heidelberg, 2005
[3] Popescu, D.R., Combinatoric i teoria grafurilor, Societatea de tiine Matematice din
Romnia, 2005
[4] Tomescu, I., Probleme de combinatoric i teoria grafurilor, Ed. Didactic i
Pedagogic, Bucureti, 1981
29