Sunteți pe pagina 1din 76

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

1 / 32

Problema pos, tas, ului chinez

Pentru prima data problema a fost publicata de matematicianul chinez


Mei-Ko Kwan (1962).
De aici s, i denumirea problemei.

R. Dumbr
aveanu (USARB)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

2 / 32

Problema pos, tas, ului chinez

Pentru prima data problema a fost publicata de matematicianul chinez


Mei-Ko Kwan (1962).
De aici s, i denumirea problemei.

R. Dumbr
aveanu (USARB)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

2 / 32

Ciclu Euler; Graf Euler

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

3 / 32

Ciclu Euler; Graf Euler

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

3 / 32

Ciclu Euler; Graf Euler

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

3 / 32

Ciclu Euler; Graf Euler

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

4 / 32

Lant, Euler; Graf semi-Euler

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

5 / 32

Lant, Euler; Graf semi-Euler

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

5 / 32

Lant, Euler; Graf semi-Euler

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

6 / 32

Condit, ie necesara s, i suficienta

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

7 / 32

Condit, ie necesara s, i suficienta

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

7 / 32

Eulerizare

Grafurile care nu snt euleriene pot fi transformate n grafuri euleriene.


Dublnd unele muchii existente putem face ca toate vrfurile sa aiba grad
par. Graful obt, inut va fi eulerian. Iar procedeul de dublare a muchiilor cu
scopul de a obt, ine un graf eulerian se numes, te eulerizare.
Nu este permis adaugare de muchii ntre vrfurile care nu-s vecine; este
permis doar dublarea muchiilor existente.
O euleriazare se numes, te bun
a daca cont, ine numarul minim de muchii noi.
Numarul minim de muchii necesare pentru eulerizarea unui graf G se
numes, te num
arul de eulerizare s, i se noteaza ecc(G).

R. Dumbr
aveanu (USARB)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

8 / 32

Eulerizare

Grafurile care nu snt euleriene pot fi transformate n grafuri euleriene.


Dublnd unele muchii existente putem face ca toate vrfurile sa aiba grad
par. Graful obt, inut va fi eulerian. Iar procedeul de dublare a muchiilor cu
scopul de a obt, ine un graf eulerian se numes, te eulerizare.
Nu este permis adaugare de muchii ntre vrfurile care nu-s vecine; este
permis doar dublarea muchiilor existente.
O euleriazare se numes, te bun
a daca cont, ine numarul minim de muchii noi.
Numarul minim de muchii necesare pentru eulerizarea unui graf G se
numes, te num
arul de eulerizare s, i se noteaza ecc(G).

R. Dumbr
aveanu (USARB)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

8 / 32

Eulerizare

Grafurile care nu snt euleriene pot fi transformate n grafuri euleriene.


Dublnd unele muchii existente putem face ca toate vrfurile sa aiba grad
par. Graful obt, inut va fi eulerian. Iar procedeul de dublare a muchiilor cu
scopul de a obt, ine un graf eulerian se numes, te eulerizare.
Nu este permis adaugare de muchii ntre vrfurile care nu-s vecine; este
permis doar dublarea muchiilor existente.
O euleriazare se numes, te bun
a daca cont, ine numarul minim de muchii noi.
Numarul minim de muchii necesare pentru eulerizarea unui graf G se
numes, te num
arul de eulerizare s, i se noteaza ecc(G).

R. Dumbr
aveanu (USARB)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

8 / 32

Eulerizare

Grafurile care nu snt euleriene pot fi transformate n grafuri euleriene.


Dublnd unele muchii existente putem face ca toate vrfurile sa aiba grad
par. Graful obt, inut va fi eulerian. Iar procedeul de dublare a muchiilor cu
scopul de a obt, ine un graf eulerian se numes, te eulerizare.
Nu este permis adaugare de muchii ntre vrfurile care nu-s vecine; este
permis doar dublarea muchiilor existente.
O euleriazare se numes, te bun
a daca cont, ine numarul minim de muchii noi.
Numarul minim de muchii necesare pentru eulerizarea unui graf G se
numes, te num
arul de eulerizare s, i se noteaza ecc(G).

R. Dumbr
aveanu (USARB)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

8 / 32

Eulerizare
v1
u0

u1

v2

v0
v3

Graful de mai sus, nefiind Euler, poate fi eulerizat n felulurile urmatoare:

R. Dumbr
aveanu (USARB)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

9 / 32

Eulerizare
v1
u0

u1

v2

v0
v3

Graful de mai sus, nefiind Euler, poate fi eulerizat n felulurile urmatoare:

R. Dumbr
aveanu (USARB)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

9 / 32

Eulerizare
v1
u0

u1

v2

v0
v3

Graful de mai sus, nefiind Euler, poate fi eulerizat n felulurile urmatoare:

R. Dumbr
aveanu (USARB)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

9 / 32

Problema Comis-Voiajorului

R. Dumbr
aveanu (USARB)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

10 / 32

Ciclu Hamilton; Graf Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

11 / 32

Ciclu Hamilton; Graf Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

11 / 32

Ciclu Hamilton; Graf Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

12 / 32

Ciclu Hamilton; Graf Hamilton

Evident, grafurile Cn snt hamiltoniene, pentru orice n; grafurile Kn snt


hamiltoniene pentru n 3.

R. Dumbr
aveanu (USARB)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

13 / 32

Lant, Hamilton; Graf semi-Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

14 / 32

Exemple
u
v

Graful de mai sus este semi-hamiltonian.


u

R. Dumbr
aveanu (USARB)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

15 / 32

Exemple
u
v

Graful de mai sus este semi-hamiltonian.


u

R. Dumbr
aveanu (USARB)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

15 / 32

Exemple
u
v

Graful de mai sus este semi-hamiltonian.


u

R. Dumbr
aveanu (USARB)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

atunci G este Hamilton.

R. Dumbr
aveanu (USARB)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Observam ca daca vi este adiacent cu p atunci vi1 nu poate fi adiacent


cu q; n caz contrar ciclul:
p, v1 , v2 , vi1 , q, vn2 , vn3 , vn4 , ..., vi , p
este hamiltonian n G.

R. Dumbr
aveanu (USARB)

v1

vi1 vi

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Observam ca daca vi este adiacent cu p atunci vi1 nu poate fi adiacent


cu q; n caz contrar ciclul:
p, v1 , v2 , vi1 , q, vn2 , vn3 , vn4 , ..., vi , p
este hamiltonian n G.

R. Dumbr
aveanu (USARB)

v1

vi1 vi

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Observam ca daca vi este adiacent cu p atunci vi1 nu poate fi adiacent


cu q; n caz contrar ciclul:
p, v1 , v2 , vi1 , q, vn2 , vn3 , vn4 , ..., vi , p
este hamiltonian n G.

R. Dumbr
aveanu (USARB)

v1

vi1 vi

Curs 2: Grafuri Euler; Grafuri Hamilton

vn2 q

B
alt, i, 2013

18 / 32

Teorema Ore

Demonstrat, ie; Continuare.


Din cele de mai sus reiese ca, ntruct n G snt d(p) vrfuri adiacente cu p,
trebuie sa fie cel put, in d(p) + 1 vrfuri neadiacente cu q.
As, adar
d(p) + d(q) d(p) + (n d(p) 1)
=n1

R. Dumbr
aveanu (USARB)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

19 / 32

Teorema Ore

Demonstrat, ie; Continuare.


Din cele de mai sus reiese ca, ntruct n G snt d(p) vrfuri adiacente cu p,
trebuie sa fie cel put, in d(p) + 1 vrfuri neadiacente cu q.
As, adar
d(p) + d(q) d(p) + (n d(p) 1)
=n1

R. Dumbr
aveanu (USARB)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

21 / 32

Condit, ii necesare

Demonstrat, ie; Continuare.


As, adar X = {v1 , v3 , ...} (vrfurile cu indice impar) s, i Y = {v2 , v4 , ...}
(vrfurile cu indice par).
Rezulta ca, daca n este par atunci |X | = |Y | = n2 ; daca n este impar
n1
atunci |X | = n+1
2 , iar |Y | = 2 .
In ambele cazuri diferent, a dintre |X | s, i |Y | este cel mult 1.
Daca G cont, ine un ciclu hamiltonian s, i v1 X , atunci vn Y ; adica n
este par s, i |X | = |Y |.

R. Dumbr
aveanu (USARB)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

22 / 32

Condit, ii necesare

Demonstrat, ie; Continuare.


As, adar X = {v1 , v3 , ...} (vrfurile cu indice impar) s, i Y = {v2 , v4 , ...}
(vrfurile cu indice par).
Rezulta ca, daca n este par atunci |X | = |Y | = n2 ; daca n este impar
n1
atunci |X | = n+1
2 , iar |Y | = 2 .
In ambele cazuri diferent, a dintre |X | s, i |Y | este cel mult 1.
Daca G cont, ine un ciclu hamiltonian s, i v1 X , atunci vn Y ; adica n
este par s, i |X | = |Y |.

R. Dumbr
aveanu (USARB)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

22 / 32

Condit, ii necesare

Demonstrat, ie; Continuare.


As, adar X = {v1 , v3 , ...} (vrfurile cu indice impar) s, i Y = {v2 , v4 , ...}
(vrfurile cu indice par).
Rezulta ca, daca n este par atunci |X | = |Y | = n2 ; daca n este impar
n1
atunci |X | = n+1
2 , iar |Y | = 2 .
In ambele cazuri diferent, a dintre |X | s, i |Y | este cel mult 1.
Daca G cont, ine un ciclu hamiltonian s, i v1 X , atunci vn Y ; adica n
este par s, i |X | = |Y |.

R. Dumbr
aveanu (USARB)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

22 / 32

Condit, ii necesare

Demonstrat, ie; Continuare.


As, adar X = {v1 , v3 , ...} (vrfurile cu indice impar) s, i Y = {v2 , v4 , ...}
(vrfurile cu indice par).
Rezulta ca, daca n este par atunci |X | = |Y | = n2 ; daca n este impar
n1
atunci |X | = n+1
2 , iar |Y | = 2 .
In ambele cazuri diferent, a dintre |X | s, i |Y | este cel mult 1.
Daca G cont, ine un ciclu hamiltonian s, i v1 X , atunci vn Y ; adica n
este par s, i |X | = |Y |.

R. Dumbr
aveanu (USARB)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

22 / 32

Secvent, e de grade hamiltoniene

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

23 / 32

Secvent, e de grade hamiltoniene

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

23 / 32

Condit, ii suficiente s, i necesare

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 <

Curs 2: Grafuri Euler; Grafuri Hamilton

n
.
2

B
alt, i, 2013

24 / 32

Secvent, e de grade semi-hamiltoniene


Definit, ie
O secvent, a (d1 , d2 , ..., dn ) de numere naturale se numeste
semi-hamiltonian
a daca orice graf pe n vrfuri cu secvent, a de grade mai
mare sau egala punctual dect (d1 , d2 , ..., dn ) este semi-hamiltonian.

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

n
.
2

B
alt, i, 2013

25 / 32

Secvent, e de grade semi-hamiltoniene


Definit, ie
O secvent, a (d1 , d2 , ..., dn ) de numere naturale se numeste
semi-hamiltonian
a daca orice graf pe n vrfuri cu secvent, a de grade mai
mare sau egala punctual dect (d1 , d2 , ..., dn ) este semi-hamiltonian.

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

n
.
2

B
alt, i, 2013

25 / 32

Inchiderea [unui graf]

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

28 / 32

Inchiderea

G; |G| = 5

R. Dumbr
aveanu (USARB)

cl(G)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

29 / 32

Condit, ii suficiente s, i necesare

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

30 / 32

Condit, ii suficiente s, i necesare

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

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)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

31 / 32

Graful liniilor

Orice ciclu eulerian din G se transforma ntr-un ciclu hamiltonian n L(G).

Teorema
Daca un graf G este eulerian atunci graful liniilor L(G) este hamiltonian.

R. Dumbr
aveanu (USARB)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

32 / 32

Graful liniilor

Orice ciclu eulerian din G se transforma ntr-un ciclu hamiltonian n L(G).

Teorema
Daca un graf G este eulerian atunci graful liniilor L(G) este hamiltonian.

R. Dumbr
aveanu (USARB)

Curs 2: Grafuri Euler; Grafuri Hamilton

B
alt, i, 2013

32 / 32

S-ar putea să vă placă și

  • PISA 2006 Romana
    PISA 2006 Romana
    Document32 pagini
    PISA 2006 Romana
    Gheorghe-Taniusa Grosu
    Încă nu există evaluări
  • 1.metoda Cubului: Analizea Ză
    1.metoda Cubului: Analizea Ză
    Document16 pagini
    1.metoda Cubului: Analizea Ză
    Gheorghe-Taniusa Grosu
    Încă nu există evaluări
  • Anexa 3
    Anexa 3
    Document1 pagină
    Anexa 3
    Gheorghe-Taniusa Grosu
    Încă nu există evaluări
  • Anexa 3
    Anexa 3
    Document1 pagină
    Anexa 3
    Gheorghe-Taniusa Grosu
    Încă nu există evaluări
  • Itemi
    Itemi
    Document3 pagini
    Itemi
    Gheorghe-Taniusa Grosu
    Încă nu există evaluări
  • Anexa 4
    Anexa 4
    Document4 pagini
    Anexa 4
    Gheorghe-Taniusa Grosu
    Încă nu există evaluări
  • Dreptunghiul
    Dreptunghiul
    Document3 pagini
    Dreptunghiul
    Gheorghe-Taniusa Grosu
    Încă nu există evaluări
  • Proiect A 7 A 6
    Proiect A 7 A 6
    Document6 pagini
    Proiect A 7 A 6
    Gheorghe-Taniusa Grosu
    Încă nu există evaluări
  • Istoria Geometriei
    Istoria Geometriei
    Document2 pagini
    Istoria Geometriei
    Gheorghe-Taniusa Grosu
    Încă nu există evaluări
  • Anexa 1
    Anexa 1
    Document1 pagină
    Anexa 1
    Gheorghe-Taniusa Grosu
    Încă nu există evaluări
  • Aplicaţii Ale Matematicii Abordări Interdisciplinare: Profesor Bizon Marcelică
    Aplicaţii Ale Matematicii Abordări Interdisciplinare: Profesor Bizon Marcelică
    Document9 pagini
    Aplicaţii Ale Matematicii Abordări Interdisciplinare: Profesor Bizon Marcelică
    Gheorghe-Taniusa Grosu
    Încă nu există evaluări
  • Fisa B9
    Fisa B9
    Document8 pagini
    Fisa B9
    Gheorghe-Taniusa Grosu
    Încă nu există evaluări
  • Sinteza Inecuatii
    Sinteza Inecuatii
    Document4 pagini
    Sinteza Inecuatii
    Gheorghe-Taniusa Grosu
    Încă nu există evaluări
  • Anexa 5
    Anexa 5
    Document2 pagini
    Anexa 5
    Gheorghe-Taniusa Grosu
    Încă nu există evaluări
  • MULTIMI
    MULTIMI
    Document2 pagini
    MULTIMI
    Gheorghe-Taniusa Grosu
    Încă nu există evaluări
  • Prezentare
    Prezentare
    Document8 pagini
    Prezentare
    Gheorghe-Taniusa Grosu
    Încă nu există evaluări
  • Calculul Integralelor
    Calculul Integralelor
    Document6 pagini
    Calculul Integralelor
    Gheorghe-Taniusa Grosu
    Încă nu există evaluări
  • Sinteza Ecuatii
    Sinteza Ecuatii
    Document6 pagini
    Sinteza Ecuatii
    Gheorghe-Taniusa Grosu
    Încă nu există evaluări
  • Metodologia Invatarii Centrate Pe Elev P.a.R.
    Metodologia Invatarii Centrate Pe Elev P.a.R.
    Document13 pagini
    Metodologia Invatarii Centrate Pe Elev P.a.R.
    Silviu Anghel
    Încă nu există evaluări
  • MULTIMI
    MULTIMI
    Document2 pagini
    MULTIMI
    Gheorghe-Taniusa Grosu
    Încă nu există evaluări
  • Baze de Date Relationale
    Baze de Date Relationale
    Document231 pagini
    Baze de Date Relationale
    Ramona Ileana
    Încă nu există evaluări
  • Istoria Geometriei
    Istoria Geometriei
    Document2 pagini
    Istoria Geometriei
    Gheorghe-Taniusa Grosu
    Încă nu există evaluări
  • 31 Proiect Lunga D
    31 Proiect Lunga D
    Document27 pagini
    31 Proiect Lunga D
    Gheorghe-Taniusa Grosu
    Încă nu există evaluări
  • Tranzistoare Cu Efect de Camp
    Tranzistoare Cu Efect de Camp
    Document9 pagini
    Tranzistoare Cu Efect de Camp
    Pana Adrian-Marius
    Încă nu există evaluări
  • Functii
    Functii
    Document12 pagini
    Functii
    Gheorghe-Taniusa Grosu
    Încă nu există evaluări
  • Numele Lunii
    Numele Lunii
    Document1 pagină
    Numele Lunii
    Gheorghe-Taniusa Grosu
    Încă nu există evaluări
  • Limbajul SQL
    Limbajul SQL
    Document4 pagini
    Limbajul SQL
    george33
    Încă nu există evaluări
  • Criterii de Asemanare A Triunghiurilor
    Criterii de Asemanare A Triunghiurilor
    Document3 pagini
    Criterii de Asemanare A Triunghiurilor
    Gheorghe-Taniusa Grosu
    Încă nu există evaluări