Facultatea de Matematic i Informatic

Universitatea din Bucureti

lucrare de licen



Grafuri Planare







autor
Slavic Sorin






ndrumtor tiinific
conf. dr. DragoRadu Popescu

















Bucureti, iunie 2010

2
Cuprins





1 Prefa 4
1.1 Coninutul tezei . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2 Repere istorice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.1 Problema podurilor din Knigsberg . . . . . . . . . . . . . . . . . . . 6
1.2.2 Teorema poliedral a lui Euler . . . . . . . . . . . . . . . . . . . . . . . 8
1.2.3 Problema celor patru culori . . . . . . . . . . . . . . . . . . . . . . . . . 9

2 Planaritate 12
2.1 Introducere . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . 13
2.2 Teorema poliedral a lui Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.3 Graf planar maximal. Triangulri . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.3.1 Algoritm de triangulare greedy . . . . . . . . . . . . . . . . . . . . . . 21
2.4 Teorema lui Kuratowksi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.5 Algoritmi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.5.1 Algoritmul Hopcroft-Tarjan . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.5.2 Algoritmul lui Tutte . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.5.3 Algoritmul lui Schnyder . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33

3 Colorri 36
3.1 Introducere . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.2 1-, 2- i 3-Colorare . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.3 Teorema celor 5 culori . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.4 Teorema celor 4 culori . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.4 Algoritmi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.4.1 Algoritm Greedy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
3.4.2 Algoritm Dsatur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55

3
4 Descrierea Aplicaiei 57
4.1 Observaii . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
4.2 Implementare . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58

5 Concluzii 61

Anexe 63

Bibliografie 64












4
Prefaa


Ideea de start pentru aceast lucrare poate fi redus la urmtoarea ntrebare: Pot s
gsesc o hart corect desenat pentru un graf planar? Acuma vreau s o i colorez..
Prima parte a problemei am observat-o de curnd pe telefonul mobil al unui coleg,
care se juca cu o aplicaie foarte simpl [1]. Scopul era rearanjarea vrfurilor unui graf astfel
nct reprezentarea acestuia s fie planar. A doua parte, cea de colorare a grafurilor este una
din cele mai vechi i cunoscute probleme din teoria grafurilor.

1.1 Coninutul tezei

Teza are la baz dou teme vechi i complexe din teoria grafurilor pentru care abia
recent s-au realizat progrese teoretice i practice semnificative: grafuri planare i probleme de
colorare. La lucrul cu grafuri, care sunt pur i simplu structuri cu dou elemente, un set de
vrfuri si o relaie ntre acestea, suntem ajutai mult att n practic ct i n teorie dac
realizm o proiectare a acestuia n plan. Ideal ar fi ca aceast desenare s fie ct mai aranjat
i ordonat pentru a ne ajuta n executarea diferitelor operatii.
Desenarea unui graf este foarte simpl, este una din primele operaii care pot fi
aplicate acestuia ns nu exist un algoritm evident care s fie eficient pentru mai multe tipuri
de grafuri. Pentru un graf planar o reprezentare corect a acestuia n plan nu trebuie sa aibe
intersecii de muchii.
Aceast reprezentare se numete harta grafului i este caracterizat de feele
sale(regiunile delimitate de muchiile grafului. Evident, orice graf plan are un numr finit de
fee, dintre care una singur este nemrginit i se numete faa exterioar a lui G.
Prima teorem semnificativ descoperit pentru aceste tipuri de grafuri este teorema
lui Euler. n una din primele lucrri care aveau ca interes grafurile planare acesta a propus o
relaie ntre numrul de fee, muchii i vrfuri dintre un graf. Multe alte observaii si
proprieti au urmat, toate cu sperana de a da o caracterizare simpl i uoar de verificat
pentru planaritatea unui graf. Pentru a deduce planaritatea este aproape imposibil de testat
toate metodele n care un graf poate fi aezat n plan i un avantaj semnificativ a fost adus de
5
Kuratowski care a propus o metod relative simpl de verificare a planaritii unui graf. O
subcategorie cu o serie de proprieti importante este alctuit din grafurile planare
maximale, adic triangulrile unei hri. Acestea au aplicaii importante att n practic dar i
la aplicarea unor algoritmi i demonstrarea unor teoreme. n ultimii ani s-a pus accent pe
gsirea unei metode de verificare dar mai ales de generare a unei desenri planare pentru un
graf, cu o serie de algoritmi foarte complicai.
n urmtoarea seciune facem trecerea la una dintre cele mai cunoscute i folosite
aplicaii ale unui graf, anume colorarea. Dei nu este specific grafurilor planare, folosim
noiunea de colorare n relaie cu acest tip de grafuri datorit, n mare parte, unei teoreme
celebre ce abia recent a fost demonstrat, teorema celor patru culori.
Pentru un graf definim colorarea ca o asignare a unor valori numerice diferitelor
elemente din graf astfel nct s verificm o serie de proprieti. Colorrile se folosesc n
multe domenii, la probleme de optimizare, de verificare sau la gruparea de elemente pe baza
proprietilor. n capitol se fac referiri i se prezint proprieti pentru funciile de colorare
folosind un numr specific de culori. Prezentm iniial diferitele tipuri de grafuri sau structuri
pentru care putem aplica o colorare cu un numr limitat de culori. Metoda folosit la
demonstrarea colorrii cu 5 culori a fost iniial crezut corespunztoare pentru demonstrarea
problemei celor 4 culori. n cele din urm s-a descoperit c problema celor patru culori este
mult mai complex i a necesitat folosirea unui calculator pentru demonstraie. A fost prima
problem major pentru care o demonstraie nu a putut fi prezentat fr ajutorul
calculatorului.
Referitor la aceast metod de demonstraie folosit, nu toi matematicienii au
acceptat demonstraia argumentnd c testele i calculele pentru care au fost necesare
calculatoarele nu pot fi verificate manual. Urmtorul citat dintr-o lucrare de Saaty i Kainen
pune n eviden aceste probleme :
To use the computer as an essential tool in their proofs, mathematicians will be
forced to give up hope of verifying proofs by hand, just as scientific observations made with a
microscope or telescope do not admit direct tactile confirmation. By the same token,
however, computer-assisted mathematical proof can reach a much larger range of
phenomena. There is a price for this sort of knowledge. It cannot be absolute. But the loss of
6
innocence has always entailed a relativistic world view; there is no progress without risk of
error (Kainen and Saaty, 98).
Ca la prima parte, spre finalul acestui capitol sunt prezentate civa algoritmi pentru
colorarea vrfurilor unui graf.
Lucrarea de licen, pe lng aceast parte scris are dezvoltat n paralel i o
aplicaie Java. Utilizatorul practic se joac cu noiunile de graf planar i poate s aplice o
colorare unui graf.

1.2 Repere Istorice

1.2.1 Problema podurilor din Knigsberg

Oraul Knigsberg(pe vremuri n Prussia, acuma faca parte din Rusia i se numete
Kaliningrad) este mprit de rul Pregel n mai multe regiuni(inclusive insula Kniephof)
unite de apte poduri.


Figura 1.1

Localnicii erau curioi s afle un drum care s nceap i s se termine n acelai punct i s
parcurg tot oraul astfel nct s treac peste fiecare pod o singur dat. Aceasta era
considerat o problem dificil la vremea respectiv deoarece erau multe rute posibile, dar pe
alt parte dac ai fi gsit un drum corect problema era rezolvat. n 1736 matematicianul
Leonard Euler a publicat n revista Comentarii Academiae Scientarm Imperialis un articol
7
considerat actul de natere a unei ramuri ale matematicii numit Teoria Grafurilor. Acesta a
demonstrat c este imposibil de gsit un drum prin ora care s ndeplineasc aceste condiii.
n demonstraie ne folosim de noiuni abstracte i extragem din problem doar
informaiile relevante. n figur sunt patru zone si mai multe poduri care le leag. Putem
reduce fiecare regiune la un punct deoarece nu suntem interesai de eventualele date
suplimentare din aceasta. Traversnd o anumit regiune este echivalent cu a vizita nodul
adugat. Adugm linii de legtur ntre noduri, cte una singur pentru fiecare pod.


Figura.1.2

Suntem interesai doar de conectivitate dintre noduri i nu de direcia de deplasare sau de
distan.
Problema este de a trece din punct n punct trecnd peste o muchie o singur dat i
ajungnd napoi la punctual de start. Presupunem c pornim de la vrful din partea dreapt a
imaginii. Avem de ales una din cele trei posibiliti de deplasare ceea ce nseamn c ne
rmn dou muchii ce trebuie traversate la un moment dat. Singurul caz n care putem s
folosim o muchie este acela n care ne ntoarcem la punct. n acest moment trebuie s
prsim nodul pentru a traversa i ultima muchie rmas dar nu vom aveam posibilitate de a
ne ntoarce la nodul de start pentru a completa drumul. Poate c nu trebuia sa ncepem
cltoria din acest punct. Ne alegem alt punct de start dar inem cont c tot va trebui sa
ajungem si la acest punct la un moment dat. La prima vizit folosim un pod pentru intrare i
nc unul la ieire. A rmas o singura muchie neparcurs ataat nodului deci trebuie s mai
vizitm o data nodul. Am folosit toate cele trei poduri care sunt conectate punctului i nu mai
8
avem cum sa l prsim. Drumul obinut nu este corect ntruct punctual de sfrit nu a fost i
cel de nceput.
S-a demonstrat c pentru a parcurge toate muchiile dintr-un graf trebuie ca fiecare
nod s aibe un numr par de muchii, indiferent de pozitia acestuia n drum(de nceput/sfrit
sau n interior). Dup ce am intrat ntr-o zon trebuie neaprat s o prsim iar pentru nodul
de nceput dup ce am pornit la drum trebuie s ne ntoarcem.
n onoarea lui Euler, care a demonstrat aceste proprieti, un drum care viziteaz toate
vrfurile i parcurge fiecare muchie o singur dat este numit ciclu eulerian. Un graf este
eulerian dac acesta conine un ciclu eulerian.

1.2.2 Teorema poliedral a lui Euler

Euler a fcut a doua mare contribuie la teoria grafurilor n 1758, la dou decenii dup
ce a rezolvat problema podurilor din Knigsberg. Acesta a enunat o formul pentru grafuri
planare. Un graf planar este un graf care poate fi trasat n plan astfel nct muchiile sale s nu
se intersecteze n interior.

Figura 1.3

O caracteristic evident a acestui tip de graf este c mparte planul n regiuni nchise
de un ciclu numite fee. De exemplu n Figura 1.3 sunt trei fee interioare si una exterioar
infinit. Euler a demonstrate ca pentru o reprezentare a unui graf planar numrul de vrfuri
minus numrul muchiilor plus numrul feelor este ntotdeauna egal cu doi. Pe scurt n e + f
= 2, unde n este numrul de vrfuri, e numrul de muchii si f numrul feelor. Pentru
exemplul de mai sus avem n = 4, e = 6 i f = 4, valori care verfic egalitatea. Acest teorem
9
poart numele aceluiai Euler, n plus pentru orice reprezentare n plan al unui graf valoarea
pentru n e + f este cunoscut ca si caracteristica Euler.
Multe dintre corolarele acestei teoreme constituie o baz pentru o mare parte din
teoria dezvoltat referitoare la grafuri planare. ntruct verificarea prin reprezentri a
planaritii unui graf este foarte dificil datorit numrului mare de posibiliti criteriile de
planaritate des folosite se bazeaz pe relaii dintre numrul de muchii i numrul de vrfuri a
unui graf. Aceste relaii se deduc foarte uor pornind de la teorema lui Euler.

1.2.3 Problema celor patru culori

Alt problem specific grafurilor planare a fost enunat aproape o sut patruzeci de
ani dup Euler. n 1852, n timp ce ncerca s coloreze harta inuturilor din Anglia, Francis
Guthrie a observat c patru culori sunt suficiente pentru a desena o hart oarecare astfel nct
oricare dou ri care au o frontier comun s fie reprezentate cu o culoare diferit. Guthrie
l-a ntrebat pe fratele su dac poate s demonstreze aceast afirmaie si acesta a trimis mai
departe conjectura profesorului su DeMorgan,
n 1878 apare prima referire n scris la problema celor patru culori ntr-o lucrare de
Arthur Cayley care se interesa dac a fost dovedit conjectur. La doar un an distan Kempe
a lansat demonstraia sa. Unsprezece ani mai trziu, Heawood a evideniat greeli n
argumentele lui Kempe dar a reuit s verifice corectitudinea pentru o colorare cu cinci
culori. n 1880 Tait a enunat o alt demonstraie bazat pe presupunerea incorect c orice
graf planar 3-conex este Hamiltonian(la eliminarea a dou muchii adiacente unui vrf graful
i pierde conectivitatea, un graf Hamiltonian contine un ciclu care viziteaz toate vrfurile
sale exact o singur dat). n anul 1891 Peteresen a observat eroarea din demonstraia lui Tait
i a dedus c problema celor patru culori este echivalent cu o patru colorare a muchiilor unui
graf. n 1898 Heawood a mai descoperit o teorem important: dac numrul de muchii care
delimiteaz o regiune este multiplu de 3 atunci toate regiunile sunt 4-colorabile. Pentru o
reprezentare a unui graf putem s obinem o triangulare(fiecar fa s fie delimitat de doar
3 muchii) adugnd muchii care mpart orice fa non-triangular n triunghiuri. O
configuraie este parte a unei triangulri coninute ntr-un ciclu. Un set inevitabil(de baz)
este un set de configuraii cu proprietatea c orice alt triangulare a unui graf trebuie s
10
conin una din configuraiile din set. O configuraie este reductibil dac poat s fie
mprit n mai multe triangulri din setul de baz.
Pe baza acestor informaii n 1904 a nceput cutarea pentru configuraii i seturi
evitabile prin lucrrile lui Weinicke. Noiunea de reductibilitate a fost introdus de Birkhoff.
n 1922 Frankiln a publicat mai multe exemple de seturi inevitabile i a folosit ideea lui
Birkhoff de reductibilitate pentru a demonstra ca orice hart cu mai puin de 25 de regiuni
poate fi colorat cu patru culori. Ali matematicieni au nceput s adauge la numrul de
regiuni care pot fi patru colorabile.Reynold a demonstrat pentru 27 de regiuni n 1926, Winn
pentru 35 n 1940 iar Ore i Stemple au ridicat numrul de regiuni la 39 n 1970.
Alte contribuii importante includ teorema lui Brooks din 1941 n care definea o
limit pentru numrul cromatic al unui graf(numrul minim de culori cu care poate fi
desenat un graf) i lucrrile lui Hadwiger. Interesul n problema celor patru culori a crescut,
la fel ca n teoria grafurilor n totalitate. Konig a publicat prima carte despre teoria grafurilor
n 1936. Au mai fost publicate cteva texte generale referitoare la acest subiect de Berge(n
1961 i 1973), Busacker i Saaty(1965), Harray(1969), Ore(1961 i 1963),etc. Numrul de
regiuni a continuat s creasc ntre timp ajungnd la 52 i n final la 95 n 1976 datorit
lucrrilor lui Mayer.
Ideile finale necesare soluiei problemi celor patru culori au fost introduse nc
dinaintea lucrrilor lui Mayer. n 1969 Heesch a dedus metoda de descrcare, asignarea unui
vrf de grad i valoarea 6 i. Folosing formula lui Euler putem deduce c suma valorilor
ncrcate trebuie s fie 12. Un set de configuraii este inevitabil dac pentru o triangulare care
nu conine o configuraie din set putem redistribui ncrcrile(fr a modifica suma total)
astfel nct niciun vrf s nu aibe o sarcin pozitiv. Heesch considera c problema celor
patru culori poate fi rezolvat folosind un set de 8900 de configuraii.
n 1976 apare o rezolvare complet a problemei celor patru culori, cnd a fost
enunat si teorema corescpunztoarea. Demonstraia aparine lui Appel i Haken care au
folosit metode de reductibilitate i s-au bazat pe ideile lui Heesch, construind un set iniial de
1936 de configuraii. Au limitat numrul de muchii pentru faa exterioar la 14, lucru care a
simplificat calculele pentru cazurile lui Heesch. Ei au fost ajutai de Koch i au folosit 1200
de ore de lucru pe calculator. A fost prima teorem major demonstrat folosind un
calculator, Appel i Haken au folosit un program special pentru a demonstra c toate hrile
11
din set verific problema. Lucrarea lor nu a fost acceptat de toi matematicienii ntruct
demonstraia bazat pe teste realizate cu calculatorul este aproape imposibil de verficat
manual.
nc se caut o demonstraie mai eficient pentru aceast problem care s nu necesite
lucrul pe calculator. n 1997 Robertson, Sanders, Seymour i Thomas au simplificat ideile lui
Appel i Haken cnd au folosit calcule mai uoare pentru a demonstra teorema dar s-au bazat
tot pe calculator.
12
Capitolul 2


Planaritate

Dei este format doar din dou seturi de elemente este greu s ne gndind la noiunea
de graf fr a avea n minte o desenare pe hrtie a sa. O expunere vizual n plan al unui graf
a constituit un punct de interes pentru teoreticieni de foarte mult timp, n particular pentru
grafuri planare sau grafuri care sunt aproape planare. O definitie pentru un graf planar este
unul care poate fi desenat fr ca muchiile sale s se intersecteze. n timp ce lucra la
problema celor patru culori, Wagner(1936) a fost primul care a artat c orice graf planar
poate fi desenat folosind doar linii drepte. nainte de aceasta, nc din anul 1758 Euler a
enunat o formul care prezenta o egalitate specific grafurilor planare. Alt contribuie
semnificativ la dezvoltarea teoriei legate de grafurile planare a avut-o n 1930 Kazimierz
Kuratowski prin caracterizarea setului de grafurilor planare n asociere cu dou grafuri
simple care nu ndeplinesc condiia de planaritate (K
5
- graful complet cu 5 vrfuri i K
3,3

graf bipartit cu 6 vrfuri cu 2 diviziuni pentru care fiecare vrf se unete cu celelalte 3).
n timp ce teoria grafurilor a fost iniial o ramur a matematicii a devenit acum
relevant n mai multe domenii ca un mijloc pentru rezolvarea problemelor sau a
reprezentrii de date.
Nu e dificil s descriem un algoritm pentru afiarea unui graf, putem considera o
aezare aleatoare a vrfurilor ntr-un spaiu finit. Muchiile poate fi desenate ca o linie dreapt
de lungime minim ntre vrfuri sau ca segmente de curb pentru e evita eventuala intersecie
cu un alt vrf. Ali algoritmi la fel de uor pot s prezinte o expunere circular a vrfurilor
de-a lungul perimetrului unui cerc iar muchiile traversnd cercul sau plasarea vrfurilor pe un
grid ptratic aezate pe diagonala principal .
Calitatea sau utilitatea unei desenri particulare pentru un graf depinde n principal de
domeniul de aplicare. Ideal este ca un algoritm pentru desenarea grafurilor s respecte cteva
criterii estetice:
- minimizarea numrului de intersecii dintre muchii;
13
- desenarea ct mai dreapt a muchiilor:
- vrfurile s fie distribuite uniform;
- majoritatea muchiilor direcionate s fie n acelai sens;
- minimizarea ariei zonei de acoperire a grafului;
- utilizarea de element simetrice;
Algoritmi de desenare pentru un graf planar au evoluat mult n ultimii ani avnd
aplicaii din ce n ce mai multe n diferite domenii, reele de drumuri sau plci de circuite i
alte domenii care folosesc structuri definite pe suprafee.

2.1 Introducere

Definiie:
Un graf este o pereche G = (V,E), unde V este o mulime finit nevid, numit
muimea vrfurilor iar E este o submulime a produsului cartezian dintre V i V(perechi de
vrfuri), numit mulimea muchiilor. Ordinul unui graf G = (V,E) este reprezentat de
numrul de elemene din V iar dimensiunea sa de numrul perechilor din E.


Figura 2.1

Definiie:
Un graf G = (V,E) se numete graf planar dac admite o reprezentare n plan astfel
nct segmentele de curb asociate muchiilor sale s nu se intersecteze n interior(considerm
c acestea se intersecteaz n vrfuri pentru un nod).Pentru orice graf se pot construi mai
multe reprezentri n plan, obinnd mai multe hri. O reprezentare M = (V,E,F) care
ndeplinete condiiile de planaritate se numete hart, iar graful asociat este graful suport la
14
hrii M. La notaile din definiia grafului se adaug mulimea F de fee(componentele
delimitate de muchiile grafului).

Figura 2.2

Definiie:
Graful dual pentru o anumit hrt al unui graf planar este un graf n care vrfurile
sunt asociate fiecrei fee din graf(inclusiv faa exterioar, infinit) iar muchiile sunt
construite unind feele care au o grani comun, fr a mai intersecta o alta muchie.

Propoziie:
Proprietatea de dualitate a unui graf este simetric, dac G' este graf dual pentru G
atunci i G este graf dual pentru G'. n plus duala hrii duale este izomorf cu harta iniial.


Figura 2.3

Feele unui graf au un grad care reprezint numrul de muchii din ciclul care le
delitmiteaz. Dimensiunea(numrul muchiior) pentru un graf dual este aceeai cu
dimensiunea grafului suport iar gradul unei fee se pstreaza n gradul noului nod din graful
dual. Evident, dup construirea hrii duale numrul de noduri este egal cu numrul de fee
15
din graful iniial i invers: numrul de fee din graful dual este egal cu ordinul grafului
suport(putem considera c fiecare nod se afl la intersescia mai multor regiuni iar muchiile
care le despart pe aceastea vor fi apoi tiate de o noua muchie la desenarea hrii duale,
formnd un nou ciclu care nchide faa). Aceste egaliti se pstreaz la desenarea unei alte
hri duale pentru noua hart format.Astfel obinem un graf n care fiecare vrf are gradul
egal cu gradul vrfurilor iniiale deci cele doua grafuri sunt izomorfe.

2.2 Teorema poliedral a lui Euler

Teorem(Euler, 1758):
Considerm un graf planar conex G = (V,E) i o hart M = (V,E,F) al acestuia,
atunci se verific urmtoarea ecuaie:
|V| - |E| + |F| = 2

Demonstraie:
Exist mai multe variante pentru a demonstra aceast afirmaie. Vom prezenta trei
metode de demonstraie care au la baz construcia grafului dup numrul de fee, vrfuri i
muchii.
1.Considerm c un graf conex cu o singur fa reprezint de fapt un arbore. Pentru
un arbore cu nodurile V si mulimea muchiilor E avem |V| = |E| + 1, reprezentarea sa n plan
determin |F| = 1 rezult c

|V| - |E| + |F| = 2 <=> |E| + 1 - |E| + 1 = 2 <=> 2 = 2.

Pentru a aduga o fa trebuie s nchidem un ciclu. Este suficent s adugm o
singur muchie pentru a realiza acest lucru. Astfel crete att numrul muchiilor ct i
numrul feelor cu 1, ceea ce pstreaz egalitatea.

16

Figura 2.4
2.Dac un graf are un singur vrf atunci toate muchiile reprezint o curb
Jordan(segment de curb nchis fr autointersecii) iar fiecare fa interioar este
determinat de o muchie. Deducem |F| = |E| + 1 iar |V| = 1 de unde :

|V| - |E| + |F| = |E| + 1 - |E| + 1 = 2

Considerm o muchie care unete dou vrfuri i o contractm astfel nct cele dou
vrfuri s se suprapun, formnd un nou nod. Numrul de vrfuri scade cu 1 la fel ca
numrul muchiilor. Dup eliminarea tuturor muchiilor dintr-un ciclu rmnem cu un singur
nou nod i o singur muchie curb Jordan. Aceasta determin o fa corespunztoare regiunii
cuprinse n ciclul iniial. Tot graful se reduce la o structur cu un singur nod cu toate
muchiile curbe Jordan.


Figura 2.5

3.Un graf conex fr muchii este de fapt un singur nod izolat. Pentru acesta avem o
singur fa:
|V| - |E| + |F| = 1 - 0 + 1 = 2

Pornind de la un graf eliminm muchii i noduri pn s ajungem la un graf fr
muchii. Dac o muchie unete doua vrfuri atunci o contractm reducnd numrul de vrfuri
17
si muchii cu 1. Daca muchia este reprezentat de o curb Jordan o eliminm reducnd de
aceast dat numrul feelor si muchiilor cu 1. Se pstreaz valoarea expresiei n ambele
cazuri ajungnd la final la un singur nod izolat.


Figura 2.6

Corolar 1:
Pentru orice graf conex planar cu mai mult de trei vrfuri(implic mai mult de dou
muchii) avem urmtoare inegalitate:
|E| 3|V| - 6

Demonstraie:
Pentru a demonstra aceast proprietat considerm un graf cu o singur fa(arbore) i
mai multe noduri. |V| = |E| + 1 pentru arbori. n aceste condiii inegalitatea se verific.
Presupunem c graful are mai mult de dou fee atunci fiecare fa are ca frontier un ciclu C
din graf. Fiecare muchie dintr-un astfel de ciclu aparine exact la dou fee iar ciclul are mai
mult de trei muchii. Deducem c 2|E| este mai mare sau egal dect numrul total de muchii
din ciclurile care nconjoar fiecare fa din graf. Cum fiecare fa are cel putin 3 muchii
obinem:

2|E| 3|F|

Graful ales este planar deci putem aplica teorema lui Euler din care deducem:

|F| = 2 - |V| + |E|
2|E| 3(2 - |V| + |E|)
2|E| 6 3|V| + 3|E|
|E| 3|V| - 6
18

Alt consecin important la teorema lui Euler se aplic pentru grafuri planare
bipartite(un graf este bipartit dac mulimea vrfurilor sale poate fi desprit n dou seturi
astfel nct s nu existe muchie comun ntre doua vrfuri din acelai set) i anume:

Corolar 2:
Dac G este un graf planar, conex i bipartit cu mai mult de doua muchii atunci are
loc urmtoarea inegalitate:

|E| 2|V| - 4

Demonstraie:
Raionamentul pentru demonstraie este la fel ca la primul corolar cu meniunea c
ntr-un graf bipartit ciclul minim care separ o fa are 4 muchii:

2|E| 4|F|
|E| 2(2 - |V| + |E|)
|E| 4 2|V| + 2|E|
|E| 2|V| - 4

Corolar 3:
Orice graf planar conex are cel puin un vrf de grad(numrul de muchii adiacente
lui) mai mic sau egal de 5.

Demonstraie:
Notm prin v
i
numrul vrfurilor de grad i (1 i |V| - 1) . tim ca ntr-un graf suma
gradelor vrfurilor este egal cu de doua ori numrul muchiilor(pentru fiecare muchie aparine
la dou vrfuri). A nsuma toate gradele vrfurilor este acelai lucru cu a nsuma pentru
fiecare i produsul dintre gradul i numrul de vrfuri cu aceste grad.

19
E n i
V
i
i
2
1 | |
1
= -

=

Folosim inegalitatea din primul corolar:

|E| 3|V| - 6
( ) 12 6 6 3 2
1
1
1 | |
1
- = s -


=

=
V
i
i
V
i
i
n V n i


Dac adunm numrul de vrfuri cu un anumit grad pentru toate gradele grafului obinem n
final numrul total de vrfuri.

0 12 ) 6 (
1 | |
1
s + -

=
V
i
i
n i

Cum pentru i 6 toi termenii sumei sunt pozitivi rezult c exist un i mai mic sau egal
dect 5 astfel nct n
i
> 0. Exist un vrf cu gradul mai mic dect cinci.


2.3 Graf planar maximal.Triangulri

Definiie:
Un graf se numete planar maximal dac adugnd o muchie se anuleaz proprietatea
de planaritate.

Definiie:
O triangulare este un graf planar n care toate feete, inclusiv cea exterioar, sunt
mrginite de 3 muchii.

20

Figura 2.7

Teorem:
Considerm un graf oarecare G = (V,E), urmtoarele afimaii sunt echivalente

1. Graful este planar maximal.
2. Graful este o triangulare.
3. 3|V| - |E| = 6 i G este planar.

Demonstraie:
Demontrm mai nti prima implicaie, dac un graf este planar maximal atunci
acesta este o triangulare. Presupunem c exist o hart pentru graful planar maximal ales
astfel nct s conin o fa mrginit de 4 sau mai multe muchii. Exist dou vrfuri n acest
ciclu pentru care s nu fie trasat o muchie ntre ele. Cum faa nu este strbtut de nici o alt
muchie putem unui cele dou vrfuri fr s modificm planaritatea grafului.
O triangulare a unui graf implic prin definiie c toate feele sunt mrginite de doar 3
muchii.Fiecare muchie reprezint frontiera dintre dou fee deci se verific urmtoarea
egalitate:
3|F| = 2|E|
Aplicm formula lui Euler:
|V| - |E| + |F| = 2 / *3
3|V| - 3|E| + 3|F| = 6
3|V| - 3|E| + 2|E| = 6
21
3|V| - |E| = 6

S-a dovedit anterior c pentru orice graf planar |E| 3|V| - 6. n cazul de fa avem
egalitatea deci adugarea unei singure muchii o anuleaz fapt ce definete un graf planar
maximal.

2.3.1 Algoritm triangulare

Triangularea unei hri are multe aplicaii, printre care i aplicarea lor n rezolvarea
unor probleme teoretice cu grafuri. Exist o serie de algoritmi pentru triangularea unui graf
care in cont i de distane sau unghiuri ntr-un graf. Noi suntem interesai doar de construirea
unui graf planar maximal.
Ideea unui astfel de algoritm este adugarea de muchii astfel nct fiecare fa nou
construit s fie mrginit de trei muchii. Pentru fiecare regiune a unei hri trebuie s trecem
un numr, preferabil ct mai mic, de muchii prin interiorul acesteia pentru a satisface aceast
condiie.
Am precizat c nu suntem interesai de mrimea muchiei adugate sau de faptul c
s-ar putea s nu existe un drum drept ntre dou muchii astfel nct s nu anuleze planaritatea
grafului. Orice muchie poate fi desenat ca o curb, ocolind prin interior alte elemente ale
grafului.
Distingem 2 metode evidente i simple pentru adugarea de muchii pentru fiecare
regiune.
Alegem un vrf i trasm muchii ntre acesta i toate celelalte vrfuri din ciclul care
delimiteaz faa.
Aplicnd algoritmul obinem pentru o fa delimitat de un ciclu cu n noduri,
indiferent de vrful de pornire, un nou graf planar n care am adugat n-3 muchii. Grania
unei fee este evident reprezentat de un ciclu. Pentru un nod avem deja doi vecini i astfel ne
rmn n-3 vrfuri care trebuie legate printr-o muchie.
Singura observaie este la triangularea feei externe. Pentru aceasta muchiile vor fi
sub forma unor curbe i nu vor fi trasate pentru toate nodurile. La fel pentru un nod ales
22
parcurgem ntr-o ordine ciclul care delimiteaz regiunea trasnd muchiile astfel nct acestea
s ocoloeasc graful.

2.4 Teorema lui Kuratowski

nainte de a formula aceast teorem de caracterizare a grafurilor planare trebuie s
avem n vedere cteve definiii i proprieti folosite.
Definiie:
Spunem c dou grafuri G = (V,E) i G = (V,E) sunt izomorfe dac exist o bijecie
f : V V definit ntre mulimea vrfurilor celor dou grafuri care pstrez relaiile de
adiacent i neadiacen dintre vrfuri.
' ) ( ) ( : , E y f x f E xy V y x e e e
Observm c mulimea gradelor vrfurilor este aceeai pentru ambele grafuri.
Definiie:
Un graf G = (V,E) este subgraf al lui G = (V,E) dac eliminnd muchii i vrfuri
din G putem ajung la o reprezentare a lui G.
V _ V i E _ E
Definiie:
Se numete graf p-conex un graf n care prin eliminarea oricrui set de p-1 vrfuri nu
se anuleaz proprietatea de conexitate.
Definiie:
Un graf complet este un graf simplu n care toate perechile de vrfuri distincte sunt
unite de o unic muchie. Graful complet de ordin n notat K
n
este graful cu |V| = n.
( )
2
1
=
V V
E


Figura 2.8
Definiie:
23
Dou grafuri G i G sunt homeomorfe dac G se poate transforma n G dup
aplicarea unui numr finit de subdiviziuni simple i eliminarea de vrfuri cu gradul egal cu
doi astfel nct muchiile adiacente vrfului s fie unite.


Figura 2.9
Definiie:
Un graf este bipartit dac mulimea vrfurilor poate fi mprit n dou subseturi
disjuncte nenule astfel nct orice muchie unete un vrf dintr-un set cu un vrf din cellalt
set. Pentru un graf bipartit complet fiecare vrf din primul set este unit prin muchii de toate
vrfurile din al doilea set.Notm K
n,m
graful bipartit complet pentru care V = V
1
V
2
.
|E| = |V
1
| * |V
2
|


Figura 2.10

n teorema lui Kuratowski se face referire la dou grafuri n deosebi: unul complet
K
5
i unul bipartit complet K
3,3
, amndou neplanare.
Pentru a demonstra aceste afirmaii apelm la teorema lui Euler, mai exact la
primele dou corolare:
1. Pentru orice graf planar conex cu mai mult de trei vrfuri(implic mai mult de
dou muchii) avem urmtoare inegalitate:
|E| 3|V| - 6
2. Pentru orice graf planar, conex i bipartit cu mai mult de dou muchii atunci are
loc urmtoarea inegalitate:
|E| 2|V| - 4
24



Figura 2.11

Teorem:
K
5
nu este planar.

Demonstraie:
Putem aplica primul corolar: |V| = 5.
( )
2
1
=
V V
E = 10
10 = |E| 3|V| - 6 = 15 6 = 9
10 9 fals
Teorem:
K
3,3
nu este planar.

Demonstraie:
Pentru K
3,3
putem apela la dou metode n a demonstra c nu este planar:
1. aplicm al doilea corolar: |V| = 6. |E| = 3*3 = 9.
9 = |E| 2|V| - 4 = 10 4 = 6
9 6 fals
2. Prin reducere la absurd prespunem c graful ar fi planar. Pentru un graf bipartit
lungimea minim posibil pentru un ciclu este 4 de unde rezul ca fiecare fa a oricrei hri
are gradul cel puin 4. Pentru fiecare fa f considerm d(f) valoarea pentru numrul de
muchii care formeaz ciclul ce o mrginete. Fiecare muchie apare la calcularea valorilor
pentru d de dou ori: n cazul n care aceasta separ dou fee se consider pentru amndou
25
iar dac este o muchie care nu este pe frontiera feei atunci se adaug de dou ori pentru c
prin ea se va trece n ambele sensuri la selectarea ciclului.
( ) 18 9 * 2 2 4 = = = s

e
E f d F
F f

|F| 4

Din teorema poliedral a lui Euler deducem inegalitatea:
2 = |V| - |E| + |F| = 6 - 9 + |F| 6 9 + 4 = 1. fals
Avnd n vedere toate aceste definiii si observaii putem s enunm teorema lui
Kuratowski:

Teorem(Kuratowski, 1930):
Un graf finit este planar dac i numai dac acesta nu conine un subgraf care este
o subdiviziune a lui K
5
(graful complet cu 5 vrfuri) sau K
3,3
(graf bipartit cu 6 vrfuri cu 2
diviziuni pentru care fiecare vrf se unete cu celelalte 3).
Alt formulare pentru aceast teorem folosete conceptul de graf homeomorfic. Un
graf finit este planar dac si numai dac acesta nu conine un subgraf care este homeomorfic
cu sau .

Demonstraie:
Implicaia invers este evident deoarece K
5
i

K
3,3
sunt neplanare. Dac graful
conine un subgraf care este homeomorf cu unul dintre aceste dou grafuri atunci el este
neplanar, deci i graful este neplanar.
Presupunem c teorema este fals. Trebuie s gsm un set de contra-exemple cu un
numr ct mai mic de muchii care s nu conin o subdiviziune a lui K
5
sau

K
3,3
i nici s nu
fie planar. Notm cu n numrul de muchii E(G) i v numrul de vrfuri V(G) pentru un astfel
de graf G din set. Urmtoarele trei afirmaii sunt adevrate:
1. G este conex.
Presupunem c G nu este conex. Exist atunci o mprire a lui G n mai multe
componente conexe care evident au mai puine muchii dect G. Putem elimina cazul n care
exist vrfuri fr muchii n G deoarece cum am afirmat anterior c G apaine setului de
26
grafuri cu numrul minim de vrfuri care s nu verifice teorema. Dac G nu conine
subgrafuri homeomorfe cu K
5
sau

K
3,3
atunci nici componentele sale conexe nu le vor
include. Numrul de vrfuri pentru o component conex a lui G este mai mic dect V(G) de
unde rezult c toate aceste componente sunt planare. Trebuie ca i G s fie planar ntruct
toate componentele sale conexe sunt deci presupunerea fcut este fals iar G este conex.
2. G nu conine noduri critice.
Un nod este critic dac prin eliminarea sa din graf acesta nu mai este conex.
Presupunem c G conine un vrf critic i notm cu G* graful deconectat prin
eliminarea acestui vrf. G* nu este conex deci la fel ca la demonstraia anterioar poate s fie
mprit n mai multe componente conexe c
i
. Fiecare c
i
nu poate s conin un subgraf
homeomorf cu K
5
sau

K
3,3
deoarece nici G nu coninea. Deoarece E(c
i
) < n atunci fiecare
component conex este planar. Planul de reprezentare este presupun infinit deci putem
aeza fiecare component conex n orice poziie i n orice sens. La fel putem reataa nodul
eliminat astfel nct graful G s fie planar i astfel prin contradicie G nu conine noduri
critice.
3. Fie e(x,y) muchia dintre dou vrfuri x i y. Notm cu G graful construit din G prin
eliminarea muchiei e(x,y). G conine un circuit simplu ntre cele dou vrfuri x i y.
Un circuit simplu cu n vrfuri este un graf conex format din n vrfuri cu gradul 2
construit dup modelul c V
i
este adiacent cu V
i+1
pentru orice i = 1, .. n-1 iar V
n
este adiant
cu V
1.
Am artat anterior c graful G nu conine puncte de articulaie i deci putem afirma c
G este conex(caz contrat unul din vrfurile x sau y trebuiau s fie noduri critice).
Presupunem c nu exist un circuit simplu de la x la y, caz n care exist un nod T ca punct
de intersecie pentru mai multe circuite simple, astfel avnd gradul mai mare dect 2. Putem
s mprim pe G n dou subgrafuri X i Y pentru care am mai adugat muchia e(x,T),
respectiv e(y,T). Din x si y pornesc o serie lanuri simple pn n T, deci muchia nou poate
s le ocoleasc, astfel se pstreaz planaritatea i pentru aceste subgrafuri. n G exista o
muchie ntre x i y care acuma poate fi considerat ca reuniunea muchiile e(x,T) i e(y,T).
Prin definiie G conine un subgraf homeomorf cu X i altul homomorf cu Y. Cum nici X,
nici Y nu conin subgrafuri homeomorfe cu K
5
sau

K
3,3
iar au mai puine muchii dect G
acestea sunt planare. X i Y pot fi rearanjate astfel nct muchiile e(x,T) i e(y,T) s
corespund feei exterioare. Pentru a reconstrui G trebuie doar ca s eliminm aceste 2
27
muchii i s o adugm pe cea iniial, e(x,y). Reprezentarea grafului a rmas planar deci
presupunerea a fost fals i G conine un circuit simplu de la x la y.
Folosind aceste trei afirmaii iniiale am dedus c un nou graf G rmne conex prin
eliminarea unei singure muchii e(x,y) dintr-un graf planar G.n plus G conine un circuit
simplu ntre cele dou vrfuri ale muchiei, nu conine subgrafuri homeomorfe cu K
5
sau

K
3,3

iar ntruct E(G) = n iar E(G) = n-1, graful G este planar.
Pentru o reprezentare planar a grafului G considerm un ciclu C care s conin
pe x i y i s ocoleasc un numr ct mai mare de regiuni. O muchie pod este echivalentul
unui vrf critic, prin eliminarea ei graful se mparte n mai multe componente conexe. La fel
putem considera un pod ca un drum pe care dac l eliminm graful nu rmne conex. n G
nu exist un pod exterior care s intersecteze C ntre x i y, inclusiv, de mai multe ori
deoarece n acest caz am fi putut s modificm ciclul astfel nct s acopere nc o regiune.
Reamintim c vrem s construim pe G astfel nct s fie neplanar, deci trebuie s existe n G
cel puin un pod interior i unul exterior fa de ciclul C astfel nct s nu putem desena
muchia e(x,y). Inclus n C exist evident dou drumuri ntre x i y, n ambele sensuri. Cum
am afirmat anterior, un pod nu poate avea dou puncte de intersecie n interiorul unui astfel
de drum deci vrfurile de intersecie dintre C i podul exterior E, respectiv interior I, trebuie
s fie pe drumuri diferite. Notm punctele de intersecie a i b pentru I(cu drum n interior) i
i i j pentru E(cu drum n exterior) ca n figura 2.12.


Figura 2.12

28
Pentru cazul 1 avem construcia unui graf homeomorf cu K
3,3
, cele dou partiii
fiind {j,a,y} i {i,x,b}. n celelalte patru cazuri observm c putem s redesenm podul
interior I n exteriorul grafului astfel nct la adugarea muchiei e(x,y) s nu schimbm
planaritatea grafului. Am ales podul I ca fiind sigur interior n interior deci trebuie s existe
un alt pod exterior E care s nu permit redesenarea lui I n exterior. n acest caz obinem o
configuraie care la 1, unde noul pod E este considerat n locul lui E(deoarece toate podurile
exterioare au un punct de intersecie ntre x-y i cellalt y-x). Alt caz n care nu putem desena
I n exterior este acela cnd exist un drum de la un vrf v inclus n interiorul lui I la un vrf c
din C care s se intersecteze cu C la redesenare.

Figura 2.13

Ca n figura de mai sus trebuie adugat un drum pentru un vrf v din I i un vrf c
care se afl pe C ntre j-i. Dac poziionm c ntre x i i obinem cazul 1(nlocuim I cu un nou
drum b-v-c), deci c trebuie selectat ntre j-x. Observm c exist drum ntre v i a,b,c, ntre j
i c,a,b i ntre y i a,b. Amintim c pentru G exist muchia e(x,y) i deci gsim i un drm
ntre c i y. Aceste 6 vrfuri au drumurile prin vrfuri distincte pentru partiionarea {a,b,c} i
{v,j,y} deci este homeomorf cu K
3,3.
Acelai principiu se aplic i pentru cazul 4. Adugm
un punct c pe drumul de la y la j iar {a,b,c} i {v,j,x} formeaz vrfurile unui subgraf din G
care este homemomorf cu K
3,3
. Pentru ultimul caz avem situaia n care c trebuie s coincid
cu x, altfel putem consider un caz similar cu 1. Astfel {a,b,x} i {v,y,i} formeaz vrfurile
unui subgraf homeomorf cu K
3,3
.

29

Figura 2.14
Pentru a doua configuraie din figura 2.12 trebuie selectate de aceast dat dou
vrfuri din C, pentru a nu permite desenarea lui I n exterior, pentru fiecare drum dintre i i j.
Dac aceste dou puncte, c i d, nu coincide cu vrful corespunztor x sau y atunci avem
cazurile 3 i 4. Alegem c s coincid cu x i d cu y. Se disting dou posibiliti:
1. Pe I exist un vrf v care s fie legat de c, respectiv d. n acest caz exist 4 drumuri cu
vrfurile distincte de la v la nodurile a,b,c sau d. La fel pentru a,b,c i d, caz n care subgraful
construit de v,a,b,c i d este homeomorf cu K
5.

2. Pe I exist dou vrfuri v,w pentru care exist un drumuri pn la c i d. Din v avem 3
drumuri cu vrfuri distincte pn n a, c i w iar din w pn n b,d i v. Aceei situaie este i
pentru vrfuril a,b,c i d. ntre a i primul vrf b putem merge pe E iar pentru d avem circuit
folosind C. La fel folosim circuitul pentru a ajunge din c n b iar pn n d ajungem cu
muchia e(x,y). Cum am mai afirmat i anterior n aceste condiii vrfurile formeaz un
subgraf care este homeomorf cu K
3,3.

Am artat c pornind de la orice graf cu n-1 muchii planar, pentru a construi graful G
cu n muchii neplanar, trebuie s folosim un subgraf homeomorf cu K
3,3
sau K
5
.

2.5 Algoritmi

n 1948 Fary a enunat o afirmaie conform creia orice graf planar poate fi desenat n
plan astfel nct muchiile sale s fie reprezentate de segmente de linie drepte. Aceasta este
cunoscut drept teorma lui Fary dei a fost dovedit iniial n 1936 de Wagner.
Problema se pune dac putem s gsim o astfel desenare n plan folosind linii drepte a
grafului i mai ales dac graful este ntradevr planar.
30
Prima idee care pornete de la definiia unui graf planar, s nu existe intersecii ale
muchiilor n interior, nu poate fi corect aplicat ncercrii de deomnstraie deoarece nu exist
o metod evident de desenare a unui graf. Testarea interseciei muchiilor este foarte simpl
ns dificultatea apare la enumerarea tuturor posibilitilor de desenare a grafului.
Algoritmii de testare a planaritii se bazeaz pe mai multe teoreme i proprieti din
teoria grafurilor care duc la o caracterizare a setului grafurilor planare independent de cum
sunt acestea desenate n plan.
Conform teoremei lui Kuratowski un graf finit este planar dac i numai dac acesta
nu conine o subdiviziune pentru dou grafuri neplanare, K
5
i K
3,3.
Un graf poate fi demonstrat neplanar dac are un subgraf cu proprietatea descris mai
sus. Verificarea unui subgraf dac este K
5
sau K
3,3
este simpl ntruct un subgraf se poate
obine dintr-un graf prin repetarea pailor de tergere a unei muchii sau tergerea unui nod
izolat iar subdiviziunea unui graf se obine prin inserarea repetat de noduri n interiorul
muchiilor obinnd n mod evident noduri de grad 2. Aceste teste nu produc un algoritm
eficient deoarece pentru un graf cu v vrfuri putem s obinem un numr maxim de e = v
2

muchii i astfel un numr de 2
e
subgrafuri.
Mai devreme n aceast tez am enunat teorema poliedral a lui Euler pe baza creia
am dedus doua corolare.Putem folosi aceste corolare pentru a verifica rapid dac un graf este
neplanar, dar nu putem decide doar prin aceste calcule planaritatea. Considerm c graful
ales are mai mult de trei vrfuri, |V| 3. Urmtoarele inegaliti implic neplanaritatea:
1. |E| > 3|V| - 6
2. dac nu exist cicluri de lungime impar i |E| > 2|V| - 4

2.5.1 Algoritmul Hopcroft-Tarjan
n 1974 Hopcroft i Tarjan a propus primul algoritm n timp linear de testare a
planaritii. Acest algoritm, cunoscut i sub numele de path-addition algorithm pornete de
la un ciclu i adaug cte o cale la fiecare pas. Deoarece este foarte complex i dificil de
implementat au fost fcute mai multe contribuii la dezvoltarea sa. Un exemplu evident este
31
lucrarea scris de Mehlhorn i Mutzel n 1996 care au evideniat o metod prin care s se
construiasc desenul n plan pentru un graf care a fost gsit planar prin algoritmul iniial al
lui Hopcroft i Tarjan.
Pentru a nelege algoritmul trebuie mai nti s introducem cteve definiii i s
clarificm informaii legate de parcurgerea n adncime a unui graf, depth first search.
Un graf este biconex dac prin eliminarea oricrui vrf graful rmne conex. O
component biconect este un subgraf maximal biconex. Orice graf conex se poate
descompune ca un arbore de componente biconexe care sunt conectate prin noduri ce se
numesc puncte de articulaie.
Exist dou metode clasice de parcurgere a unui graf: parcurge n lime(breadth first,
search BFS) sau parcurgere n adncime(depth first search, DFS).
n algoritmul lor, Hopcroft i Tarjan apeleaz la a doua metod de parcurgere a
nodurilor unui graf DFS. Parcurgerea pornete de la un vrf oarecare i continu trecnd de la
nodul curent la urmtorul ct timp exist vecini nevizitai pentru nod. Cnd nodul curent nu
mai are vecini neexplorai ne ntoarcem pe acelai drum pn gsim un nod conectat la
vrfuri nevizitate.

procedure DFS(nod n)
viziteaz(n);
for i : vecini(n)
if(i : nevizitat)
DFS(i)
end
Algoritmul lui Hopcroft i Tarjan este bazat pe o cutare a unei reprezentri planare a
grafului dar fr s fie precizat cum s se deseneze aceast reprezentare. Etapele pe care este
bazat algortimul sunt urmtoarele:
- Testeaz dac numrul de muchii din graf nu depete condiia din corolarele
teoremei lui Euler(dac depete atunci nu e planar).
- mparte graful n componente biconexe.
- Folosete o cutare n adncime pentru a gsi un ciclu n graf.
32
- Eliminarea ciclurilor mparte graful n mai multe componente conexe numite
poduri.Pentru fiecare pod individual testm dac mpreun cu ciclul formeaz
un graf planar. Folosim acelai algoritm la fiecare test innd cont c fiecare
pod este mai mic dect graful din care a fost separat i astfel evitm
posibilitatea apelrii la infinit a recursivitii.
- Dac ciclul este aezat n plan atunci fiecare pod trebuie s se afle n ntregime
fie n interior sau n exterior. Unele perechi de poduri se pot intersecta i
trebuie aezate pe pri opuse ale ciclului.
Cheia implementrii eficiente a algoritmului este realizarea tuturor calculelor i
testelor(inclusiv a subgrafurilor) printr-o singur parcurgere n adncime.


Figura 2.15

n exemplul din figura 2.15 avem construcia arborelui obinut din parcurgerea DFS
pentru graful alturat. Liniile punctate reprezint ramurile pe ntoarcere, care nu au fost
traversate n parcurgerea grafului. Ciclul gsit pentru al doilea pas din algoritm este:
1 -- 2 -- 4 -- 3 -- 6 5 1
n al 5-lea pas, testul de verificare, observm c cele 3 muchii neparcurse pot fi asezate pe o
parte si pe alta a ciclului astfel nct s nu se intersecteze, adic reprezentarea s fie planar
pentru subgraful obinut.Am artat c graful este planar.
Algoritmul Hopcraft-Tarjan reduce testul de planaritate la verificare dac arborele
obinut dup parcurgerea DF mpreun cu muchiile de ntoarcere formeaz o structur
planar. Aceast verficare poate fi fcut foarte eficient asignnd pentru fiecare muchie de
33
ntoarcere o valoare care ne spune pe ce parte a ciclului se afl: LEFT - RIGHT. Pentru o
muchie de ntoarcere dintre dou vrfuri trebuie ca n ordinea de parcurgere a ciclului acestea
s nu fie separate de un nod conectat prin o alt muchie de ntoarcere de nod aflat nafara
setului delimitat de cele dou noduri.

2.5.2 Algoritmul lui Tutte
n 1963 Tutte a dezvoltat un algoritm bazat pe idea de corzi elastice pentru desenarea
unui graf planar 3-conex n plan. Prin aceast metod vrfurile ciclului care delimiteaz faa
extern a grafului este sunt fixate ntr-un polygon strict convex n timp ce celelalte vrfuri
sunt introduse n interior i conectate prin muchii crora le vom asigna valori pentru
elasticitate. Coeficientul de elasticitate
i,j
are valori strict positive i este calculate pentru
muchia dintre nodul i i nodul j doar dac nu se afl amndou pe ciclul exterior.
Considerm p
i
poziia n plan a vrfului i. Pentru i = k+1, . ., n aceast poziie este
fixat(n reprezint numrul de noduri din graf). Celalalte poziii urmeaz s fie calculate i se
afl undeva n interiorul poligonului determinat. Sistemul format dintr-un poligon rigid
considerat suport i muchii elastice este n echilibru dac se verfic urmtorul sistem de
ecuaii:
( ) 0 =

eE ij
i j ij
p p e

Evident pentru muchia ij considerm vrful i n interiorul poligonului iar vrful j care
poziia fixat. Sistemul fixeaz fiecare nod interior n centrul geometric al corpului construit
de vecinii si.
La aplicarea algoritmului fixm poziiile vrfurilor din ciclul exterior pe un poligon
convex n plan. Asignm valori aleatoare n interiorul poligonului pentru celelalte vrfuri i
repetm paii:
- pentru fiecare vrf i calculm fora F
i
pentru toate coeficientele de
elasticitate pentru muchiile adiacente nodului;
- mutm fiecare vrf i pentru vectorul F
i
unde > o este un numr real fixat;
34
Repetm aceti doi pai pn cnd deplasarea vrfurilor este suficient de mic pentru a
aproxima sistemul de ecuaii.


2.5.3 Algoritmul lui Schnyder

Scopul algoritmului lui Schnyder este de a determina o hart cu muchii drepte pentru
un graf planar ce poate fi reprezentat pe un grid. Pentru un graf planar cu n vrfuri
algoritmul va gsi o desenare a grafului ntr-un grid de dimensiune n-2Xn-2 n timp linear.
Aceasta reprezint o mbuntire a algoritmului construit de De Fraysseix, Pach i Pollack
care folosea un grid de dimensiune 2n-4Xn-2.
Graful de intrare pentru acest algoritm este un graf planar fr muchii curbe Jordan
sau vecinti multiple ntre dou fee. n plus este dat i o reprezenare a sa n plan
aproximativ, referitor la o ordonare n sensul acelor de ceas a muchiilor pentru fiecare vrf.
Alt element esenial este faptul c graful este planar maximal, evident fiecare fa are 3
muchii.
Selectm o fa a grafului ca fiind extern i restul ca interne. O muchie sau un vrf
sunt considerai interni dac nu aparin feei externe. Metoda lui Schnyder depinde de dou
caracteristici a unui graf planar triangulat: etichetarea unghiurilor interne i direcia
muchiilor. Dup cum spune i numele, etichetarea unghiurilor interne asigneaz o valoare
dintre 1, 2 sau 3 fiecrui col al unui triunghi astfel nct fiecare triunghi are toate etichetele
n ordinea acelor de ceas. Pentru setarea direciei muchiilor trebuie la fel o etichetare cu 1, 2
sau 3, de data aceasta a muchiilor. Fiecare vrf are exact o muchie de plecare etichetat cu
fiecare numr i acestea apar n ordinea acelor de ceas. Muchiile poziionate ntre dou dintre
aceste muchii va fi etichetat cu 6-i-j, unde i i j reprezint etichetare celor dou muchii.
Etichetarea unghiurilor interne are o serie de proprieti specifice:
1. Pentru fiecare triunghi exist un col etichetat cu 1, al doilea cu 2 i al treilea cu 3.
2. Unghiurile fiecrui triunghi sunt etichetate n ordinea acelor de ceas cu 1, 2 i 3.
3. Pentru fiecare vrf interior, etichetrile colurilor pentru fiecare triunghi adiacent sunt
construite ca serii de 1 urmate de 2 i 3.
4. Toate unghiurile unui vrf exterior au aceeai etichet.
35
5. Vrfurile triughiului exterior pentru care toate unghiurile adiacente sunt etichetate doar cu
o singur valoare apar i ele n ordinea acelor de ceas.
Selecia etichetrii unei muchii se face pe baza etichetrii vrfurilor adiacente. Fiecare
muchii face legtura ntre dou vrfuri cu cte patru unghiuri adiancente etichetate cu dou
dintre cele 3 valori o dat i cu cealalt valoarea de mai multe ori. Setm etichetarea
muchieie ca fiind valoarea setului de etichetare care se repet la vrful de intrare din direcia
muchiei.
Schnyder descrie o metod folosit la determinarea etichetrilor vrfurilor i
muchiilor folosind contracii ale muchiilor. O muchie interioar a unui graf triangular este
contractabil dac cele dou vrfuri din capete au exact doi vecini n comun. Rezultatul
contractrii este eliminarea muchiei respective i se adaug muchii ntre un vrf i toi vecinii
celuilalt. Deoarece contracia unei muchii a unui graf triangular duce la formarea unui alt
graf triangular cu un vrf mai puin, Schnyder consider c ste posibil construcia unei
etichetri pornind de la ordinea invers n care au fost fcute o serie de contracii a
triunghiului exterior.
Pentru un vrf intern, dac mergem pe lanul construit de muchiile etichetate cu
aceeai valoare ajungem la vrful triunghiului exterior corespunztor. Pentru fiecare vrf
intern cele trei lanuri determin o mprire a grafului n trei regiuni. Folosim numrul de
triunghiuri dintr-o regiune pentru determinarea unui set de coordonate trei-dimensionale
pentru un vrf. Pentru orice set de coordonate (x,y,z) verificm egalitatea x+y+z = 2n-5 astfel
nct toate coordonatele s fie aezate n acelai plan. Pentru determinarea unei aezri mai
compacte Schnyder folosete o numrare a vrfurilor dintr-o regiune, inclusiv din drumul ce
mrginete o regiune vecin pe partea acelor de ceas dar nu pe partea opus.
Dup ce am determinat coordonate pentru fiecare vrf al grafului triangular, prin
folosirea uneia din metode de numrare descrise mai sus, trebuie doar aplicarea lor pe un grid
de dimensiune 2n-5X2n-5 sau n-2Xn-2
36
Capitolul 3

Colorri

Prin colorarea unui graf nelegem procesul de asignare a unor culori(reprezentate
prin valori numerice distincte), diferitelor componente ale grafului(vrfuri, fee sau muchii)
astfel nct s fie ndeplinite o serie de constrngeri. n continuare vom considera problema
colorrii pentru vrfurile unui graf, acesta fiind cazul cel mai important deoarece se poate
replica ntr-o form echivalent pentru alte tipuri de colorri. Colorarea muchiilor se poate
rezolva prin colorarea linie-grafului asociat, iar pentru o reprezentare a grafului colorarea
feelor acestuia se poate realiza prin colorarea vrfurilor grafului dual asociat.
Colorarea cu un numr redus de culori nu poate fi aplicat tuturor tipurilor de grafuri.
Vom prezenta tipurile de grafuri i hri i proprietilor acestora care le permit s fie
colorare cu 1,2 sau 3 culori.
Teorema celor 5 culori a fost demonstrat nc dinaintea anului 1900 de Kempe care
era n cutarea demonstraiei problemei celor patru culori. Ideea sa de demonstraie a fost
demonstrat eronat de Heawood care a dedus din aceast metod informaiile suficiente
demontraiei problemei celor 5 culori.
Au urmat apoi aproape 70 de ani de ncercri a unora dintre cei mai mare
matematicieni de demonstrare a problemei celor patru culori. Appel i Haken au aplicat
metodele lui Heesch de reducere i descrcare a grafurilor pentru a demonstra. Ideea de
demonstraie este arhicunoscut datorit n principal folosirii calculatoarelor pentru
verificarea i testarea unor configuraii.
3.1 Introducere

Definiie:
Fie G = (V,E) un graf, o p-colorare vrfurilor lui G, unde e p i p > 0, poate fi
definit ca o funcie c : V -> {1, 2, .., p} cu proprietatea c:
37
( ) ( ) j c i c = , E ij e

Definiie:
Numrul cromatic al grafului G, notat (G), este cea mai mic valoare a lui e p *
pentru care G admite o p-colorare proprie. O p-colorare a vrfurilor poate fi considerat ca o
partiionare are vrfurilor n p seturi independente numite clase de colorare. Un exemplu
evident este reprezentat de setul grafurile 2-colorabile care este acelai cu setul grafurilor
bipartite.



Figura 3.1

Definiie:
O p-colorare a muchiilor unui graf G = (V,E) este o aplicaie c : E -> {1, 2, .., p}
pentru care oricare dou muchii adiancente au culori diferite:

( ) ( ) f c e c = , E f e e ,
Definiie:
Indicele cromatic al grafului G, notat (G), este cea mai mic valoare a lui e p *
pentru care G admite o p-colorare a muchiilor sale. Observm c indicele cromatic este
calculate foarte uor ca fiind gradul maxim al vrfurilor din G.
38

Figura 3.2

Definiie:
Colorarea feelor unei hri poate fi considerat ca o p-colorare a vrfurilor grafului
dual asociat. Considerm pentru o fa fe F, C(f) mulimea muchiilor din ciclul care o
delimiteaz. O p-colorare a feelor este o funcie c : F -> {1,2,..,p} astfel nct:

( ) ( ) f c e c = F f e e , unde ( ) ( ) | = e C f C


Figura 3.3





39
3.2 1-, 2-, i 3Colorare

n aceast seciune ne interesm de colorarea grafurilor folosind un numr ct mai
mic de culori. Aceste rezultate se obin foarte uor i logic i reprezint un pas semnificativ
pentru a nelege celelalte probleme de colorare i importana lor.

O culoare:

Pentru a colora o hart cu o singur culoare trebuie ca reprezentarea ei s conin o
singur fa nemrginit. Dac harta ar conine o fa mrginit atunci atunci muchiile sale ar
trebui s o separe de alt regiune i astfel trebuie s fie colorate folosind dou culor diferite.
Presupunnd c graful conine un ciclu asta nseamn c planul de reprezentare este
mprit n dou regiuni. Deducem c o hart poate fi colorat cu o singur culoare dac
graful nu conine niciun ciclu. Un astfel de graf este n mod evident un arbore.
Regiunile unei hri sunt 1-colorabile dac graful pentru acea hart este un arbore.
Pentru colorarea vrfurilor unui graf ideea este mult mai simpl ntruct dac exist o
muchie conectoare ntre dou vrfuri atunci acestea trebuie colorate diferit. Observm c
vrfurile grafului pot fi colorate cu o singur culoare doar dac acesta nu conine nici o
muchie.
Colorarea vrfurilor unui graf conex necesit o singur culoare dac i numai dac
acesta este format dintr-un singur vrf. Din aceast observaie putem s facem legtura cu
colorarea unei hri ntruct aceasta are o singur regiune. Pentru o hart M ce are o singur
fa nemrginit obinem graful dual asociat ca un graf cu un singur vrf. Acest vrf poate fi
colorat cu o singur culoare deci i harta M are aceeai proprietate.

Dou culori:

Colorarea unei hri cu dou culori este un pic mai dificil dar la fel este specific
unui anumit tip de grafuri. Un exemplu clasic pentru colorarea unei hri cu dou culori este
tabla de ah. ns aceast alegere este greit ntruct trebuie s avem n vedere i faa
exterioar, care intr n contact i cu suprafee albe sau negre. Putem s considerm o tabl
40
de ah infinit ns aceasta nu ajut la nelegerea condiiilor necesare pentru a fi 2-
colorabil.


Figura 3.4


Teorem:
O hart poate fi 2-colorabil dac i numai dac orice vrf al grafului are gradul
par mai mare sau egal dect doi. Aceast teorem poate fi dovedit prin inducie dup
numrul de muchii.

Demonstraie:
Pentru a genera o hart 2-colorabil putem s imprim planul n dou trasnd o linie
infinit. Fiecare regiune separat de aceast linie va fi colorat cu una din cele dou culori.
Repetm procesul considernd fiecare fa ca un plan numai c de data aceasta inversm
culorile care se afl pe o singur parte a liniei.. Aceeai idee o putem aplica pentru generarea
unei hri folosind cercuri. Zona interioar va fi colorat cu o culoarea iar cea exterioar cu
alta. Cnd adugm un nou cerc ntr-o zon colorat ntr-un fel inversm culoarea din interior
lsnd cea din exterior la fel. n cazul interseciei dintre dou cercuri zona de interseciei va
avea culoarea schimbat pe cnd interiorul rmas pentru al doilea cerc va avea culoarea
primului. Evident ambele metode determin o colorare corect folosind doar 2 culori.
41
Teorema enunat este evident pentru un graf cu doar dou muchii deoarece acestea
nu formeaz un ciclu i deci nu avem mai multe regiuni. Presupunem teorema adevarat
pentru orice hart cu m muchii i toate vrfurile de grad par. Considerm o hart cu m+1
muchii i toate vrfurile de grad par. ncepem o parcurgere de la un nod A oarecare pn
ajungem napoi la un alt nod B pe care deja l-am parcurs. Drumul de la prima apariie a lui B
pn la ntoarcerea la el este un ciclu nchis pe care putem s l tergem. ntruct ciclul are
mai mult de o muchie, obinem o nou hart pentru care condiia din ipoteza inducie sunt
verificate, adic este 2-colorabil. Adugnd ciclul napoi n desen putem s inversm
culorile de pe o parte a zonei nchise i obinem o 2-colorare corect.

Pentru colorarea vrfurilor unui graf trebuie s avem n vedere n primul rnd
dimensiunea ciclurilor sale.

Teorem:
Vrfurile unui graf pot fi 2-colorate dac i numai dac acesta nu conine un ciclu cu
un numr impar de vrfuri.

Demonstraie:
Demonstraia pentru aceast teorem este foarte simpl i pornete de la construcia
ciclului. Dou noduri legate printr-o muchie trebuie s fie colorate diferite deci orice dou
vrfuri din ciclu au culori diferite. Pornin parcurgerea ciclului i setm o culoare pentru
primul vrf. Colorm toate vrfurile adiacente lui cu cealalt culoare, inclusiv cele dou
vrfuri care aparin ciclului. Ciclul are un numr par de vrf i astfel dac facem simultan
cte un pas din fiecare vrfurile colorate, mergnd n ambele sensuri vom colara vrfurile la
fel pentru fiecare nou muchie traversat. Ajungem la final cnd avem dou vrfuri alturate
dar care au aceeai culoare.
Aceast afirmaie este echivalent cu faptul c graful 2-colorabil este bipartit. Un graf
este bipartit dac setul de vrfuri poate fi mprit n dou submulimi astfel nct s nu existe
o muchie ntre dou vrfuri din aceeai submulime. Aplicarea unei 2-colorri pentru un graf
bipartit este evident ntruct fiecare submulime de vrfuri va avea o culoare diferit.

42
Pentru un arbore o funcie de 2-colorare este la fel de intuitiv, ideea de baz este ca
fiecare nivel s aibe o alt culoare. Pentru un nod colorat ntr-un anumit fel trebuie s alegem
pentru copiii si cealalt culoare. Evident un arbore nu conine cicluri deci nu putem obine o
contradicie cu prima teorem.

Trei Culori:
La aplicarea unei 3-colorri nu mai exist din pcate astfel de caracterizri uoare.
O teorem de caracterizare pentru grafurile 3-colorabile se aplic grafurilor cu hri
cubice. Numim o hart cubic dac fiecare vrf are gradul 3.

Teorem:
O hart cubic este 3-colorabil dac i numai dac fiecare regiune este mrginit
de un numr par de muchii.

Demonstraie:
Prima implicaie este foarte logic si pornete de la construcia unei hri cubice. O
colorare a unei hri cubice presupune ca numrul de muchii din ciclurile care delimiteaz
fiecare regiune s fie par. Putem colora o fa cu o anumit culoare iar regiunile sale vecine
alternative cu celelalte dou culori rmase. Pentru fiecare hart putem s construim un graf
dual astfel nct obinem un ciclu asociat feelor vecine. Cum am artat n paragrafele
anterioare lungimea unui ciclu colorat cu doar dou culori trebuie s fie par. Ca urmare
fiecar fa a unei hri cubice 3-colorabile trebuie s fie delimitat de un numr par de fee
vecine.
Pentru a arta c dac fiecare regiune dintr-o hart cubic este delimitat de un numr
par de muchii atunci harta este 3-colorabil pornim demonstraia printr-o inducie dup
numrul de regiuni din harta respectiv. Pentru o hart cu 3 regiuni colorarea este evident,
fiecare regiune are o alt culoare.
Presupunem teorema adevrat pentru o hart cu mai puin de r regiuni. Considerm
o hart cubic M cu r+1 regiuni unde fiecare fa are un numr par de muchii. Cum am vzut
n teoria pentru grafurile planare, fiecare graf planar poate fi considerat ca un graf dual pentru
o alt hart. Evident graful pentru o hart cubic este planar deci putem s construim graful
43
dual asociat. Al treilea corolar al teoremei lui Euler limita gradul unui vrf oarecare din graf
astfel nct acesta s fie mai mic sau egal cu 5. Trecnd napoi la o hart rezult ca trebuie s
existe o fa mrginit de mai puin de 5 muchii. Cum numrul de muchii pentru fiecare fa
este par obinem dou cazuri pentru regiunea respectiv, dou sau patru regiuni care o
nconjoar. Dac eliminm aceast fa obinem o hart cu r regiuni care am presupus n
ipoteza de inducie c este 3-colorabil. Rmne de artat ca prin eliminarea feei numrul de
muchii care mrginesc celelalte regiuni rmne par.
Pentru primul caz, n care faa eliminat are 2 muchii. Pentru a elimina regiunea R
este sufficient s tergem o singur muchie. Astfel aceast fa i cea de care era separat
prin muchia eliminat, R, se unesc. Celelalte fee nu sunt afectate de aceast modificare
ntruct marginile au rmas n aceleai poziii iar noua fa are acelai numr de muchii ca si
regiunea R: a fost eliminat o muchie dar i adugat cealalt care desprea regiunea R de
cealalt fa. Numrul de muchii care mrginesc fiecare fa a rmas par deci se verific
inducia i harta este 3-colorabil.
n cazul n care harta are o regiune cu 4 muchii, selectm regiunile vecine acesteia i
le notm R
1
, R
2
, R
3
i R
4
n sensul acelor de ceas. Evident aceste regiuni trebuie s fie
conectate dar trebuie ca dou dintre ele s nu fie separate de o muchie. Presupunem c R
2
i
R
4
nu au muchie comun deci pot fi colorate la fel pe cnd celelalte 2 regiuni sunt colorate
diferit. Eliminm muchiile dintre R i R
2
, respectiv R i R
4
, obinnd astfel o hart cu r-1
regiuni. Folosind acelai raionament ca n primul caz regiunile pentru noua hart au un
numr par de muchii. Notm cu R noua fa format din reuniunea dintre R, R
2
i R
4
.
Amintim c n construcia hrii R avea doar 4 muchii, cte una pentru fiecare din cele 4
regiuni vecine. Att pentru R
2
ct i pentru R
4
trebuie deci s fie un numr impar de muchii n
contact cu exteriorul. Astfel orice ciclu care ocolete noua fa R pentru a ajunge din R
1
n
R
3
trebuie s parcurg un numr impar de muchii, delimitnd la fel un numr impar de
regiuni. Cum am mai artat, pentru o 2-colorare dup parcurgerea unui numr impar de
vrfuri obinem o aceeai culoare pentru vrful de nceput ct i pentru cel de la final. Aadar
R
1
i R
3
trebuie s fie colorate la fel pentru ca aceast hart cu r-1 regiuni s fie 3-colorabil.
Adugm din nou regiunea tears R pentru colornd cele dou regiuni vecine R
2
i R
4
cu
aceeai culoare iar pe R cu o culoare distinct. Obinem o 3-colorare corect pentru harta
cubic cu r+1 regiuni.
44
n ambele cazuri putem afirma c o hart cubic cu regiunile mrginite de un numr
par de muchii este 3-colorabil.

3.3 Teorema celor 5 culori

Cum a fost exemplificat anterior problemele de colorare se pot reduce la o singur
aplicaie definit pe mulimea vrfurilor. Considerm o 5-colorare a unei hri ca fiind 5-
colorarea vrfurilor grafului suport.

Teorem:
Pentru orice hart M = (V,E,F) avem c numrul cromatic (M) 5.

Demonstraie:
Amintim din teorema lui Euler c pentru un graf planar conex G = (V,E) i o hart =
(V,E,F) al acestuia, atunci se verific urmtoarea ecuaie:
|V| - |E| + |F| = 2
Pentru un graf planar cu mai mult de trei vrfuri aceast teorem implic:
|E| 3|V| - 6
Fie un graf G cu |V| >= 6 i |E| numrul de muchii. Orice graf cu mai puin de |V| vrfuri
poate fi colorat cu 5 culori. Afirmaia este evident deoarece putem s colorm fiecare vrf
cu o culoare diferit. Aceasta este pasul de inducie.
Folosim urmtoare notaie pentru media gradelor nodurilor grafului G:
( ) ( )

e
=
V v
v d G d
V
1

unde evident d(v) reprezint gradul vrfului respectiv.
( )

eV v
v d = 2|E|
Putem s aplicm corolarul de la teorema lui Euler i obinem inegalitatea:
( )
( )
6
6 3 2 2
<

s =
V
V
V
E
G d
45
Fie v un vrf al grafului de grad maxim 5. Din ipoteza de inducie un nou graf H obinut din
G prin eliminarea nodului v este 5-colorabil. Dac H poate fi colorat cu patru culori pentru
vecinii lui v atunci pentru acesta folosim ultima culoare nefolosit. Continum pentru cazul
n care v are 5 vecini i acetia sunt colorai diferit.
Considerm ordinea n sensul acelor de ceas pentru vecinii lui v astfel v
1
, v
2
, v
3
, v
4
i
v
5
pentru care notm corespunztor muchiile m
1
, m
2
, m
3
, m
4
i m
5
care sunt adiancente
nodului v. Prespunem c pentru fiecare i din notaia folosit pentru v
i
i m
i
am colorat vrful
respectiv cu culoarea i.

Figura 3.5

Trebuie s artm c orice drum de la v
1
la v
3
din graful H separ vrfurile v
2
i v
4
.
Evident aceasta se poate construi i pentru graful G astfel nct ciclul care pornete din v i
trece prin v
1
i v
3
separ la rndul lui vrfurile v
2
i v
4
. Artm c v
2
i v
4
se afl n pri
diferite ale ciclului(unul n interior, cellalt n exterior). Dac ne imaginm muchiile m
1
i m
3

ca un zid cu v n mijloc ce se ntinde la infinit(exist drum care s uneasc m
1
de m
3
), din
notaia i numerotarea vrfurilor este evident c v
2
i v
4
se afl pe pri opuse.
Pentru i,j {1,2,3,4,5} notm cu H
i,j
subgraful lui H construit din vrfurile colorate
doar cu i sau j. Pentru H
1,3
vrfurile v
1
i v
3
sunt incluse n mulimea vrfurilor sale.
Deoarece exist un drum ntre v
1
i v
3
exist posibilitatea ca acestea s fie colorate cu aceeai
46
culoare. n acest caz ne rmne pentru v o culoare nefolosit, 1 sau 3, prin care putem s
realizm o 5-colorare. Drumul dintre v
1
i v
3
separ pe v
2
de v
4,
adic nu exist o muchie
direct sau un alt drum, dect prin v, ntre v
2
i v
4
care s necesite colorarea lor diferit.
Asignm aceeai culoare pentru ambele vrfuri iar pentru v i rmne culoarea nefolosit.
Putem s colorm graful planar folosind doar 5 culori.


3.4 Teorema celor 4 culori

Teorema celor 4 culori este cunoscut deoarece a fost prima problem matematic de
durat ce a fost rezolvat folosind un program de calculator. Problema a fost nti propus de
Francis Guthrie n 1852 iar apoi n peste mai mult de 100 de ani de cercetri i demonstraii
eronate a fost rezolvat de Appel i Haken n 1976. Demonstraia lor a implicat un element
cu totul nou deoarece au folosit calculatoarele pentru a verifica i testa multe cazuri care nu
puteau fi rezolvate de mn.

Teorem:
Feele unei hri planare simple pot fi colorate cu doar patru culori, astfel nct
oricare dou fee vecine s fie colorate diferit.

Demonstraie:
Ideea de demonstraie pare foarte simpl: presupunem c exist o hart ce nu poate fi
colorat cu 4 culori. Dac exist astfel de hri atunci trebuie s fie una cu cel mai mic numr
de noduri. Trebuie s o gsim. Pasul urmtor este s artm ca putem elimina un nod din graf
fr a se modifica numrul de culori ce trebuie folosite. Deoarece noul graf are mai puine
noduri dect cel de la care am pornit noua hart poate s fie colorat cu patru culori, dar
avnd n vedere felul n care am ales nodul eliminat nseamn c i graful iniial poate s fie
colorat cu patru culori. Ajungem la o contradicie.
Esenial este s descriem procesele individuale care sunt folosite pentru a reduce un
graf la unul cu mai puine noduri astfel nct s nu se reduc i numrul de culori folosite la
47
colorare dar trebuie s i artm c orice contra-exemplu minimal trebuie s conin cel puin
un nod ce poate fi eliminat. Aceast ultim parte a necesitat ajutorul pe calculator. Appel i
Haken trebuiau s identifice i s examineze foarte multe metode prin care un nod poate fi
eliminat i s arate c orice contra-exemplu de graf minimal poate s elimine un nod folosind
o astfel de metod.

- Graf planar maximal
n fazele premergtoare demonstraiei folosim cteva noiuni introduse anterior. n
verificarea teoremei este suficient s folosim doar triangulizri ale hrilor. Pentru orice
hart, putem face legtura ntre o 4-colorare a sa cu o 4-colorare a triangulizrii ce
corespunde unei 4-colorri a vrfurilor unui graf planar maximal.
ntr-o hart dac o muchie e este muchie pod atunci ea se alf pe marginea unei
singure fee. Prin eliminarea ei trebuie s se deconecteze graful deci muchia nu poate face
parte dintr-un ciclu. Deasemeni n graful dual asociat aceast muchie se transform ntr-o
curb Jordan. Pentru dou regiuni R i S din hart spunem c ele au vecintate multipl dac
grania lor este compus din mai multe muchii. Astfel vrfurile asociate din graful dual vor
avea muchii multiple. Folosim operaia de contractare pentru a elimina diferite muchii.
Printr-o serie de astfel de operaii putem s ajungem la un graf din care am eliminat toate
muchiile curbe Jordan i toate muchiile multiple. Aceste muchii eliminate nu influeneaz
colorare vrfurilor grafului deoarece fac legtura ntre dou noduri deja adiacente sau ntre
acelai nod.
Am demonstrat c pentru a colora o hart M este suficient s colorm harta obinut
prin contractarea muchiilor pod i muchiile din vecinti multiple.
Putem face legtura ntre aceste tipuri de hri si grafurile planare maximale aplicnd
o standardizare. Operaia de standardizare a hrilor are un prim pas de eliminare a tipurilor
de muchii descrise n paragraful anterior iar apoi aplicrii unei triangulri. Aceasta din urm
determin un graf planar maximal.
Pentru a demonstra teorema celor patru culori trebuie s demonstrm 4-colorarea
vrfurilor oricrui graf planar maximal. Pentru a continua trebuie s ncepem s considerm
seturi de hrti, respectiv grafuri planare.
48
Orice graf G din clasa de grafuri planare maximale este dualul unei hri M dac
urmtoarele afirmaii sunt satisfcute:
1. harta M este cubic(orice vrf are gradul 3).
2. graful asociat hrii M este simplu.
3. harta M nu are muchii pod i vecinti multiple.
tim c relaia de dualitate este simetric deci dac avem o harta triangular, atunci
pentru c fiecare fa e mrginit de trei muchii vom avea n graful dual asociat numai vrfuri
cu gradul 3. Harta acestui graf este deci cubic iar graful hrii triangulare este evident planar
maximal. ntruct graful dual este planar maximal atunci harta nu are muchii pod sau
vecinti multiple. Graful asociat unei astfel de hri este simplu. Dac un graf G nu are
muchii multiple, adic este simplu, atunci dup cum am artat mai devreme n acest
subcapitol harta asociat nu are muchii pod sau vecinti multiple.
Folosim aceste observaii putem afirma c dac o hart aparine clasei de hri
construite astfel nct fiecare hart s aibe un graf dual n clasa de grafuri planare maximale
atunci ea poate fi 4-colorabil.

- Graf minimal.
Am ajuns la punctul cnd putem s ncepem cutarea pentru un contra-exemplu cu
numr minim de vrfuri. Presupunem c problema celor patru culori este fals, deci exist un
grup de grafuri planar maximale cu (G) = 5. n acest grup considerm graful minimal ca
fiind cel cu cel mai mic numr de vrfuri.
Hrile minimale sunt definite evident n relaie cu grafurile minimale.
Pentru grafurile minimale eseniale sunt dou teoreme:
1. Dac G este minimal atunci G este planar maximal.
2. Dac G este minimal atunci G este 5-conex.

- Reductibilitate
Dac putem selecta orice subgraf(putem efectua eventuale modificri) al unui graf
planar i s l colorm cu 4 culori atunci atunci i graful planar poate fi colorat cu un numr
minim de 4 culori.
49
Eliminarea unui vrf i apoi reinserarea sa astfel nct noua colorare s depind de
felul n care a fost colorat subgraful este relativ uoar. Dac vrful are gradul mai mic sau
egal dect 3 atunci atunci nici nu trebuie verificat planaritatea ntruct putem colora aceste
vrfuri cu 3 culori rmnnd o a patra pentru vrful nostru eliminat. n cazul n care vrful
are gradul 4 atunci numerotm vecinii si ntr-o anumit ordine i ne amintim de argumentele
folosite la demonstrarea 5-colorrii.
Presupunem c cei 4 vecini au culorile diferite i ncercm s asignm aceeai culoare
la primul i la al treilea vrf. Acest lucru nu e posibil n cazul n care exist un lan Kempe
ntre cele dou noduri. Putem s ncercm colorarea celorlalte dou vrfuri, dar la fel nu
trebuie s existe un lan cu cele 2 culori alternnd. Datorit planaritii grafului tim sigur c
existena a dou lanuri Kempe simultan este exclus.
ntr-un corolar al teoremei lui Euler am afirmat c n orice graf planar exist un vrf
cu gradul mai mic sau egal dect 5. Am verificat cazurile cnd gradul este 4 sau mai mic
astfel nct mai trebuie testat doar pentru valoarea 5 a gradului unui vrf. Acesta a fost
principalul argument al lui Heawood cnd a construit un contra-exemplu pentru ideea de
demonstraie a lui Kempe.
Ne amintim c pentru o colorare a unui graf planar este suficient s facem o colorare
a unei triangulri a sa. ntr-o triangulare un vrf de grad 5 poate s fie poziionat ntr-un
singur mod, la intersecia a 5 triunghiuri astfel nct acestea s formeze un ring n jururl su.
O configuraie este o structur a unui subgraf cu o specificaie precis asupra gradului
vrfurilor i a modului n care este poziionat n plan. O configuraie este reductibil dac 4-
colorarea a oricrui graf planar n care e inclus se poate deduce din 4-colorarea unui alt graf
planar cu mai puine vrfuri.
Un ciclu este separator dac prin eliminarea lui dintr-un graf(muchii i vrfuri) acesta
se mparte n dou componente conexe nenule.
Urmeaz s enunm cteva teoreme care evideniaz configuraii reductibile:
1.un vrf de grad mai mic dect 5;
2.o fa cu mai mult de 3 muchii pe grani;
3.un circuit separator de lungime mai mic de 5;
4.un circuit separator de lungime 5 ce separ dou componente amndou netriviale(mai
mult de 2 vrfuri);
50
5.un vrf de grad 5 cu trei vecini consecutivi de grad 5;
6.un vrf de grad 6 cu trei vecini consecutivi de grad 5;
7.un vrf de grad 5 dac toi vecini si au gradul mai mic de 6;
8.un vrf de grad 6 dac toi vecini si au gradul mai mic de 6;
9.un vrf de grad 7 cu patru vecini consecutivi de grad 5;
10.un vrf de grad 7 cu 5 vecini de grad 5 dac ceilali doi nu sunt vrfuri cu grad mai mare
dect 7);

- Descrcri i seturi inevitabile.
Heesh a fost cel care a pus bazele tehnicii de ncrcare i descrcare ca o metod de a
genera seturi de configuraii inevitabile.
Pentru a descrca o triangulare trebuie ca mai ni s o ncrcm. Fiecare vrf va avea
o sarcin, un numr ntreg, astfel nct suma lor s fie 12 pe toat triangularea. Aceste sarcini
pot fi transferate de la un nod la altul. ncepnd cu sarcina iniial putem modifica sarcinile
de la un vrf la altul astfel nct suma s rmn ntotdeauna 12. Descrcarea reprezint
procesul de a tranfera sarcinile de la un vrf la altul astfel nct s nu mai fie nici unul cu
sarcina pozitiv, lucru imposibil deoarece suma este pozitiv i deci unele vrfuri vor avea
sarcina nenegativ.
Evident orice procedur sau algoritm de transferare a sarcinilor la duce ntr-o
configuraie final. Putem enumera deci pentru un algoritm toate configuraiile n care se
poate ajunge. Orice graf planar trebuie s conin o astfel de configuraie inevitabil, n caz
contrar acesta ar putea fi descrcat.
Ca sarcin iniial asignm fiecrui vrf v dintr-o triangulare valoarea:

0
(v) = 6 d(v).

Pentru un graf G = (V,E) triangulare amintim o teorem demonstrat anterior:
|E| = 3|V| - 6

e e e
= = =
V v V v V v
o
E V v d V v d v | | 2 | | 6 ) ( | | 6 )) ( 6 ( ) ( ,

6|V| - 2|E| = 6|V| - 6|V| + 12 = 12

51
Un algoritm de descrcare este o regul de distribuie a sarcinilor dintr-o triangulare.
Pe acest principiu Haken a construit un algoritm pentru care a concluzionat c orice
triangulare ce nu conine vrfuri de grad mai mic de 5 i circuite de separare pot fi descrcate
doar dac nu apar urmtoarele configuraii:
1.un vrf de grad 6;
2.un vrf de grad 7;
3.un vrf de grad 5 cu trei vecini consecutivi de grad asemeni 5;
4.un vrf de grad 8 cu 5 vecini consecutivi de grad 5;
5.un vrf de grad 9 cu 8 vecini consecutivi de grad 5;
6.un vrf de grad 10 cu 9 vecini consecutivi de grad 5;
7.un vrf de grad 11 cu 10 vecini consecutivi de grad 5;
Aceste configuraii constituie un prim set inevitabil produs de algoritmul lui Haken.
Observm c doar primele 2 configuraii nu sunt reductibile deci orice contra-exemplu
minimal la problema celor patru culori trebuie s conin un vrf de grad 6 sau 7. n caz
contrar colorarea cu 4 culori ar fi fost dedus dintr-un graf cu mai puine vrfuri.

- Reducerea cu ajutorul calculatorului
Primul pas al demonstraiei a fost deja atins. Avem un criteriu rezonabil pentru
reducerea configuraiilor i un algoritm de descrcare care determin numai configuraii cu o
bun probabilitate s fie reduse. Urmtorul pas este testarea acestor configuraii i verificarea
c sunt ntr-adevr reductibile.
Procedura de descrcare nu presupune urmarea unor pai exaci i astfel poate fi
modificat pe parcurs s corespund unor cazuri nefavorabile. Cnd era descoperit o
configuraie ce nu putea fi redus cu tehnicile descries, algoritmul de descrcare era
modificat pentru a genera un set inevitabil ce s nu conin aceste configuraii.
Testarea reductibilitii este ultimul obstacol nainte de a completa demonstraia.
Aceasta a fost i etapa cea mai ndelungat i complex. Pentru demonstrarea c orice
configuraie dintr-un set ce era n continu cretere este reductibil au fost necesari mai muli
ani de munc si multe sute de ore de lucru pe calculator.
n cutarea lor pentru diferite configuraii Appel i Haken nu s-au bazat doar pe
gsirea de configuraii reductibile, ci chiar opusul. Erau mult mai interesai de eventualele
52
cazuri n care o anumit proprietate a unui subgraf nu garanta reductibilitatea configuraiei.
Heesch a fost cel care a gsit 3 astfel de cazuri ce trebuiau evitate:
1.Existena unui vrf din configuraie care este adiacent la patru sau mai multe vrfuri din
inelul nconjurtor;
2.Existena unui vrf critic care este conectat cu mai mult de 3 muchii de inelul exterior;
3.Existena unei perechi de vrfuri de grad 5 ce sunt conectate cu un singur alt nod din
configuraie;
Prezena uneia dintre aceste 3 subconfiguraii prea s mpiedice reductibilitatea
configuraiei. Putem s particularizm setul de configuraii prin eliminarea celor care conin
un subgraf similar cu cele 3 prezentate. Aceste configuraii sunt recunoscute ca fiind
configuraii probabil reductibile.
Appel i Haken au observat c puteau s implementeze sistematic aceste metode
pentru a demonstra problema de colorare. Primul pas era algoritmul iniial de descrcare a
lui Heesch urmat apoi de o alt variant de descrcare pentru a genara configuraii din setul
inevitabil care s fie probabil reductibile. Pentru un astfel de set se testeaz fiecare element al
su folosind algoritmi implementai pe calculator pentru a verifica dac este reductibil sau
conine o alt configuraie deja demonstrat reductibil.
Dac o configuraie din set nu poate fi dovedit reductibil, dei satisface cele trei
criterii ale lui Heesch, ne ntoarcem la algoritmul de descrcare i l modificm pentru a
obine o alt configuraie din clasa celor probabil reductibile.

- Argumentul probabilistic
n demonstrarea teoremei, Appel i Haken au introdus i un argument probabilistic
pentru a determina existena unei proceduri de descrcare astfel nct s fie generate seturi de
configuraii inevitabile i reductibile. Au artat c reductibilitatea folosind calculatorul este
foarte probabil s reueasc.
Pe lng aceast existen a unei proceduri, Appel i Haken au mai folosit un
argument probabilistic n limitarea dimensiuni unui inel la mai puin de 17 i au folosit pn
la urm valoarea 14. Exist un set inevitabil de configuraii reductibile, fiecare dintre ele
avnd dimensiunea unui inel mai mic sau egal dect un specific numr. Probabilitatea
53
existenei unui astfel de inel se calculeaz plecnd de la raportul dintre numrul de vrfuri
din configuraie i dimensiunea inelului.
n demonstraia lor Appel i Haken au introdus mai multe inovaii fundamentale,
prima dintre care este evident folosirea calculatorului pentru a demonstra teoreme
matematice.


3.5 Algoritmi

Colorarea grafurilor pare ca o aplicaie destul de simpl. Trebuie doar s asignm
nite valori numerice vrfurilor. Determinarea i descrierea unui algoritm nu este dificil, dar
foarte complex din punct de vedere al posibilitilor de colorare a unui graf. Soluia general
pentru determinarea unei colorri optime ntr-un graf este printr-o cutare a tuturor
posibilitilor. Putem s pornim de la un nod pe care l colorm ntr-un anumit fel iar apoi
asignm vecinilor si alte culori care s nu fie n conflict cu prima. Pentru a determina
numrul cromatic al unui graf ncercm colorarea grafului cu una, dou, trei culori i aa mai
departe pn determinm valoarea minim pentru numrul de culori folosite.

3.5.1 Algoritm Greedy

Probabil cel mai simplu algoritm pentru a colora un graf este folosirea unei metode
greedy. Ideea este de a colora fiecare nod cu o culoare minim ce nu a fost folosit vecinilor
si. Prin culoare minim facem referire la numrul natural asociat fiecrei culori, practic o
ordine a culorilor.
Pentru un graf trebuie aleas o ordine n selectarea vrfurilor. Colorm primul vrf
folosind culoarea 0. Vizitm toate vrfurile n ordinea aleas i la fiecare vrf folosim
culoarea cu numrul asociat minim. Procesul este continuat peste tot graful pn fiecare vrf
este colorat. Algoritmul determin o colorare proprie ca grafului i determin o limit
superioar pentru numrul cromatic.
54
Putem modifica ordinea n care parcurgem vrfurile grafului astfel nct s
mbuntim ansele de minimizare a numrului cromatic. n medie, cutarea unei colorri
pornind de la vrful de grad maxim i parcurgnd celelalte n ordine descresctoare va
determina o colorare folosind mai puine culori dect o parcurgere aleatoare a vrfurilor.

necolorat = V sortat descresctor dupa gradul lui v
A = primul element din necolorat
elimin A din necolorat
culoare(A) <- 0
numrCromatic <- 1
ct timp necolorat este nevid:
A <- primul element din necolorat
elimin A din necolorat
vecinColoratCu = vid
pentru fiecare v din vecini(A):
dac v este colorat
vecinColoratCu <- vecinColoratCu reunit cu culoare(v)
pentru i = 0, numrCromatic
dac i nu aparine vecinColoratCu
culoareDisponibil <- i
break.
dac i = numrCromatic
culoareDisponibil <- i
numrCromatic <- numrCromatic + 1
culoare(A) <- culoareDisponibil

La etapa de colorare a vrfului curent cutm n lista culorilor folosite de vecinii si culoarea
disponibil minim. Dac aceasta nu exist atunci trebuie s adugm o culoare nou i s
cretem numrul cromatic.
Algoritmul este eficient n anumite configuraii dar este posibil s calculeze eronat
numrul cromatic. E bine tiut c un graf bipartit este 2-colorabil. Depinznd n ce ordine
55
sunt parcurse vrfurile algoritmul nu genereaz o colorare corespunztoare, ca n figura de
mai jos.
Dac ordinea n vectorul de vrfuri este ca cea indicat de numerotarea nodurile
atunci pentru acest graf evident bipartit colorarea necesit 4 culori.

Figura 3.6



3.5.2 Algoritm Dsatur

Ideea acestui algoritm de colorare, dezvoltat de Brelaz n 1979, vine ca o
mbuntire la algoritmul greedy ntruct se caut vrfuri cu ct mai muli vecini deja
colorai. Vrfurile se coloreaz pe rnd alegnd de fiecare dat un vrf cu un numr maxim
de constrngeri privitoare la culorile disponibile acestuia.
Gradul de saturaie pentru un vrf din graf, dsat(g), este reprezentat de numrul de
culori diferite folosite la colorarea vecinilor si.
Primii pai sunt similari algoritmului greedy prezentat, ordonm vrfurile
descresctor n funcie de gradele lor i atribuim culoarea 0 vrfului de grad maxim.
Algoritmul continu alegnd la fiecare pas vrful necolorat cu grad de saturaie maxim iar
dac acesta nu este unic selectm vrful cu gradul maxim din acest set. Colorarea se face la
fel, folosind cea mai mic valoare corespunztoare unei culori. Dac nu este gsit o culoare
disponibil atunci mai adugm una la mulimea culorilor folosite.
56

necolorat = V sortat descresctor dupa gradul lui v
saturaie = 0,0, .. 0
A <- primul element din necolorat
elimin A din necolorat
culoare(A) <- 0
pentru fiecare v din vecini(A)
saturaie(v) <- saturaie(v)+1
numrCromatic <- 1
ct timp necolorat este nevid:
grupSaturaie = mulimea elementelor de saturaie minim din vectorul saturaie
dac grupSaturaie are mai mult de un element
A <- vrful de grad maxim din grup
altfel A <- elementul din grup
elimin A din necolorat
vecinColoratCu = vid
pentru fiecare v din vecini(A):
saturaie(v) <- saturaie(v)+1
dac v este colorat
vecinColoratCu <- vecinColoratCu reunit cu culoare(v)
pentru i = 0, numrCromatic
dac i nu aparine vecinColoratCu
culoareDisponibil <- i
break.
dac i = numrCromatic
culoareDisponibil <- i
numrCromatic <- numrCromatic + 1
culoare(A) = culoareDisponibil



57
Capitolul 4

Descrierea aplicaiei

4.1 Observaii
A doua parte a acestei lucrri de licen o constituie dezvoltarea unei aplicaii care
s foloseasc o parte din informaiile i algoritmii descrii n tez.
Aplicaia este construit pe baza unei interfee care permite utilizatorului
construirea, aranjarea i colorarea unui graf. Butoanele din zona de jos a ferestrei descriu
operaiile care pot fi fcute iar n panoul din centru va fi afiat configuraia grafului n plan.


58
4.2 Implementare
Clasa principal din program este evident clasa grafului. Am construit aceast clas
dup o structur cunoscut, cu o list de noduri pentru vrfuri. Fiecare nod are la rndul lui o
alt list pentru vecini.

class Nod
{
private String Label;
private ArrayList<Nod> Neighbors;
private int grad;
private int culoare;
public Nod(){}
public Nod(String aLabel)
{
this.Label = aLabel;
this.Neighbors = new ArrayList<Nod>();
this.grad = 0;
}
public void addNeighbor(Nod newNeighbor)
{
this.Neighbors.add(newNeighbor);
this.grad++;
}
public void removeNeighbor(Nod oldNeighbor)
{
this.Neighbors.remove(oldNeighbor);
this.grad--;
}
public void color(int c)
{
this.culoare = c;
}
}

public class Graf
{
private int nr;
private ArrayList<Nod> Noduri;
private Boolean planar;

Graf()
{
this.Noduri = new ArrayList<Nod>();
this.nr = 0;
this.planar = true;
}

public void addNod(Nod newNod)
{
this.Noduri.add(newNod);
this.nr++;
}
59

public void removeNod(Nod oldNod)
{
this.Noduri.remove(oldNod);
this.nr--;
}

public void removeNod(int i)
{
this.Noduri.remove(i);
this.nr--;
}

Bazele programului sunt realizate de fapt n alt fiier java, construit pentru interfa.
Majoritatea metodelor pentru construcia interfeei i efectuarea operaiilor sunt
implementate aici.
Utilizatorul poate s construiasc un graf folosind cele 4 butoane corespunztoare:
Add Vertex, Remove Vertex, Add Edge i Remove Edge. Dup selectarea operaiei de Add
Vertex trebuie specificat punctul din panou unde vrem s fie adugat acesta.

public void addVertex(Point p)
{
Nod N = new Nod();
int x = p.x - RADIUS;
int y = p.y - RADIUS;
int w = 2 * RADIUS;
int h = w;
vertexList.add(new Ellipse2D.Double(x, y, w, h));
repaint();
}

Acelai este i procedeul pentru eliminarea vrfului sau pentru adugarea sau
eliminarea unei muchii caz n care sunt precizate prin apsare n panoul de desenare a
vrfurilor selectate.
Butonul Random genereaz automat un graf planar dar fr o reprezentare
corespunztoare a acestuia, adic exist intersecii de muchii. Tocmai aceasta este ideea
aplicaiei, rearanjarea vrfurilor pentru obinerea unei hri corecte.
Pentru a opri construcia grafului i a perminte nceperea exerciiului de
repoziionare a vrfurilor trebuie apsat, evident, butonul de rearanjare. n acest moment la
apsarea unui nod acesta se selecteaz, iar prin drag and drop poate fi repoziionat.
60
O ultim utilitate a aplicaiei este posibilitatea de colorare a vrfurilor unui graf
folosind diveri astfel de algoritmi.






61
Capitolul 5


Concluzii

Lucrarea a avut ca principal scop prezentarea unor noiuni de teoria grafurilor, cu
accent pe clasa grafurilor planare. Att pentru acestea ct i pentru toate grafurilor o
important i major aplicaie este colorarea. Au fost prezentate sumar cele mai importante
teoreme ale acestor subiecte dar i o serie de algoritmi care s ajute la implementarea unor
soluii pe calculator.
Teoria grafurilor are o istorie destul de ndelungat, ncepnd din anul 1736 i pn n
prezent. n aceast perioad subiectul a fost mult extins.
Aplicaiile pentru grafurile planare implic n primul rand noiuni de suprafee i de
aranjare a unor elemente n plan. Un exemplu mai recent care folosete noiuni de grafuri
planare este aezarea circuitelor pe plci de calculator. Prin aceste circuite trec informaii
electronice i este necesar ca ele s nu se intersecteze. Alt exemplu este folosit la planificarea
construciei de drumuri cu poduri i tunele dar i la selecia unui anumit traseu.
n cazul colorrii hrilor, primul model n care este folosit pare s fie evident
realizarea hrilor politice. Aceast afirmaie nu este neaprat corect, n plus nu sunt referiri
la colorarea cu 4 culori n istoria manufacturarii hrilor sau cartografiere. Aceast situaiei se
datoreaz datorit necesitii de desenare a unui set de regiuni neprat cu o culoare, lacuri,
mri i oceane. Aceasta limiteaz posibilitile de desenare a turor celorlalte culori. Tehnicile
de colorare sunt folosite mult la probleme de optimizare i partiionare a unei mulimi. Un
exemplu este mprirea sarcinilor ntr-o fabric, sau pe acelai principiu generarea orarului
pentru sesiunea de examene a unei faculti. n ambele cazuri exist cte un element cu o
anumit asignare dar mai multe perechi de element nu pot avea aceleai proprieti. Exist
posibilitatea ca s fie necesare aceleai resurse pentru efectuarea unei lucrri sau aceeai sal
de clas sau materiale didactice pentru mai multe examene.
Temele prezentate n lucrare au fost sumar atinse, bibliografia existent este vast i
sunt prezentate multe teoreme care nu au fost utilizate aici. n teoria grafurilor i n special la
62
problemele de colorare au rmas o serie de proprieti i conjecture neverificate. Acestea
constituie n continuare un punct de interes pentru matematicini i pentru informaticieni
datorit domeniului mare de aplicabilitate a acestor teme.





63
Anexe

Index:

Lista figuri folosite:

Figura 1.1 harta oraului Knigsberg
Figura 1.2 graful asociat pentru podurile din Knigsberg
Figura 1.3 graful K
4
Figura 2.1 un graf oarecare
Figura 2.2 un graf planar oarecare
Figura 2.3 un graf planar i graful dual asociat
Figura 2.4 construcia unui graf planar dup numrul de fee
Figura 2.5 construcia unui graf planar dup numrul de vrfuri
Figura 2.6 construcia unui graf planar dup numrul de muchii
Figura 2.7 triangularea unui graf planar
Figura 2.8 K
1
, K
2
, K
3
, K
4
i K
5

Figura 2.9 graf homeomorfe
Figura 2.10 graf bipartit
Figura 2.11 K
5
i K
3,3
Figura 2.12 poziionarea podurilor I i E pentru un circuit C
Figura 2.13 rearanjarea podului I pentru un anumit caz
Figura 2.14 poziionarea vrfurilor intermediare v i w
Figura 2.15 arboreal generat de o pacurgere n adncime
Figura 3.1 colorarea vrfurilor unui graf
Figura 3.2 colorarea muchiilor unui graf
Figura 3.3 colorarea feelor unui graf
Figura 3.4 tabl de ah colorat cu 2 culori
Figura 3.5 drumurile dintre cei 5 vecini ai unui nod
Figura 3.6 colorarea unui graf bipartit cu algoritmul greedy
64
Bibliografie



[1] http://www.planarity.net/ - Created by John Tantalo
[2] Drago-Radu Popescu Combinatoric i Teoria Grafurilor, Societatea
de tiine Matematice din Romnia 2005
[3] Thomas L. Saaty, Paul C. Kainen The Four-Color Problem: Assaults
and Conquest, Dover Publications 1986
[4] Kenneth I. Appel, Wolfgang Haken Every planar map is four
colorable, American Mathematical Society 1989
[5] Cristian Frsinaru Curs practice de Java, Matrix Rom 2005
[6] Dmitry N. Kozlov Chromatic numbers, morphism complexes, and
Stiefel-Whitney characteristic classe, Electronic Edition 2002
[7] Reinhald Diestel Graph Theory, Electronic Edition 2005
[8] Thomas Tymoczko The Four-Color Problem and Its Philosophical
Significance, The Journal of Philosophy 1979
[9] Alexander Soifer The Mathematical Coloring Book, Springer 2009
[10] http://www.leda-tutorial.org/
[11] Gary Chartrand, Ping Zhang Chromatic Graph Theory, CRC Press
2009
[12] http://scienceblogs.com/goodmath
[13] Marek Kubale Graph Colorings, American Mathematical Society 2004
[14] http://en.wikipedia.org/wiki/Graph_coloring
[15] T. Nishizeki, N. Chiba Planar Graphs: Theory and Algorithms,
Elsevier Science Publishers 1988
65
[16] William T. Troter Planar Graphs, American Mathematical Society
1991
[17] http://jgrapht.sourceforge.net/
[18] Norishige Chiba, Iakao Nishizeki and Noubji Saito A Linear 5-
Coloring Algorithm of Planar Graphs, Electronic Edition 1980
[19] Cristian Frsinaru Rezolvarea problemelor de colorare folosind
constrngeri, Electronic Edition, Facultatea de Informatic Iai
[20] P.J. Heawood Map Colour Theorems, Quart J. Math 1980
[21] J.E. Hopcroft and R.E. Tarjan Efficient Planarity Testing J. Assoc.
Comput. Mach. 1974
[22] Cazimir Kuratowski Sur le probleme des courbes gauched en
topologie, Fund. Math. 1930
[23] C. H. C. Little and D. A. Holton A New Characterization of Planar
Graphs, American Mathematical Society 1976
[24] Popescu Rozica Maria Lecii complementare de teoria grafurilor,
Editura Sfntul Ierarh Nicolae
[25] Ioan Tomescu Probleme de combinatoric i teoria grafurilor, Ed.
Didactic i Pedagogic 1981