Matematica Discreta
Lezione del giorno 22 novembre 2011
Nell’ultima lezione abbiamo enunciato il seguente Teorema:
Teorema di Eulero (sull’esistenza di cammini ciclici Euleriani).
Sia dato un grafo senza vertici isolati.
Allora:
esiste nel grafo un cammino ciclico Euleriano il grafo è connesso e tutti i suoi vertici hanno grado pari.
Prima di dare la dimostrazione, facciamo alcune premesse sulla rappresentazione dei cammini in un grafo.
Dato un cammino in un grafo:
a
1=
v1v2, a
2=
v2v3,….. a
n=
vnvn1per rappresentarlo useremo spesso la cosiddetta rappresentazione lineare del cammino, nella quale gli archi percorsi a
1, a
2, ……,a
nsi disegnano di seguito:
v
1v
2v
3v
nv
n+1………
a
1a
2a
nEsempio: Nel grafo dei ponti:
a 6 1 2
b
5 d
3 4
c 7
la rappresentazione lineare del seguente cammino di lunghezza 6:
1=
ab, 2=
ba, 1=
ab, 5=
bd, 5=
db, 4=
bcsarà:
a b a b d b c 1 2 1 5 5 4
Se il cammino è ciclico, nella sua rappresentazione lineare l’ultimo arco avrà come secondo vertice
il vertice iniziale del cammino.
Esempio: Nel grafo dei ponti, la rappresentazione lineare del seguente cammino ciclico:
1=
ab, 2=
ba, 6=
ad, 5=
db, 2=
basarà:
a b a d b 1 2 6 5
2
Dimostrazione del Teorema di Eulero (sull’esistenza di cammini ciclici Euleriani):
(): Per ipotesi esiste nel grafo un cammino ciclico Euleriano, che percorre tutti gli archi del grafo, ognuno 1 sola volta, e ritorna al vertice di partenza. Se gli archi percorsi in ordine da tale cammino sono a
1, a
2, …. , a
n, una rappresentazione lineare del cammino è per esempio la seguente:
v
1a
1v
2a
2v
3a
3v
4………… v
n-1a
n-1v
n