3-GrafiML.tex

\chapter{Grafi Multi-livello}\label{cap:grafi-multi-livello}

Come si \`e potuto vedere dal contenuto del Capitolo~\ref{cap:grafi-e-approccio-multi-livello},
le operazioni di contrazione e la costruzione di
gerarchie di grafi a pi\`u livelli siano concetti gi\`a ampiamente utilizzati e consolidati nella teoria dei grafi e
nelle sue applicazioni.
Tuttavia, ci\`o che non \`e stato ancora propriamente considerato nella letteratura nota \`e la possibilit\`a di
definire e formalizzare una vera e propria struttura dati astratta che rappresenti un grafo multi-livello
come un'entit\`a a s\`e stante.
In questo capitolo verranno date le fondamenta per la definizione del concetto di grafo multi-livello dal
punto di vista algebrico, e verranno introdotte le operazioni di base che permetteranno di rendere
algoritmicamente realizzabile la costruzione di tale struttura dati.

\input{3.1-Definizioni}
\input{3.2-ProcDiContr}