Prof.

Popescu Rozica - Maria

Lecii complementare
de
teoria grafurilor










Editura Sfntul Ierarh Nicolae
ISBN 978-606-577-028-7

2

CUPRINS



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

Capitolul II. Reprezentarea fr autointersecii a grafurilor simple ................. 13
II.1. Grafuri planare ........................................................................................ 13
II.2. Planaritate i hamiltoneitate .................................................................... 16
II.3. Reprezentri grafice fr autointersecii ale grafurilor ........................... 18

Capitolul III. Cuplaje ....................................................................................... 20
III.1. Noiuni introductive ............................................................................... 20
III.2. Algoritmul ungar ................................................................................... 23
III.3. Algoritmul Kuhn - Munkres .................................................................. 26

Bibliografie ....................................................................................................... 29





3



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. ).







4

I. Grafuri definite prin multiseturi.
Multisetul gradelor unui graf



1. Multiseturi


Conceptul de multiset reprezint o generalizare a noiunii matematice elementare de
mulime. Simplu spus, un multiset reprezint o mulime n care fiecare dintre elementele ei se
poate repeta de un numr prestabilit de ori. Dup cum bine tim, acest lucru nu este permis n
cazul noiunii standard de mulime. Pentru a da rigoare acestui concept dm urmtoarea

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:

:=

, ,

: = | ;

:= | , || = ;

2. Grafuri definite prin multiseturi

n aceast seciune vom prezenta binecunoscutele noiuni de graf neorientat, graf
orientat i izomorfism de grafuri dintr-o perspectiv mai rar ntlnit, folosindu-ne de
conceptul de multiset introdus n seciunea precedent. Aceast perspectiv are avantajul de a
da posibilitatea unui graf de a avea bucle, precum i un numr orict de mare de muchii ntre
oricare dou noduri ale sale. Vom prezenta de asemenea n mod succint prin prisma acestei
perspective mai puin familiare cteva noiuni de baz mai rar ntlnite de teoria grafurilor,
precum cea de hipergraf, hipergraf

k-uniform i graf suport.

5

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.
Un graf neorientat simplu peste V este o pereche G=(V,E), unde

. Vom nota
muchiile acestui graf, de asemenea, cu e=uv. Observm c un graf neorientat simplu este un
1-graf neorientat fr bucle.
Un graf orientat peste V este o pereche G=(V,E), unde E=

, este un multiset
peste

(altfel spus, un multiset de perechi ordonate). Un element e=(u,v) din E se numete

arc, iar dac u=v, se numete bucl..
Dac n definiia grafului simplu nlocuim exponentul 2 printr-un numr oarecare
, obinem definiia unui hipergraf k-uniform G=(V,E), unde

. Mai general, dac

, atunci G=(V,E) se numete hipergraf.

Prin tergerea buclelor unui graf neorientat G=(V,E) i prin nlocuirea multimuchiilor
prin multimuchii cu multiplicitatea egal cu 1, obinem graful simplu suport al
acestuia. Prin ignorarea orientrii arcelor unui graf orientat G=(V,E) obinem graful
neorientat suport al acestuia.
Fie

dou grafuri neorientate. Spunem c

sunt
izomorfe i vom nota

dac exist o funcie bijectiv :

cu proprietatea:

, , ,
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.


3. Multisetul gradelor. Teoreme de caracterizare


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:

Definiie: Fie = , un graf neorientat i =

, ,

mulimea nodurilor sale

considerate n ordinea cresctoare a gradelor acestora. Numim multisetul gradelor nodurilor
lui G, sau secvena gradelor, sau nc irul gradelor nodurilor lui G multisetul
=

. . .

, unde

reprezint gradul nodului

. Vom
nota n cele ce urmeaz cu min

i max

.

6
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
Un multiset

, ,

(unde 1) este multisetul gradelor unui

graf neorientat = , dac i numai dac este ndeplinit condiia

0 2.
Demonstraie: Implicaia direct este imediat. Se presupune c

este multisetul gradelor

grafului neorientat = , i atunci

= 2|| 0 2).
Reciproc, s presupunem c avem un ir de numere

, ,

care ndeplinete
condiia din enun i vrem s artm c acesta poate fi multisetul gradelor unui graf neorientat.
Pentru aceasta vom construi un astfel de graf = , . Fie =

, ,

nodurile
acestuia.
Din relaia

0 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

, ,

. Construim n fiecare nod

un numr maxim de bucle, astfel nct

, 1 i unim cele 2k noduri de grad impar astfel:

,
unde

/
este graful format din vrful

i o bucl

cu
multiplicitatea

/2 (vezi Fig. I.1).

Se observ cu uurin c multisetul gradelor grafului construit coincide cu

.
. . . . . .

Figura I.1

7

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

1 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 */
pentru i1,

muchie

de

/2 ori
dac ultimul_impar=0 /* dac toate nodurile de grad impar de dinainte sunt legate n perechi, l
ultimul_impari memorm pentru a fi legat cu urmtorul de grad impar, ca i el */
altfel /* legm acest nod cu ultimul de dinaintea sa de grad impar,
muchie
_

memorat n ultimul_impar */
ultimul_impar0


Teorema I.2

Un multiset

(unde 2) este multisetul gradelor

unui graf neorientat fr bucle = , dac i numai dac sunt ndeplinite simultan
urmtoarele condiii:

0 2;

Demonstraie: ncepem cu implicaia direct. Fie = , graf neorientat cu =

.
Proprietatea este, evident, ndeplinit.
Dac este graf neorientat fr bucle, nsemn c cel mai mare grad al unui nod din graf

este mai mic dect numrul de muchii existente n graf,

|| =

de unde

.
Reciproc, fie un multiset

ce ndeplinete condiiile , . Construim un graf

= , neorientat, fr bucle, cu =

. Ideea este aceea de a construi mai nti un

8
graf

neorientat cu bucle astfel nct

, dup algoritmul dat de Teorema

II.1. Transformm apoi buclele grafului

n multimuchii astfel:


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:


Obinem astfel un nou graf

, cu

.
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.
Avem, de aici, c numrul de bucle n este de

,
iar numrul de muchii din graful

este

.
Vrem, deci, s artm c

,

ceea ce este echivalent cu 2

. Dar aceast relaie este ndeplinit

de

, deci e ndeplinit i pentru

.
Aadar numrul de bucle din n

este ntr-adevr cel mult egal cu numrul de muchii din

graful

, ceea ce completeaz demonstraia teoremei.

Aceast demonstraie ne ajut s formulm un algoritm ce primete ca date de intrare
un ir de n numere naturale, verific dac el poate reprezenta multisetul gradelor unui graf
neorientat fr bucle i n caz afirmativ l construiete.










muchii
Figura I.2
Figura I.3
Figura I.4
9

Algoritmul I.2

dac

1 2) sau

>

STOP nu e multisetul gradelor unui graf neorientat fr bucle

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 */
nr_bucle_c0 /* numtul de bucle ale nodului curent */
nr_bucle_ant0 /* numtul de bucle rmase netransformate ale nodului anterior */
pentru i1,

nr_bucle_c

/2
dac

1 2
dac ant_deg_impar0 /* verificm dac existun nod de grad impar anterior numai cu
bucle*/
Ee =
__

, = 1 /* mbogim mulimea
muchiilor E */
altfel
ant_deg_impi /* reinem nodul pentru a fi unit cu urmtorul de grad
impar */
dac nr_bucle_c>0
dac ant_cu_bucle=0 /* dac nu mai exist bucle nainte, reinem nodul */
ant_cu_buclei; nr_bucle_antnr_bucle_c
altfel
mmax(nr_bucle_ant, nr_bucle_c) /* transformm numrul maxim posibil de
bucle */
muchie e=
__

; 2m
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).

10
dac nr_bucle_ant=0
pentru i1, __

repet
E(e=

/* scoatem o muchie din E */

pn cnd

__
i

__
/* evitm cazurile cnd bucla este
r(e) r(e)-1 incident cu muchia

, pentru c nu
dac r(e)=0 putem efectua transformri */
E e=

1
E

1

Prezentm acum teorema care ne d condiiile necesare i suficiente ca un ir de
numere naturale s poat fi multisetul gradelor unui graf neorientat simplu (numit, n acest
caz, ir grafic).

Teorema I.3 (Havel, Hakimi)

Un multiset

, unde 2 i

1 este
multisetul gradelor unui graf neorientat simplu = , dac i numai dac multisetul

1,

1, ,

1,

, ,

este multisetul gradelor unu graf neorientat simplu.
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

noduri ale lui

. Obinem astfel un nou graf

cu =

.
Implicaia direct. Fie = , neorientat simplu cu

, ,

nodurile aezate n ordinea

descresctoare a gradelor i =

. Vrem s demonstrm c noul multiset

obinut din

este multistul gradelor nodurilor unui alt graf

. l construim cu ajutorul
grafului i lum discuie dou cazuri posibile.
Cazul 1: Nodul

este adiacent cu

, ,

. Eliminnd nodul

i muchiile incidente
acestuia obinem un graf

simplu, cu

11
Cazul 2: Exist printre nodurile

, ,

noduri cu care

nu este
adiacent. Ideea este de a reduce acest caz la cel anterior, fr a
modifica gradele nodurilor grafului .
Fie 2, ,

1 astfel nct

. Dar,

,
rezult c

1 astfel nct

.
Dar

, iar

1 (pentru c

este adiacent cu

), rezult ca 2, , , , astfel nct

. Facem atunci urmtoarea transformare:

obinnd un noug graf

.
Repetm transformarea pn cnd toate nodurile

, ,

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

1 2), pentru
c la fiecare pas de reducere i, suma gradelor scade cu 2

)
La fiecare pas i, avem multisetul

. Acestuia sigur nu i
mai putem aplica procedeul de reducere dat de teorem dac are loc una din situaiile:
(c)

(nu mai am

+1 elemente n multiset)
(d)

0 (al

+1 - lea element din multiset s nu fie 0, altfel, aplicnd pasul de

reducere multisetului

, elementul va deveni -1)

Figura I.6
Figura I.7
12

Algoritmul I.3
dac

1 2) sau

>

sau

> 1 STOP nu e multisetul gradelor unui graf simplu

pentru k1,

dac

= 0 sau

= 1 STOP e multisetul gradelor unui graf simplu /* (a), (b) */

dac

= 0 sau

STOP nu e multisetul gradelor unui graf simplu /* (c), (d) */

pentru i1,

1
dac

/* dup o reducere,

poate deveni mai mic dect

n cazul n care naintea reducerii erau egale*/
reordonm multisetul

, ,

/* pentru un singur element rmas */
dac

= 0 STOP e multisetul gradelor unui graf simplu

altfel STOP nu e multisetul gradelor unui graf simplu


Criteriile pentru ca un multiset s fie irul gradelor unui graf simplu sunt date i de
urmtorul rezultat:

Teorema I.4 (Erd s, Gallai)
Un multiset

, unde 2 i

1 este
multisetul gradelor unui graf neorientat simplu = , dac i numai dac

0 2);

1 min

, 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.



13
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.
O hart a grafului va mpari planul n pri conexe pe care le numim fee,
mulimea muchiilor ce o delimiteaz poart numele de frontier, iar numrul acestora este
gradul feei. n fiecare hart exist o fa infinit (cea exterioar, nemrginit), iar o muchie
interioar acestei fee se va numi muchie critic.
Notaii:
(sau simplu, ) mulimea feelor din reprezentarea grafului prin harta ;

gradul unei fee ;

Pentru un graf planar se poate defini harta dual a unei hri , notat

, astfel:

={

| ,

}
Exemplu:

Figura II.1
14

Cu noiunile anterioare, putem formula urmtoarele:
Observaii:
- Un graf planar poate avea mai multe hri fiecare corespunznd unei alte reprezentri plane;
-

= 2||
- Dac este graf conex, atunci

~;
- |

| = ||; |

| = ||;
- Unei muchii critice din harta i se asociaz o bucl n

;
-

;


Pentru grafurile planare are loc urmtorul rezultat clasic:

Teorema II.1 (Formula poliedral a lui Euler)
Fie = , un graf planar conex i = , , o hart a acestuia. Atunci are loc
relaia:
|| || || = 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 =

, ,

, 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
|

| |

| |

| = || || 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.
Demonstraie: Fie = , , o hart a grafului planar = , . Din condiia || 3
rezult irul de inegaliti
15

2|| = 3|| =>

||

|| (1)
Din Teorema Euler i relaia (1) rezult imediat
|| || || = 2 || ||

|| = ||

|| =>2 ||

|| =>|| 3|| 6.
Observaie: Pentru implementare, acest corolar ne d un criteriu de non-planaritate: n
condiiile teoremei, dac inegalitatea din concluzie nu are loc, atunci graful nu este planar.
Corolarul II.3
Fie = , un graf conex, planar, simplu. Atunci 5.
Demonstraie: Presupunem prin reducere la absurd c > 5; atunci

6, ,
de unde 2|| 6||, deci || 3||. ns din corolarul anterior cunoatem relaia ||
3|| 6. Contradicie.
Un alt rezultant important n teoria grafurilor planare, pe lng Teorema poliedral a
lui Euler este Teorema Kuratowski, ce reprezint o caracterizare simpl, remarcabil, a
grafurilor planare. n vederea enunrii acestui rezultat, prezentm dou rezultate
premergtoare i o definiie.
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
Graful
,
nu este graf planar.
Demonstraie: Prin reducere la absurd, presupunem c graful
,
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||

= 2|| = 18. De aici obinem: || 4.

Dar din Teorema lui Euler deducem inegalitatea 2 = || || || 6 9 4 = 1.
Contradicie!
Definiie: Se numete subdiviziune a unui graf = , graful obinut prin inserarea de
noduri n interiorul muchiilor.

Cu aceste pregtiri, putem da acum
Teorema II.6 (Kuratowski)
Un graf G este este planar dac i numai dac nu conine subdiviziuni ale grafurilor

,
i

.
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].
16


2. Planaritate i hamiltoneitate


Este un lucru binecunoscut faptul c noiunea de hamiltoneitate, dei uor de definit,
nu admite caracterizri elementare. Totui, n cazul grafurilor planare, aceasta admite o
caracterizare mai simpl. n acest sens, vom prezenta n aceast seciune o condiie necesar
pentru ca grafurile planare s conin un ciclu hamiltonian, cunoscut sub numele de teorema
lui Grinberg. Acest rezultat deosebit de interesant, a fost folosit n literatura de specialitate
pentru a construi exemple de grafuri planare ne-hamiltoniene cu proprieti suplimentare
deosebite. Un astfel de exemplu a fost dat de Tutte
1
(1946) pentru a nega o conjectur
faimoas a lui Tait (1880), care afirma c orice graf 3-conex cubic planar are un ciclu
hamiltonian
2
. Importana acestei conjecturi n teoria grafurilor este central, ntruct dac
aceasta s-ar fi dovedit adevrat, ar fi implicat faimoasa teorem a celor patru culori.
Privind n sens invers, ne putem ntreba n ce condiii un graf despre care tim c este
hamiltonian poate fi planar. Teorema cu care ncheiem aceast seciune rspunde la aceast
ntrebare, dnd o condiie necesar i suficient ca un graf hamiltonian s fie planar.

Prezentm mai nti un rezultat cu grad sporit de generalitate.
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

numrul i-feelor
din

i respectiv numrul vrfurilor lui din

care nu sunt n . Analog, notm cu

, 1 i

corespunztor regiunii

. Atunci avem
2

= 2

.
.
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 = 2
Sau, innd cont c || = ||,

= 1

.
Pe de alt parte

= 2

||. Eliminnd

din ultimele dou relaii obinem

2

= ||

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
17
Analog obtinem pentru zona exterioar

: 2

= ||

2.
Scznd ultimele dou relaii obinem concluzia teoremei.

Teorema II.8 (Grinberg)
Fie = , , o hart conex a unui graf planar, un ciclu hamiltonian i

cele dou regiuni determinate de n plan. Notm cu

, 1 numrul i-feelor
din

, respectiv

. Atunci avem
2

= 0.
Demonstraie: Se observ uor c acest rezultat este o consecin direct a teoremei
precedente, deoarece n cazul unui ciclu hamiltonian, cu notaiile anterioare, avem

= 0.


Dup cum am amintit n paragraful de
prezentare al acestei seciuni, graful alturat
este un exemplu de graf 3-conex cubic
planar ne-hamiltonian, exemplu care infirma
n 1946 o conjectur dificil, cu o vechime
de 75 de ani la acel moment. Faptul c acest
graf este 3-conex cubic i planar se observ
direct din reprezentarea sa grafic, ne-
hamiltoneitatea fiind o consecin a teoremei
lui Grinberg.



Prezentm n continuare rezultatul care ne spune n ce condiii un graf hamiltonian este
planar. Pentru aceasta vom introduce cteva noiuni premergtoare.

Definiii:
Fie = , un graf hamiltonian i un ciclu hamiltonian al su. Notm cu

= , graful complementar n al ciclului . Numim, n acest caz, muchiile

grafului

corzi (n raport cu ciclul ).

Fie o hart a grafului . Cu notaiile anterioare construim graful de intersecie al
corzilor lui

n raport cu harta , notat

, , astfel:
- nodurile acestuia vor fi corzile grafului

;
- considerm c ntre dou corzi avem muchie dac acestea se intersecteaz n harta .

Figura II.2 Graful Tutte
18

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.

3. Reprezentri grafice fr autointersecii ale grafurilor
3


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 K
3,3
i
K
5
nu sunt planare. Mai mult, teorema lui Kuratowski ne arat faptul c orice graf care conine
n interiorul lui unul din grafurile K
3,3
sau K
5
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.
Teorem (de caracterizare a suprafeelor compacte i conexe)
Orice suprafa compact i conex este homeomorf
5
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

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
Figura II.3
Figura II.4
19

mnere (3-sfere).
Aadar, ntrebarea din paragraful precedent se traduce cu ajutorul teoremei amintite anterior
la urmtorul rezultat:

Teorema II.9 (de reprezentare fr autointersecii a grafurilor)
Orice graf poate fi reprezentat fr autointersecii pe o sfer sau pe o -sfer. Graful
este planar dac i numai dac acesta admite o reprezentare fr autointersecii pe o sfer.
Demonstraie: n ciuda dificultii aparente a enunului, demonstraia este imediat.
ntr-adevr, sa presupunem mai nti c graful este planar. Atunci, prin proiecie
stereografic acesta poate fi reprezentat fr autointersecii pe o sfer. Tot cu ajutorul
proieciei stereografice se vede uor c orice graf care admite o reprezentare fr
autointersecii pe o sfer este planar.
Presupunem acum ca graful nu este planar. Fie o hart plan a acestuia i
0

proiecia stereografic a hrii pe sfer. Pentru fiecare dou muchii care se intersecteaz n

0
ntr-un punct diferit de vrfurile lui , adugm cte un mner sferei care s foloseasc
drept pasaj de trecere pentru una din cele dou muchii, i modificm harta
0
n
concordan. Prin adugarea succesiv a unor astfel de mnere, obinem rezultatul dorit.

Aceast teorem ndreptete urmtoarea:
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 K
3,3
i K
5
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.










20
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.
S presupunem c ntr-o companie avem un numr de lucrtori i tot attea locuri de
munc. Fiecare loc de munc are specificul su i fiecare angajat este calificat pentru unul sau
mai multe dintre acestea. Problema const n a determina o mprire a locurilor de munc,
astfel nct fiecare lucrtor s fie angajat conform uneia dintre calificrile sale.
Pentru a o rezolva vom introduce o nou noiune, aceea de cuplaj, mpreun cu o serie
de observaii i rezultate pregtitoare.
Aadar,
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).
Nodurile grafului care aparin muchiilor cuplajului se numesc saturate, iar
cele care nu aparin cuplajului poart numele de noduri nesaturate.
Exemplu:






Spunem c un lan sau ciclu elementar este alternant dac muchiile sale aparin
alternativ cuplajului i mulimii

= . Dac acesta are capetele nesaturate, l numim

lan (ciclu) deschis.
Exemplu:

= 12,3,4,5,7 lan alternant deschis

= 1,2,3,4,5,6 lan alternant nchis

Figura III.1
21
O mulime de noduri se numete transversal dac orice muchie a grafului
are cel puin unul din noduri n mulimea .
Spunem c o mulime de noduri poate fi saturat dac exist un cuplaj care
s conin toate nodurile mulimii .
Un cuplaj se numete perfect dac acesta satureaz mulimea . Dac din mulimea
de noduri rmne exact un nod nesaturat, numim cuplajul aproape perfect.
Notaii:
graful indus de mulimea ;

cuplaj de cardinal maxim (l numim cuplaj maximal);

transversal de cardinal minim (o numim transversal minimal);

Observaii:
III.1) Un graf cu numrul de noduri impar nu poate conine un cuplaj perfect.
III.2) Fie

diferena simetric a dou cuplaje

. Componentele conexe ale

grafului

sunt de patru tipuri (am colorat cu negru muchiile cuplajului

i cu rou
pe cele ale lui

):

ciclu

alternant (numim, pe scurt, component de

tip );



lan

alternant cu un capt

saturat i
cellalt

saturat (component tip

);

lan

alternant cu ambele capete

saturate (component tip

);

lan

alternant cu ambele capete

saturate (component tip

).
III.3) |

| |

| = numrul componentelor conexe din

de tip

numrul
componentelor conexe din

de tip

.

22

Un prim rezultat important este:
Teorema III.1 (Berge)
Fie = , un graf simplu cu i un cuplaj al acestuia. Atunci este un
cuplaj maximal dac i numai dac nu exist n niciun lan alternant deschis.
Demonstraie: Pentru implicaia direct raionm prin reducere la absurd. Fie un cuplaj
maximal i un lan alternant deschis. Definim un nou cuplaj ca fiind diferena simetric
dintre cuplajul i mulimea muchiilor lanului :

= . Cum este lan

alternant deschis atunci |

| = || 1, deci cuplajul

este de cardinal strict mai mare

dect , contradicie cu maximalitatea cuplajului .
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

de tip

numrul
componentelor conexe din

de tip , .
De aici, deducem c numrul componentelor conexe din

de tip

este strict
pozitiv, deci exist cel puin un lan

n , adic alternant deschis. Contradicie!

Prezentm n cele ce urmeaz, fr demonstraie, o serie de rezultate ce ne ajut s
formulm algoritmii de rezolvare a problemei prezentate la nceputul capitolului. Vom folosi
urmtoarele:
Notaii:
- Pentru = , un graf simplu i , notm cu

mulimea nodurilor
adiacente celor din ;
- Pentru un graf bipartit cu mulimea nodurilor dat de partiiile i i mulimea
muchiilor vom folosi notaia = , .
Teorema III.2 (Hall, 1935)
Fie = , graf bipartit. Atunci mulimea de noduri poate fi saturat dac i
numai dac , |

| ||.

O generalizare a acestui rezultat o reprezint urmtoarea
Teorema III.3 (Tutte)
Un graf = , are un cuplaj perfect dac i numai dac pentru orice submulime
de noduri numrul de componente conexe cu un numr impar de noduri n subgraful
indus de mulimea este mai mic sau egal dect ||.

Teorema III.4 (Knig)
Fie = , graf bipartit. Atunci

= |

|.
23

2. Algoritmul ungar

Cu pregtirile anterioare putem trece la rezolvarea problemei descrise n debutul
capitolului. Pentru aceasta vom nota mulimea lucrtorilor cu =

, ,

i mulimea
locurilor de munc cu =

, ,

. Construim, cu ajutorul acestora, graful bipartit

= , , unde =

dac i numai dac lucrtorul

este calificat pentru

locul de munc

. Problema se reduce astfel la determinarea unui cuplaj perfect al grafului .

n condiiile acestei probleme teorema lui Hall asigur existena unui astfel de cuplaj. Pentru
determinarea lui vom folosi un algoritm de rezolvare numit algoritmul ungar. Acesta decide
dac, n general un graf bipartit admite un cuplaj perfect sau nu. n caz afirmativ, metoda
determin un astfel de cuplaj iar n caz contrar aceasta returneaz (conform teoremei lui Hall)
o submulime cu proprietatea c |

| ||.
Algoritmul pornete cu un cuplaj arbitrar (de exemplu, prima muchie n ordinea
lexicografic a etichetelor nodurilor). Dac acesta satureaz toate nodurile mulimii , atunci
algoritmul se oprete, pentru c a fost determinat un cuplaj perfect. Altfel, se alege, n ordinea
etichetelor, un nod , nesaturat i se ncearc construirea unui lan alternant
deschis cu extremitatea iniial n nodul ales. Mai nti se alege un (primul) vecin (nod
adiacent) al lui . Dac acesta este nesaturat, am aflat deja un lan alternant
deschis de lungime unu, cu extremitatea iniial n nodul ales i extremitatea final n .
Altfel, adugm lanului muchia din , muchia

din cuplajul i continum

procedeul cu noul

pe post de , ocolind nodurile din mulimea care aparin deja lanului

. Dac lanul construit astfel
6
pas cu pas este alternant deschis, atunci este determinat
(similar metodei folosite n demonstraia teoremei lui Berge) cuplajul

= care
satureaz din mulimea un nod n plus fa de cuplajul anterior, dup care se reia procedeul,
cu noul cuplaj

n locul lui . n cazul n care lanul nu este alternant deschis

(extremitatea final este nod al cuplajului ) nseamn ca mulimea = verific
inegalitatea |

| ||, deci, conform teoremei lui Hall, graful nu admite un cuplaj

perfect.
Pentru o mai bun nelegere a algoritmului contruim schema logic a acestuia i dm
un exemplu de rulare.









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
24





















Exemplu:
Fie graful =

, ,

, ,

, . Aplicm
acestuia algoritmul ungar n vederea obinerii unui cuplaj
perfect.
Pornim cu =

.
X saturat ?
NU: z =

, S={

}, T=
= ?
NU: y =

; L = [

]
saturat ?
NU:

;
=

NU
DA

DA
LL
SS
TT

START

cuplaj
arbitrar

Este X
saturat ?
NU
nesaturat
DA
STOP

satureaz
pe

S
T

= ?
|

| ||
STOP

LL
Este
saturat ?
NU
lan L=, ,
alternant deschis
25
X saturat ?
NU: z =

, S={

}, T=
= ?
NU: y =

; L = [

]
saturat ?
DA: z =

; L =

;
S ={

}, T={

}
= ?
NU: y =

; L =

]
saturat ?
DA:

;
=

;

X saturat ?
NU: z =

, S={

}, T=
= ?
NU: y =

; L = [

]
saturat ?
DA: z =

; L =

;
S ={

}, T={

}
= ?
NU: y =

; L =

;
saturat ?
DA: z =

; L =

S ={

}, T={

}
= ?
NU: y =

; L =

saturat ?
DA: z =

; L =

S ={

}, T={

}
= ?
NU: y =

; L =

saturat
NU:

;
X saturat ?
DA: STOP









Observaie: Cuplajul perfect al garfului nu este unic
acesta depinde de cuplajul iniial. Un alt exemplu de cuplaj
perfect pentru este:


26

3. Algoritmul Kuhn (1955) Munkres (1957)


Am vzut c algoritmul ungar ne rezolv problema determinrii unui cuplaj perfect
ntr-un graf bipartit, de exemplu cel al asocierii lucrtori locuri de munc. Dar ce s-ar
ntmpla dac nu am reine numai pentru ce loc de munc este fiecare lucrtor calificat, ci i
gradul specializrii sale? n aceast situaie putem modela problema cu ajutorul unui graf
bipartit ponderat. Astfel este definit o funcie pondere :

care asociaz fiecrei

muchii a grafului un numr real pozitiv (altfel spus, aceast funcie ne indic gradul de
pricepere al lucrtorului

pentru locul de munc

prin valoarea

). Observm c,
fr a restrnge generalitatea, aceast problem poate fi modelat cu ajutorul unui graf bipartit
complet n care, dac lucrtorul

nu este calificat pentru locul de munc

muchiei

i
vom asocia ponderea 0, n celelalte cazuri ponderea fiind strict pozitiv.
O prim soluie a acestei probleme ar fi generarea tuturor celor n! cuplaje perfecte ale
grafului bipartit complet i selectarea unuia optim dintre acestea. Pentru valori mari ale lui n
aceast soluie este, n mod evident, total ineficient. Algoritmul Kuhn Munkres reprezint o
variant de rezolvare a acestei probleme acceptabil din punctul de vedere al complexitii.

Pentru a-l putea prezenta avem nevoie de urmtoarea:

Definiie: Fie = , un graf bipartit complet. Spunem c o funcie :

este o etichetare valid a nodurilor grafului dac , este ndeplinit
inegalitatea . Numrul l vom numi eticheta nodului .


Se poate observa c o astfel de etichetare valid exist ntotdeauna, spre exemplu:
= max

, dac ; (III.5)
= 0, dac .
Pentru o etichetare valid vom nota cu

mulimea de muchii din pentru care are

loc egalitatea = :

= | = ; i cu

graful
generat de mulimea de muchii

. Legtura ntre acest subgraf al grafului i determinarea

unui cuplaj perfect optim este dat de urmtoarea

Teorema III.6
Fie o etichetare valid a grafului . Dac

conine un cuplaj perfect

, atunci

este un cuplaj optim pentru graful .
Demonstraie: Presupunnd c

conine un cuplaj perfect

, cum

=
rezult c

este un cuplaj perfect i pentru graful , atunci

.
Dar cum toate muchiile

conin o singur dat toate nodurile grafului i, fiind din graful

ponderea unei muchii este suma etichetelor extremitilor ei, rezult c

. n schimb, pentru un cuplaj perfect oarecare al grafului are loc relaia anterioar
cu inegalitate: =

. Comparnd, obinem c

, deci

este un cuplaj optim al grafului .

Acest rezultat, mbinat cu algoritmul ungar prezentat n seciunea anterioar reprezint
instrumentele ce stau la baza construirii algoritmului Kuhn Munkres.
Pentru a aplica algoritmul, alegem pentru nceput o etichetare valid a nodurilor
grafului (de exemplu, cea dat de III.5), determinm graful asociat acestei etichetri,

i
alegem un cuplaj arbitrar al acestuia, . Pentru acest cuplaj, aplicm algoritmul ungar n
vederea determinrii unui cuplaj perfect n graful

, care, conform Teoremei III.6, ar fi cuplaj

27

optim n graful , deci algoritmul se ncheie. Dac, n schimb, nu exist un cuplaj perfect n
graful

, nseamn c, aplicnd algoritmul ungar am ajuns n situaia

= i, n acest
caz, efectum o reetichetare a nodurilor grafului dup urmtoarea regul:
- calculm

= min

;
- alegem etichetarea valid

, dac

, dac
, altfel
- determinm noul graf

.
Aceste trei operaii asigur apariia n graful

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.




































28

Calculul pentru

Este X
saturat
n

?

Determinarea

, un cuplaj n

este cuplaj
optim


Etichetare
valid

29




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