Documente Academic
Documente Profesional
Documente Cultură
Teoria grafurilor
Radu Dumbraveanu
Universitatea de Stat A. Russo din B
alt, i
Facultatea de S, tiint, e Reale
Aceast
a prezentare este pus
a la dispozitie sub Licenta Atribuire Distribuire-n-conditii-identice 3.0 Ne-adaptat
a (CC BY-SA 3.0)
Balt, i, 2013
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
1 / 32
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
2 / 32
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
2 / 32
Un ciclu simplu, dintr-un graf conex, care cont, ine toate muchiile grafului
se numes, te ciclu Euler (sau ciclu eulerian).
Un graf care cont, ine cel put, in un ciclu Euler se numes, te graf Euler (sau
graf eulerian).
In aplicat, ii este utila urmatoarea remarca: ntr-un ciclu eulerian nu este
permisa repetit, ia muchiilor, dar se pot repeta vrfurile.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
3 / 32
Un ciclu simplu, dintr-un graf conex, care cont, ine toate muchiile grafului
se numes, te ciclu Euler (sau ciclu eulerian).
Un graf care cont, ine cel put, in un ciclu Euler se numes, te graf Euler (sau
graf eulerian).
In aplicat, ii este utila urmatoarea remarca: ntr-un ciclu eulerian nu este
permisa repetit, ia muchiilor, dar se pot repeta vrfurile.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
3 / 32
Un ciclu simplu, dintr-un graf conex, care cont, ine toate muchiile grafului
se numes, te ciclu Euler (sau ciclu eulerian).
Un graf care cont, ine cel put, in un ciclu Euler se numes, te graf Euler (sau
graf eulerian).
In aplicat, ii este utila urmatoarea remarca: ntr-un ciclu eulerian nu este
permisa repetit, ia muchiilor, dar se pot repeta vrfurile.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
3 / 32
Un ciclu simplu, dintr-un graf conex, care cont, ine toate muchiile grafului
se numes, te ciclu Euler (sau ciclu eulerian).
Un graf care cont, ine cel put, in un ciclu Euler se numes, te graf Euler (sau
graf eulerian).
In aplicat, ii este utila urmatoarea remarca: ntr-un ciclu eulerian nu este
permisa repetit, ia muchiilor, dar se pot repeta vrfurile.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
3 / 32
Exemple
v1
u0
u1
v2
v1
u0
v0
u1
v3
v2
v0
v3
Primul graf (de la stnga spre dreapta) nu este Euler, iar al doilea este
Euler.
v1
u0
u1
v2
v0
v3
Ciclul (u0, v1, v0, v3, v2, v1, v3, u0, u1, v2) este eulerian.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
4 / 32
Exemple
v1
u0
u1
v2
v1
u0
v0
u1
v3
v2
v0
v3
Primul graf (de la stnga spre dreapta) nu este Euler, iar al doilea este
Euler.
v1
u0
u1
v2
v0
v3
Ciclul (u0, v1, v0, v3, v2, v1, v3, u0, u1, v2) este eulerian.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
4 / 32
Exemple
v1
u0
u1
v2
v1
u0
v0
u1
v3
v2
v0
v3
Primul graf (de la stnga spre dreapta) nu este Euler, iar al doilea este
Euler.
v1
u0
u1
v2
v0
v3
Ciclul (u0, v1, v0, v3, v2, v1, v3, u0, u1, v2) este eulerian.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
4 / 32
Intr-un graf conex, un lant, simplu care cont, ine toate muchiile grafului se
numes, te lant, Euler (sau lant, eulerian).
Un graf care cont, ine cel put, in un lant, Euler se numes, te graf semi-Euler
(sau graf semi-eulerian).
Un lant, eulerian se mai numes, te traseu eulerian.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
5 / 32
Intr-un graf conex, un lant, simplu care cont, ine toate muchiile grafului se
numes, te lant, Euler (sau lant, eulerian).
Un graf care cont, ine cel put, in un lant, Euler se numes, te graf semi-Euler
(sau graf semi-eulerian).
Un lant, eulerian se mai numes, te traseu eulerian.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
5 / 32
Intr-un graf conex, un lant, simplu care cont, ine toate muchiile grafului se
numes, te lant, Euler (sau lant, eulerian).
Un graf care cont, ine cel put, in un lant, Euler se numes, te graf semi-Euler
(sau graf semi-eulerian).
Un lant, eulerian se mai numes, te traseu eulerian.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
5 / 32
Exemple
v1
u0
u1
v2
v1
u0
v0
u1
v3
v2
v0
v3
Primul graf (de la stnga spre dreapta) nu este semi-Euler, iar al doilea
este semi-Euler.
v1
u0
u1
v2
v0
v3
Lant, ul (u0, v1, v0, v3, v2, v1, v3, u0, u1, v2) este semi-eulerian.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
6 / 32
Exemple
v1
u0
u1
v2
v1
u0
v0
u1
v3
v2
v0
v3
Primul graf (de la stnga spre dreapta) nu este semi-Euler, iar al doilea
este semi-Euler.
v1
u0
u1
v2
v0
v3
Lant, ul (u0, v1, v0, v3, v2, v1, v3, u0, u1, v2) este semi-eulerian.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
6 / 32
Exemple
v1
u0
u1
v2
v1
u0
v0
u1
v3
v2
v0
v3
Primul graf (de la stnga spre dreapta) nu este semi-Euler, iar al doilea
este semi-Euler.
v1
u0
u1
v2
v0
v3
Lant, ul (u0, v1, v0, v3, v2, v1, v3, u0, u1, v2) este semi-eulerian.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
6 / 32
Teorema (Euler)
Un graf conex este eulerian daca si numai daca oricare vrf al sau are
gradul par.
Teorema
Un graf conex este semi-eulerian daca si numai daca cel mult doua vrfuri
ale sale au grad impar.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
7 / 32
Teorema (Euler)
Un graf conex este eulerian daca si numai daca oricare vrf al sau are
gradul par.
Teorema
Un graf conex este semi-eulerian daca si numai daca cel mult doua vrfuri
ale sale au grad impar.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
7 / 32
Eulerizare
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
8 / 32
Eulerizare
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
8 / 32
Eulerizare
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
8 / 32
Eulerizare
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
8 / 32
Eulerizare
v1
u0
u1
v2
v0
v3
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
9 / 32
Eulerizare
v1
u0
u1
v2
v0
v3
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
9 / 32
Eulerizare
v1
u0
u1
v2
v0
v3
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
9 / 32
Problema Comis-Voiajorului
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
10 / 32
Un ciclu elementar, dintr-un graf conex, care cont, ine toate vrfurile
grafului se numes, te ciclu Hamilton (sau ciclu hamiltonian).
Un graf care cont, ine cel put, in un ciclu Hamilton se numes, te graf
Hamilton (sau graf hamiltonian).
In aplicat, ii este utila urmatoarea remarca: un ciclu hamiltonian trebuie
treaca prin toate vrfurile grafului, dar nu s, i prin toate muchiile.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
11 / 32
Un ciclu elementar, dintr-un graf conex, care cont, ine toate vrfurile
grafului se numes, te ciclu Hamilton (sau ciclu hamiltonian).
Un graf care cont, ine cel put, in un ciclu Hamilton se numes, te graf
Hamilton (sau graf hamiltonian).
In aplicat, ii este utila urmatoarea remarca: un ciclu hamiltonian trebuie
treaca prin toate vrfurile grafului, dar nu s, i prin toate muchiile.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
11 / 32
Un ciclu elementar, dintr-un graf conex, care cont, ine toate vrfurile
grafului se numes, te ciclu Hamilton (sau ciclu hamiltonian).
Un graf care cont, ine cel put, in un ciclu Hamilton se numes, te graf
Hamilton (sau graf hamiltonian).
In aplicat, ii este utila urmatoarea remarca: un ciclu hamiltonian trebuie
treaca prin toate vrfurile grafului, dar nu s, i prin toate muchiile.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
11 / 32
Exemple
v1
u0
u1
v2
u
v0
v3
Primul graf (de la stnga spre dreapta) este Hamilton, iar al doilea nu este
Hamilton.
v1
u0
u1
v2
v0
v3
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
12 / 32
Exemple
v1
u0
u1
v2
u
v0
v3
Primul graf (de la stnga spre dreapta) este Hamilton, iar al doilea nu este
Hamilton.
v1
u0
u1
v2
v0
v3
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
12 / 32
Exemple
v1
u0
u1
v2
u
v0
v3
Primul graf (de la stnga spre dreapta) este Hamilton, iar al doilea nu este
Hamilton.
v1
u0
u1
v2
v0
v3
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
12 / 32
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
13 / 32
Intr-un graf conex, un lant, elementar care cont, ine toate vrfurile grafului se
numes, te lant, Hamilton (sau lant, hamiltonian).
Un graf care cont, ine cel put, in un lant, Hamilton se numes, te graf
semi-Hamilton (sau graf semi-hamiltonian).
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
14 / 32
Exemple
u
v
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
15 / 32
Exemple
u
v
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
15 / 32
Exemple
u
v
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
15 / 32
Condit, ii suficiente
Teorema (Ore)
Daca G este un graf simplu cu |G| = n 3 s, i pentru orice doua vrfuri
neadiacente u s, i v avem
d(u) + d(v) n,
(1)
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
16 / 32
Teorema Ore
Demonstratie.
Presupunem (prin absurd) ca teorema este falsa.
Adica exista un graf pe n vrfuri, n 3, care verifica condit, iile teoremei
nsa nu este hamiltonian.
Daca astfel de grafuri snt mai multe (toate pe n vrfuri) alegem graful cu
cel mai mare numar de muchii; notam acest graf prin G.
Fie p s, i q doua vrfuri neadiacente ale grafului G; n virtutea condit, iei de
maximalitate a lui G, G + pq este hamiltonian.
Mai mult, muchia pq trebuie sa apart, ina oricarui ciclu hamiltonian din
G + pq deoarece n caz contrar am avea un ciclu hamiltonian n G.
In acelas, i timp: d(p) + d(q) n.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
17 / 32
Teorema Ore
Demonstratie.
Presupunem (prin absurd) ca teorema este falsa.
Adica exista un graf pe n vrfuri, n 3, care verifica condit, iile teoremei
nsa nu este hamiltonian.
Daca astfel de grafuri snt mai multe (toate pe n vrfuri) alegem graful cu
cel mai mare numar de muchii; notam acest graf prin G.
Fie p s, i q doua vrfuri neadiacente ale grafului G; n virtutea condit, iei de
maximalitate a lui G, G + pq este hamiltonian.
Mai mult, muchia pq trebuie sa apart, ina oricarui ciclu hamiltonian din
G + pq deoarece n caz contrar am avea un ciclu hamiltonian n G.
In acelas, i timp: d(p) + d(q) n.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
17 / 32
Teorema Ore
Demonstratie.
Presupunem (prin absurd) ca teorema este falsa.
Adica exista un graf pe n vrfuri, n 3, care verifica condit, iile teoremei
nsa nu este hamiltonian.
Daca astfel de grafuri snt mai multe (toate pe n vrfuri) alegem graful cu
cel mai mare numar de muchii; notam acest graf prin G.
Fie p s, i q doua vrfuri neadiacente ale grafului G; n virtutea condit, iei de
maximalitate a lui G, G + pq este hamiltonian.
Mai mult, muchia pq trebuie sa apart, ina oricarui ciclu hamiltonian din
G + pq deoarece n caz contrar am avea un ciclu hamiltonian n G.
In acelas, i timp: d(p) + d(q) n.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
17 / 32
Teorema Ore
Demonstratie.
Presupunem (prin absurd) ca teorema este falsa.
Adica exista un graf pe n vrfuri, n 3, care verifica condit, iile teoremei
nsa nu este hamiltonian.
Daca astfel de grafuri snt mai multe (toate pe n vrfuri) alegem graful cu
cel mai mare numar de muchii; notam acest graf prin G.
Fie p s, i q doua vrfuri neadiacente ale grafului G; n virtutea condit, iei de
maximalitate a lui G, G + pq este hamiltonian.
Mai mult, muchia pq trebuie sa apart, ina oricarui ciclu hamiltonian din
G + pq deoarece n caz contrar am avea un ciclu hamiltonian n G.
In acelas, i timp: d(p) + d(q) n.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
17 / 32
Teorema Ore
Demonstratie.
Presupunem (prin absurd) ca teorema este falsa.
Adica exista un graf pe n vrfuri, n 3, care verifica condit, iile teoremei
nsa nu este hamiltonian.
Daca astfel de grafuri snt mai multe (toate pe n vrfuri) alegem graful cu
cel mai mare numar de muchii; notam acest graf prin G.
Fie p s, i q doua vrfuri neadiacente ale grafului G; n virtutea condit, iei de
maximalitate a lui G, G + pq este hamiltonian.
Mai mult, muchia pq trebuie sa apart, ina oricarui ciclu hamiltonian din
G + pq deoarece n caz contrar am avea un ciclu hamiltonian n G.
In acelas, i timp: d(p) + d(q) n.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
17 / 32
Teorema Ore
Demonstratie.
Presupunem (prin absurd) ca teorema este falsa.
Adica exista un graf pe n vrfuri, n 3, care verifica condit, iile teoremei
nsa nu este hamiltonian.
Daca astfel de grafuri snt mai multe (toate pe n vrfuri) alegem graful cu
cel mai mare numar de muchii; notam acest graf prin G.
Fie p s, i q doua vrfuri neadiacente ale grafului G; n virtutea condit, iei de
maximalitate a lui G, G + pq este hamiltonian.
Mai mult, muchia pq trebuie sa apart, ina oricarui ciclu hamiltonian din
G + pq deoarece n caz contrar am avea un ciclu hamiltonian n G.
In acelas, i timp: d(p) + d(q) n.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
17 / 32
Teorema Ore
Demonstrat, ie; Continuare.
Fie un oarecare ciclu hamiltonian n G + xy:
p, v1 , v2 , ..., vn2 , q, p.
(2)
R. Dumbr
aveanu (USARB)
v1
vi1 vi
vn2 q
B
alt, i, 2013
18 / 32
Teorema Ore
Demonstrat, ie; Continuare.
Fie un oarecare ciclu hamiltonian n G + xy:
p, v1 , v2 , ..., vn2 , q, p.
(2)
R. Dumbr
aveanu (USARB)
v1
vi1 vi
vn2 q
B
alt, i, 2013
18 / 32
Teorema Ore
Demonstrat, ie; Continuare.
Fie un oarecare ciclu hamiltonian n G + xy:
p, v1 , v2 , ..., vn2 , q, p.
(2)
R. Dumbr
aveanu (USARB)
v1
vi1 vi
vn2 q
B
alt, i, 2013
18 / 32
Teorema Ore
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
19 / 32
Teorema Ore
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
19 / 32
Condit, ii suficiente
Teorema (Dirac)
Daca G este un graf simplu cu |G| = n 3 s, i (G) n2 , atunci G este
Hamilton.
Teorema Dirac poate fi demonstrata ca un corolar al teoremei Ore.
Dar istoric, nti a fost publicata acesta teorema s, i doar peste ct, iva ani a
fost publicata teorema Ore.
Pe de alta parte ambele teoreme snt generalizate de urmatoarea teorema:
Teorema (Posa)
Daca G este un graf simplu cu |G| = n 3 s, i pentru orice k,
1 k n1
arul de vrfuri cu grad mai mica sau egal cu k nu ntrece
2 , num
k.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
20 / 32
Condit, ii suficiente
Teorema (Dirac)
Daca G este un graf simplu cu |G| = n 3 s, i (G) n2 , atunci G este
Hamilton.
Teorema Dirac poate fi demonstrata ca un corolar al teoremei Ore.
Dar istoric, nti a fost publicata acesta teorema s, i doar peste ct, iva ani a
fost publicata teorema Ore.
Pe de alta parte ambele teoreme snt generalizate de urmatoarea teorema:
Teorema (Posa)
Daca G este un graf simplu cu |G| = n 3 s, i pentru orice k,
1 k n1
arul de vrfuri cu grad mai mica sau egal cu k nu ntrece
2 , num
k.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
20 / 32
Condit, ii suficiente
Teorema (Dirac)
Daca G este un graf simplu cu |G| = n 3 s, i (G) n2 , atunci G este
Hamilton.
Teorema Dirac poate fi demonstrata ca un corolar al teoremei Ore.
Dar istoric, nti a fost publicata acesta teorema s, i doar peste ct, iva ani a
fost publicata teorema Ore.
Pe de alta parte ambele teoreme snt generalizate de urmatoarea teorema:
Teorema (Posa)
Daca G este un graf simplu cu |G| = n 3 s, i pentru orice k,
1 k n1
arul de vrfuri cu grad mai mica sau egal cu k nu ntrece
2 , num
k.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
20 / 32
Condit, ii suficiente
Teorema (Dirac)
Daca G este un graf simplu cu |G| = n 3 s, i (G) n2 , atunci G este
Hamilton.
Teorema Dirac poate fi demonstrata ca un corolar al teoremei Ore.
Dar istoric, nti a fost publicata acesta teorema s, i doar peste ct, iva ani a
fost publicata teorema Ore.
Pe de alta parte ambele teoreme snt generalizate de urmatoarea teorema:
Teorema (Posa)
Daca G este un graf simplu cu |G| = n 3 s, i pentru orice k,
1 k n1
arul de vrfuri cu grad mai mica sau egal cu k nu ntrece
2 , num
k.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
20 / 32
Condit, ii necesare
Teorema
Daca un graf bipartit cu bipartit, ia {X , Y } este hamiltonian atunci
|X | = |Y |; daca graful este semi-hamiltonian atunci ||X | |Y || 1.
Demonstratie.
Fie G un graf bipartit cu bipartit, ia {X , Y }.
Presupunem ca G cont, ine un lant, hamiltonian:
v1 , v2 , ..., vn .
Daca v1 X atunci v2 Y , v3 X , v4 Y etc.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
21 / 32
Condit, ii necesare
Teorema
Daca un graf bipartit cu bipartit, ia {X , Y } este hamiltonian atunci
|X | = |Y |; daca graful este semi-hamiltonian atunci ||X | |Y || 1.
Demonstratie.
Fie G un graf bipartit cu bipartit, ia {X , Y }.
Presupunem ca G cont, ine un lant, hamiltonian:
v1 , v2 , ..., vn .
Daca v1 X atunci v2 Y , v3 X , v4 Y etc.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
21 / 32
Condit, ii necesare
Teorema
Daca un graf bipartit cu bipartit, ia {X , Y } este hamiltonian atunci
|X | = |Y |; daca graful este semi-hamiltonian atunci ||X | |Y || 1.
Demonstratie.
Fie G un graf bipartit cu bipartit, ia {X , Y }.
Presupunem ca G cont, ine un lant, hamiltonian:
v1 , v2 , ..., vn .
Daca v1 X atunci v2 Y , v3 X , v4 Y etc.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
21 / 32
Condit, ii necesare
Teorema
Daca un graf bipartit cu bipartit, ia {X , Y } este hamiltonian atunci
|X | = |Y |; daca graful este semi-hamiltonian atunci ||X | |Y || 1.
Demonstratie.
Fie G un graf bipartit cu bipartit, ia {X , Y }.
Presupunem ca G cont, ine un lant, hamiltonian:
v1 , v2 , ..., vn .
Daca v1 X atunci v2 Y , v3 X , v4 Y etc.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
21 / 32
Condit, ii necesare
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
22 / 32
Condit, ii necesare
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
22 / 32
Condit, ii necesare
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
22 / 32
Condit, ii necesare
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
22 / 32
Definit, ie
a
O secvent, a (a1 , a2 , ..., an ) de numere naturale se numeste hamiltonian
daca orice graf pe n vrfuri cu secvent, a de grade mai mare sau egala
punctual dect (a1 , a2 , ..., an ) este hamiltonian.
O secvent, a (b1 , b2 , ..., bn ) de numere naturale este mai mare sau egala
punctual dect alta secvent, a (a1 , a2 , ..., an ) [de numere naturale], daca
bi ai , 1 i n.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
23 / 32
Definit, ie
a
O secvent, a (a1 , a2 , ..., an ) de numere naturale se numeste hamiltonian
daca orice graf pe n vrfuri cu secvent, a de grade mai mare sau egala
punctual dect (a1 , a2 , ..., an ) este hamiltonian.
O secvent, a (b1 , b2 , ..., bn ) de numere naturale este mai mare sau egala
punctual dect alta secvent, a (a1 , a2 , ..., an ) [de numere naturale], daca
bi ai , 1 i n.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
23 / 32
Teorema (Chvatal)
O secvent, a (d1 , d2 , ..., dn ) de numere naturale, n 3, este hamiltoniana
daca s, i numai daca
di i dn1 n i,
R. Dumbr
aveanu (USARB)
i <
n
.
2
B
alt, i, 2013
24 / 32
Corolar
O secvent, a (d1 , d2 , ..., dn ) de numere naturale, n 2 s, i
0 d1 d2 ... dn < n este semi-hamiltoniana daca s, i numai daca
di < i dn+1i n i,
R. Dumbr
aveanu (USARB)
n
.
2
B
alt, i, 2013
25 / 32
Corolar
O secvent, a (d1 , d2 , ..., dn ) de numere naturale, n 2 s, i
0 d1 d2 ... dn < n este semi-hamiltoniana daca s, i numai daca
di < i dn+1i n i,
R. Dumbr
aveanu (USARB)
n
.
2
B
alt, i, 2013
25 / 32
Definit, ie
Fiind dat un graf G, numim nchiderea lui G, notata prin cl(G), graful
obt, inut prin aplicarea recursiva a urmatorului algoritm:
1. orice doua vrfuri neadiacente u s, i v cu d(u) + d(v) n se unesc
printr-o muchie;
2. pasul anterior se aplica atta timp ct exista astfel de vrfuri.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
26 / 32
Inchiderea
v1
u0
u1
v2
v1
v0
u0
u1
v2
v3
v3
G; |G| = 6
d(v1 ) + d(v3 ) 6
v1
u0
u1
v0
v2
v1
v0
u0
u1
v2
v0
v3
v3
d(u1 ) + d(v1 ) 6
d(u1 ) + d(v3 ) 6
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
27 / 32
Inchiderea
v1
u0
u1
v2
v1
v0
u0
u1
v2
v0
v3
v3
d(u0 ) + d(v2 ) 6
d(u1 ) + d(v0 ) 6
v1
u0
u1
v2
v0
cl(G)
v3
d(v2 ) + d(v0 ) 6
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
28 / 32
Inchiderea
G; |G| = 5
R. Dumbr
aveanu (USARB)
cl(G)
B
alt, i, 2013
29 / 32
Teorema (Bondy-Chvatal)
Un graf G este hamiltonian daca s, i numai daca cl(G) este hamiltonian.
Corolar
Daca nchiderea unui graf G este graf complet atunci G este hamiltonian.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
30 / 32
Teorema (Bondy-Chvatal)
Un graf G este hamiltonian daca s, i numai daca cl(G) este hamiltonian.
Corolar
Daca nchiderea unui graf G este graf complet atunci G este hamiltonian.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
30 / 32
Graful liniilor
Graful liniilor al unui grafului G este graful L(G) pe E(G) n care doua
vrfuri snt vecine daca s, i numai daca muchiile corespunzatoare n G snt
vecine.
f
e
e
g
g
G
R. Dumbr
aveanu (USARB)
L(G)
B
alt, i, 2013
31 / 32
Graful liniilor
Graful liniilor al unui grafului G este graful L(G) pe E(G) n care doua
vrfuri snt vecine daca s, i numai daca muchiile corespunzatoare n G snt
vecine.
f
e
e
g
g
G
R. Dumbr
aveanu (USARB)
L(G)
B
alt, i, 2013
31 / 32
Graful liniilor
Teorema
Daca un graf G este eulerian atunci graful liniilor L(G) este hamiltonian.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
32 / 32
Graful liniilor
Teorema
Daca un graf G este eulerian atunci graful liniilor L(G) este hamiltonian.
R. Dumbr
aveanu (USARB)
B
alt, i, 2013
32 / 32