
page 4 Arbres
let a = Noeud (4,[]);;
let b = Noeud (5,[]);;
let c = Noeud (2,[]);;
let d = Noeud (3, [a;b;c]);;
val d : int arbre = Noeud (3, [Noeud (4, []); Noeud (5, []); Noeud (2, [])])
I.5 Arbres comme graphes
On peut aussi considérer les arbres comme des ensembles de sommets (les noeuds)
liés par des arêtes avec une hierarchie : ce sont des notions de graphe.
•Il y a un sommet particulier : la racine.
•Il y a toujours un chemin entre deux sommets.
•Ce chemin est unique si on exclut les arêtes parcourures dans les deux sens.
Un arbre est un graphe (non orienté) connexe et acyclique avec
un sommet privilégié (s’il est non vide).
•Connexe signifie qu’il y a toujours un chemin entre deux sommets.
•Acyclique signifie qu’il n’y a pas de circuit c’est–à–dire de chemin non trivial
entre un sommet et lui–même.
•Si on se donne un tel graphe la racine est le sommet privilégié.
•Pour tout sommet il a un chemin unique entre la racine et ce sommet (sinon il y
aurait un cycle).
•Le père d’un sommet distinct de la racine est l’avant dernier sommet dans ce
chemin.
•Les fils d’un sommet ssont les sommets extrémités d’une arête d’origine sà
l’exclusion du père : on n’obtient jamais ni la racine ni un nœud qui aurait un
autre père en raison de l’acyclicité.