Arbre (théorie des graphes)

38 langues
• Article
• Discussion
• Lire
• Modifier
• Modifier le code
• Voir l’historique
Outils

•
•
•
•
•
•
•
•
•
•

•
•
•

Pour les articles homonymes, voir Arbre (homonymie).

En théorie des graphes, un arbre est un graphe acyclique et connexe1. Sa forme
évoque en effet la ramification des branches d'un arbre. Par opposition aux arbres
simples, arbres binaires, ou arbres généraux de l'analyse d'algorithme ou de la
combinatoire analytique2, qui sont des plongements particuliers d'arbres (graphes)
dans le plan, on appelle parfois les arbres (graphes) arbres de Cayley, car ils sont
comptés par la formule de Cayley.

Un ensemble d'arbres est appelé une forêt.

Définition[modifier | modifier le code]

Définition intuitive[modifier | modifier le code]
Un graphe représente un ensemble de points, appelés sommets ou nœuds, reliés
ou non entre eux par des traits, appelés arêtes.

Il s'agit donc d'un concept très simple et d'un outil de modélisation très général, utile
dans de nombreux domaines.
 • Par exemple une carte routière peut être modélisée par un graphe : les
villes sont les sommets et on reliera deux sommets par un trait si et
seulement si les villes qu'ils représentent ont une route les connectant
directement.
• Un réseau social est un autre exemple : les utilisateurs sont les sommets
et on reliera deux utilisateurs si et seulement s'ils sont chacun ami avec
l'autre.
À noter que la disposition des sommets (position dans l'espace) n'a pas
d'importance, ni même la forme des arêtes reliant éventuellement ces sommets
(ligne droite, courbe etc). La seule chose qui compte est la relation entre les
sommets.

Un arbre est un graphe qui vérifie les propriétés suivantes :

• Connexité : il est toujours possible d'aller d'un sommet à l'autre par un

chemin d'arêtes. Dans le cas de la carte routière, cela revient à dire qu'il
est toujours possible d'aller d'une ville à l'autre par la route.
• Acyclique : il est impossible de partir d'un sommet et d'y revenir sans
rebrousser chemin à un moment.
Définition formelle[modifier | modifier le code]

Un graphe est un couple tel que

• est un ensemble non vide quelconque dont les éléments sont

appelés sommets ou nœuds.

• . Les éléments de sont appelés les arêtes.

Un arbre est un graphe tel que

• (Connexité) .

• (Acyclique) .
Définition par récurrence pour les arbres finis[modifier | modifier le
code]
Dans le cas d'arbres finis, c'est-à-dire quand l'ensemble des sommets est fini, il
existe une définition alternative. En effet, il est possible de définir par récurrence
l'ensemble des arbres finis dont les sommets appartiennent à un ensemble non vide
donné E (fini ou infini) :

• si s est un élément de E alors ({s},∅) est un arbre ;

• si est un arbre alors (S ∪ {x}, A ∪ { {x,s} }) est un arbre

pour x quelconque dans E n'appartenant pas à S et s appartenant à S ;
• aucun autre graphe n'est un arbre.
Autrement dit, l'ensemble des arbres dont les sommets appartiennent à E est le plus
petit ensemble de graphes qui vérifie les deux premières règles ci-dessus.

Vocabulaire et notions associées[modifier | modifier le code]

Il existe plusieurs notions très utiles associées aux arbres, certaines sont données
dans le tableau ci-dessous. Les notions données ici sont en fait toutes valables dans
le cadre général de graphes. Dans le tableau on se fixe un arbre (S,A).

Notion Définition intuitive Définition formelle

Deux sommets x et y sont adjacents s'ils sont

Sommets adjacents
reliés par une arête.

Deux arêtes a1 et a2 sont adjacentes si elles

Arêtes adjacentes
partagent une extrémité en commun.

Degré d'un sommet x Nombre de sommets adjacents à x.

Feuille Sommet x dont le degré vaut 1.

Sommet x dont le degré est strictement

Sommet interne
supérieur à 1.

Chemin constitué de plusieurs arêtes

Chemin d'arêtes
adjacentes mises bout à bout.

Si x et y sont distincts alors la

distance d(x,y) vaut
Distance entre deux
Taille du plus court chemin reliant x et y.
sommets x et y

et sinon la distance vaut 0.

 Un arbre fini avec 4 feuilles (les sommets nos 1, 3, 5,
7) et 3 sommets internes (les sommets nos 2, 4 et 6).

Types d'arbres[modifier | modifier le code]

Il existe plusieurs types d'arbres qui peuvent être des cas particuliers d'arbres ou
alors des arbres sur lesquels de la structure a été rajoutée.

Arbre fini[modifier | modifier le code]

Un arbre fini est un arbre tel que l'ensemble de ses sommets est fini. Formellement,
un arbre (S,A) est fini si S est de cardinal fini. Dans la suite, |S| est le nombre de
sommets et |A| est le nombre d'arêtes.

On peut remarquer les propriétés suivantes :

• Un arbre fini est un graphe connexe dont le nombre de sommets excède le

nombre d'arêtes d'une unité exactement. Autrement dit le graphe (S,A) est
un arbre si et seulement s'il est connexe et |S| = |A|+1.

• Un arbre fini est un graphe sans cycles dont le nombre de sommets

excède le nombre d'arêtes d'une unité exactement. Autrement dit le
graphe (S,A) est un arbre si et seulement s'il est acyclique et |S| = |A|+1.
Dans le cas particulier où S est l'ensemble des entiers entre 1 et n alors on dit que
l'arbre (S,A) est un arbre de Cayley (avec n sommets).

Arbre localement fini[modifier | modifier le code]

Un arbre localement fini est un arbre tel que le degré de chaque sommet est fini.
Formellement, un arbre (S,A) est localement fini si pour tout sommet x de S, deg(x)
est fini.

Un arbre fini est toujours localement fini mais la réciproque n'est pas vraie. Le
nombre de sommets d'un arbre localement fini est fini ou dénombrable.
[afficher]
Démonstration

Arbre enraciné[modifier | modifier le code]

 Article détaillé : arbre enraciné.
Un arbre enraciné est simplement un arbre dont un sommet porte le statut
particulier de racine. Formellement, un arbre enraciné est un triplet (S,A,r) où (S,A)
est un arbre et r est un élément de S appelé racine.

Cette notion de racine permet de se munir d'un ordre de type ancêtre/descendant

entre les sommets de l'arbre. Les arbres enracinés sont utiles pour modéliser la
généalogie d'une population.

Définition
Notion Définition intuitive
formelle

Hauteur d'un sommet x Distance entre x et la racine r.

Enfant (ou fils) d'un Sommet adjacent à x dont la hauteur vaut celle
sommet x de x plus 1.

Parent d'un sommet x Sommet tel que x est son enfant.

Sommet qui découle d'une lignée parent/enfant

Descendant d'un sommet x3
partant de x.

Ancêtre d'un sommet x3 Sommet tel que x est un descendant.

Arête découlant d'un

Arête qui relie x à un de ses enfants.
sommet x

Arbre étiqueté[modifier | modifier le code]

Un arbre étiqueté est un arbre dont les sommets (ou les arêtes) possèdent
une étiquette, c'est-à-dire un élément d'un ensemble non vide quelconque (souvent
les étiquettes sont des entiers ou des nombres réels).

Un arbre possède toujours un étiquetage de sommets canonique : chaque sommet

reçoit lui-même en tant qu'étiquète. Ainsi un arbre de Cayley de n sommets peut être
vu comme un arbre étiqueté de manière injective avec les entiers de 1 à n. Avec cet
étiquetage canonique, les sommets ont tous des étiquettes différentes. L'avantage
du concept d'étiquette est qu'il est possible de donner des étiquettes identiques à
plusieurs sommets différents.

Arbre orienté[modifier | modifier le code]

Article détaillé : Graphe orienté.
Un arbre orienté est un arbre où les arêtes sont orientées, c'est-à-dire qu'elles ont
une direction (elles partent d'un sommet pour arriver à un autre). Formellement un

arbre orienté est un couple tel que

• .

• Si on note alors est un arbre.

Un arbre enraciné possède deux orientations canoniques :

• les arêtes sont orientées du descendant le plus éloigné de la racine vers le

descendant le plus proche. Formellement, on prend .

• les arêtes sont orientées du descendant le plus proche de la racine vers le

descendant le plus éloigné. Formellement, on prend .

Un arbre orienté est toujours connexe par définition (on dit aussi faiblement connexe)
mais n'est pas forcément fortement connexe. En fait le seul arbre orienté fortement
connexe est l'arbre trivial qui ne possède qu'un seul sommet.

Arbre ordonné[modifier | modifier le code]

Un arbre ordonné est un arbre enraciné tel que pour chaque sommet, un ordre
total a été spécifié pour l'ensemble des enfants de ce sommet.

Combinatoire des arbres[modifier | modifier le code]

Formule de Cayley[modifier | modifier le code]
Articles détaillés : Formule de Cayley et Bijection de Joyal.
On peut démontrer qu'il y a nn – 2 arbres numérotés à n sommets. La découverte de
cette formule a été attribuée un temps à Arthur Cayley. Pour cette raison, les arbres
comme graphes sont parfois appelés arbres de Cayley. Parmi de nombreuses
démonstrations, citons celle qui utilise la bijection de Joyal : pour compter les

éléments de l'ensemble des arbres de Cayley à n sommets, Joyal établit

une bijection entre et l'ensemble des applications de dans , noté

usuellement . On a ainsi
Orientation[modifier | modifier le code]
Si on choisit un sommet r quelconque dans un arbre, il est possible d'enraciner
l'arbre en r, c'est-à-dire orienter toutes les arêtes de sorte qu'il existe un chemin
de r à tous les autres nœuds. On obtient alors un arbre enraciné.

Arbre comme carte[modifier | modifier le code]

Un arbre est un graphe planaire : un graphe qu'on peut dessiner dans le plan sans
que ses arêtes ne se touchent, sauf à leurs extrémités. Un tel dessin est parfois
appelé plongement d'un graphe. La plupart des graphes planaires ont plusieurs
plongements non homéomorphes, au sens où, pour au moins deux de ces
plongements, il n'existe pas d'homéomorphisme du plan entier vers lui-même qui
envoie un plongement sur l'autre plongement4 : les classes d'homéomorphismes de
ces plongements sont appelés cartes planaires. Les classes d'homéomorphismes
des plongements des arbres (graphes) sont aussi appelés arbres (planaires,
généraux, de Catalan). Pour le dénombrement, il est commode de les munir d'une
racine, à savoir une arête orientée : on parle alors d'arbres planaires enracinés.
Ainsi le nombre d'arbres planaires enracinés à n arêtes est le n-ième nombre de
Catalan :

Exemple : arbres à 3 arêtes (et 4 sommets)[modifier | modifier le code]

Les 5 arbres planaires à 3 arêtes,

en haut, et les 16 arbres de Cayley à 3 arêtes, en bas. L'arête racine des arbres
planaires va du point rouge au point bleu.
Les arbres planaires sont non étiquetés, alors que les arbres de Cayley le sont
(les n sommets sont étiquetés de 1 à n). Par exemple, il y a deux arbres non
enracinés et non étiquetés à 3 arêtes, celui qui possède un sommet de degré 3 et 3
feuilles (étoile à 3 branches) et celui qui possède 2 sommets de degré 2 et deux
feuilles (ligne).

• L'étoile peut être étiquetée de 4 manières (en choisissant librement

l'étiquette du centre, parmi 4 possibilités, le choix des étiquettes des 3
feuilles conduisant alors toujours au même arbre). La ligne peut être
étiquetée de 4!=24 manières, équivalentes 2 par 2 (par exemple 1234 et
4321 sont équivalents), donc de 12 manières en réalité, ce qui donne 12 +
4 = 16 = 42 arbres de Cayley à 3 arêtes.
• L'étoile peut être enracinée de deux manières : la racine peut être une des
trois arêtes, peu importe laquelle, les deux choix non homéomorphes sont
 les choix d'une arête rentrante (vers le centre) ou sortante. La ligne peut
être enracinée de 3 manières, extrémité sortante ou rentrante, ou arête
centrale, d'où 5 arbres planaires :

L'arbre peut être représenté avec l'origine de l'arête racine en bas ou en haut (en
informatique, la racine est souvent figurée en haut), et l'arête racine soit
complètement à droite soit complètement à gauche (dans la figure ci-dessus l'arête
racine commence au point rouge et aboutit au point bleu).

Notation de Neveu[modifier | modifier le code]

Article détaillé : Notation de Neveu.

Notation de Neveu pour les sommets d'un arbre planaire.

Un arbre planaire enraciné peut être décrit de manière non ambigüe par la liste de
ses sommets, chacun désigné par une suite finie d'entiers, qui sont les positions, au
sein de leur fratrie, des ancêtres du sommet : c'est la notation de Neveu5. On utilise
ici l'arbre généalogique comme métaphore pour l'arbre planaire : le sommet 2|4|3
désigne le 3e fils du 4e fils du 2e fils de l'ancêtre (l'ancêtre étant lui-même désigné par

la suite vide, notée ). Par convention, l'ancêtre est le sommet initial de l'arête
racine, et le sommet final de l'arête racine est le fils ainé de l'ancêtre : en tant que tel,
il est noté 1. La longueur de la suite associée à un sommet est la hauteur (ou
la profondeur) du sommet, i.e. la distance entre ce sommet et le début de la racine,
qui représente l'ancêtre : en filant la métaphore, un sommet de hauteur n représente
un individu appartenant à la n-ème génération de la population fondée par l'ancêtre.

Notation de Neveu: 5 arbres à 3 arêtes.

Les 5 arbres à 3 arêtes sont ainsi décrits par les 5 ensembles de mots

Le parcours des sommets dans l'ordre lexicographique est alors le parcours en

profondeur préfixé (ou parcours préfixe) d'un arbre vu comme structure de
données en informatique. Par ailleurs, à travers la notation de Neveu, on perçoit
comment un arbre planaire encode commodément une réalisation de processus de
Galton-Watson avec extinction : l'arbre aléatoire obtenu en encodant une réalisation
de processus de Galton-Watson est parfois appelé arbre de Galton-Watson. Rien ne
s'oppose à définir un arbre planaire infini à l'aide de la notation de Neveu, ce qui
permet d'encoder les réalisations de processus de Galton-Watson où la
population ne s'éteint pas.
Arbre et décomposition[modifier | modifier le code]
Du fait des propriétés intéressantes des arbres notamment en informatique
théorique, il est parfois utile de décomposer des graphes généraux en arbres. Ainsi
on définit par exemple la largeur arborescente en faisant des groupes de nœuds
organisés en arbre et l'arboricité en faisant une partition des arêtes en forêts.

Notes et références[modifier | modifier le code]

1. ↑ Plus généralement, les graphes non orientés acycliques, qui sont des réunions d'arbres
disjoints, s'appellent des forêts.
2. ↑ cf. An Introduction to the Analysis of Algorithms, par Robert Sedgewick et Philippe Flajolet,
Ch.6, particulièrement page 329.
3. ↑ Revenir plus haut en :a et b La définition donnée ici implique qu'un sommet n'est pas son propre
descendant mais certaines définitions incluent ce cas. Cette remarque reste valable pour la
notion d'ancêtre.
4. ↑ En fait, on plonge les graphes planaires dans la sphère, vue comme le plan plus un point à
l'infini, et on discute l'existence d'homéomorphismes de la sphère envoyant un plongement sur
l'autre plongement.
5. ↑ J. Neveu, « Arbres et processus de Galton-Watson », Ann. de l'IHP, vol. 22, no 2, 1986 (lire
en ligne [archive]) (section 2).

Voir aussi[modifier | modifier le code]

Articles connexes[modifier | modifier le code]

• Arbre (mathématiques)
• Preuve combinatoire : différence entre preuve par bijection et preuve par
double dénombrement
• Terme (logique)
• Lexique de la théorie des graphes
• Arbre enraciné
• Polyarbre
• Pseudo-forêt