Grafi ed Alberi

• Grafo orientato G è una coppia (V, E) dove V è un insieme finito ed E è una

relazione binaria in V.
◦ V è l'insieme dei vertici di G.
◦ E è l'insieme degli archi di G.
◦ Sono ammessi i cappi (archi tra un vertice e se stesso)

• Grafo non orientato G = (V,E)

◦ E è costituito da coppie di vertici non ordinati.
◦ I cappi sono proibiti.

DEFINIZIONI

• Sia G un grafo e (u, v) un arco, si dice che l'arco è incidente dal vertice u al
vertice v.
• Se esiste l'arco (u, v) si può dire che il vertice u è adiacente al vertice v.
◦ Se il grafo non è orientato allora la relazione è simmetrica, in caso
contrario non lo è.
• Il grado di un vertice è la somma del grado entrante e del grado uscente.
◦ Grado entrante : archi in entrata.
◦ Grado uscente : archi in uscita.
• Un cammino di lunghezza k è l'insieme di archi e vertici che intercorro tra due vertici.
◦ Un cammino è semplice se tutti i vertici sono distinti.
◦ Un sotto-cammino è una sotto-sequenza dei suoi vertici.
◦ Un cammino forma un ciclo se il vertice iniziale coincide con quello finale.
▪ Il ciclo è semplice se tutti i vertici sono distinti.
▪ Se il ciclo contiene un arco solo, si denomina “cappio”.
• Un grafo non orientato è connesso se ogni coppia di vertici è collegata da un cammino.
• Le componenti connesse di un grafo sono le classi di equivalenza dei vertici sotto la
relazione “raggiungibile da”.
◦ Es. un grafo connesso contiene un'unica componente connessa.
• Un grafo orientato è fortemente connesso se ogni suo vertice è raggiungibile da ogni altro.
◦ Le componenti fortemente connesse di un grafo orientato sono le classi di equivalenza dei vertici sotto la
relazione “raggiungibile da” tra ogni vertice.
• Due grafi G = (V, E) e G' = (V', E') sono isomorfi se esiste una relazione biunivoca f: V→V'
tale che u , v ∈E e  f u , f  v∈ E ' .
◦ Un grafo G = (V, E) è un sotto-grafo di G'= (V', E') se V ' ⊆V e se E '⊆E .
• Un grafo completo è un grafo in cui tutti i vertici sono adiacenti.
• Un grafo si definisce bipartito se può essere suddiviso in due parti, e se ogni vertice del
primo gruppo è adiacente ad uno solo del secondo.
• Un grafo non orientato, aciclico e con almeno due componenti connesse è definito foresta.
• Un grafo non orientato, aciclico e connesso è definito albero.
 ALBERO
Un albero è un grafo non orientato, aciclico, connesso

Sia G (V, E) un grafo non orientato, le seguenti definizioni sono equivalenti:

• G è un albero libero.
• Due vertici qualsiasi di G sono connessi da un cammino semplice.
• G è connesso, ma se viene tolto un arco da E, non lo è più.
• G è connesso e E = |V|-1.
• G è aciclico e E = |V|-1.
• G è aciclico, ma se viene aggiunto un arco ad E, il grafo conterrà un ciclo.

ALBERO RADICATO:
Un albero radicato, è un albero libero in cui un vertice si distingue dagli altri (radice).

Il nodo si distingue dagli altri diventa il vertice e l'antenato di tutti gli altri nodi.

Si consideri un cammino unico dalla radice r al nodo x, se il nodo y appartiene al cammino e se

x≠y allora y è un antenato proprio di x , e x è un discendente proprio di y.
• Il sotto-albero radicato in x è indotto dai discendenti di x.
• Ogni nodo è antenato e discendente di se stesso.
• Se si ha l'arco (y, x) allora y è il padre e x il figlio.
◦ Due nodi con lo stesso padre si dicono fratelli
• Un nodo senza figli si definisce foglia o nodo esterno.
• Il grado di un nodo appartenente ad un albero radicato è il numero dei suoi figli.
• La lunghezza del cammino dalla radice r al nodo x è la profondità di x.
◦ La profondità più grande di un qualsiasi nodo è l'altezza dell'albero radicato.

ALBERO ORDINATO:
Un albero ordinato è albero radicato in cui i figli hanno un ordine.
• Due alberi radicati possono essere uguali ma differenti alberi ordinati. (es pag 87)

ALBERI BINARI:
Un albero binario è un albero ordinato in cui ogni nodo ha ≤ 2 figli.

• È composto da tre parti, radice, sotto-albero sinistro, sotto-albero destro.

• Se un nodo ha solo un figlio, la sua posizione destra o sinistra è importante.
◦ Ed è ciò che lo differenzia da un albero ordinato.
• Un albero pienamente binario è un albero binario in cui ogni nodo ha grado nullo o 2.

ALBERI POSIZIONALI:
Un albero posizionale è contraddistinto dal fatto che ogni nodo è etichettato con un numero intero
distinto.
• I nodi non etichettati non verranno considerati.
• Un nodo si definisce assente se i suoi figli non sono etichettati con un numero intero.

Un albero k-ario è un albero posizionale in cui i nodi etichettati con un numero maggiore di k non
vengono considerati.
• Un albero k-ario completo possiede tutte le foglie alla stessa profondità e tutti i nodi interni
allo stesso grado.