=
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