MICHEL BOYER 
de v0 à vm . D’autre part si P = (v0 , e1 , v1 , . . . , vn−1 , en , vn ) est un chemin de v0 à
ARBRES, ARBORESCENCES ET ABORESCENCES BINAIRES
MICHEL BOYER
1. I NTRODUCTION
Les arbres (trees), arborescences (rooted trees) et arborescences binaires (bi-
nary trees) sont d’usage courant en programmation et plus généralement en
informatique. Il faut faire attention aux adjectifs « rooted » ou « binary » ; les ad-
jectifs servent souvent, en français et en anglais, à qualifier un objet. Une tulipe
rouge est une tulipe. Les tulipes rouges sont un sous-ensemble de l’ensemble
de tulipes ; elles sont caractérisées par l’attribut « couleur » qui prend la valeur
« rouge ». Par contre « binaire » n’est pas la valeur d’un attribut que possèdent les
arborescences. Le type « arborescence binaire » a ses attributs propres que les
arborescences et les arbres n’ont pas. Ceci fait en sorte que deux arborescences
binaires qui ne sont pas isomorphes en tant qu’arborescences binaires peuvent
donner lieu à des arbres isomorphes si on « oublie » l’ordre entre les fils (gauche
et droit) et si on oublie la racine. De même les arborescences de fouilles sont
des structures particulières qui ont bien sûr une structure sous-jacente d’arbo-
rescence binaire mais ont aussi des attributs additionnels, une clé associée à
chaque noeud, qui fait qu’elles méritent une étude à part. Bien sûr, les arbores-
cences et les arborescences binaires « héritent » des théorèmes valides pour les
arbres quand on oublie les structures additionnelles dont elles sont munies.
2. L ES ARBRES
.. Graphes acycliques. Rappelons qu’un cycle dans un graphe est un che-
min P = (v0 , e1 , v1 , . . . , en , vn ) avec v0 = vn qui est de longueur non nulle c’est-à-
dire qui contient au moins une arête, et tel que les arêtes e1 , . . . en sont toutes
distinctes, c’est-à-dire que P ne passe jamais deux fois par la même arête. Un
graphe acyclique est un graphe qui ne contient pas de cycle.
Proposition ... Un graphe acyclique G est un graphe simple.
Démonstration. Il ne peut pas avoir y de boucle e en un sommet v de G car
sinon le chemin (v, e, v) est un cycle dans G. De plus, il ne peut pas y avoir deux
arêtes e et e 0 entre deux sommets v et w car sinon (v, e, w, e 0 , v) est un cycle.
.. Composition de chemins. Notons les chemins avec un P majuscule (Path).
Si P1 = (v0 , e1 , v1 , . . . , vn−1 , en , vn ) et P2 = (vn , en+1 , vn+1 , . . . em , vm ) sont un che-
min de de v0 à vn puis de vn à vm , on notera P1 P2 le chemin obtenu en par-
courant d’abord P1 de v0 à vn , puis P2 de vn à vm on a donc
P1 P2 = (v0 , e1 , . . . , vn−1 , en , vn , en+1 , vn+1 , . . . , em , vm )

vn on notera P−1 le chemin de retour (vn , en , vn−1 , . . . , v1 , e1 , v0 ) de vn à v0 . On
a donc que P P−1 est une promenade qui va de v0 à vn et revient à v0 mais ce
n’est pas un cycle car elle passe plus d’une fois par une même arête. Dans le cas
de graphe simples, les notations sont allégées par le fait que les e i ne sont pas
notés.
Proposition ... S’il y a un chemin de v à w dans le graphe G, alors il y a aussi
chemin simple de v à w.
Démonstration. Parmi tous les chemins de v à w, choisissons-en un, disons P,
qui a la plus petite longueur. S’il n’était pas simple il passerait deux fois par un
même sommet v 0 et on pourrait écrire P = P1 P2 P3 avec P1 de v à v 0 , P2 de v 0
à v 0 et P3 de v 0 à w. Mais alors P1 P3 est un chemin plus court de v à w ce qui
est absurde.
Proposition ... S’il y a un cycle dans G alors il y a un cycle simple dans G
Démonstration. S’il existe un cycle dans G, prenons en un, disons P, dont la
longueur est la plus petite. Il est nécessairement simple. En effet, sinon il pas-
serait deux fois par le même sommet, disons v 0 , alors on aurait P = P1 P2 P3
avec P1 de v à v 0 , P2 de v 0 à v 0 et P3 de v 0 à v. Mais alors P2 serait un cycle plus
court que P ce qui est absurde.
Définition ... Par d’éfinition un arbre T est un graphe simple tel que
pour tout u 6= v sommets de T il existe un chemin simple et
un seul de v à w.
.. Caractérisation des arbres. Si l’on trace n points sur une feuille de papier
et si on les lie deux à deux en utilisant n − 1 arêtes, on se rend compte rapide-
ment par expérience que si le graphe est connexe, alors il n’a pas de cycle (il est
acyclique) et s’il n’a pas de cycle alors il est connexe. Les graphes de n sommets
et n − 1 arêtes qui sont connexes (ou de façon équivalente acycliques) ne sont
autres que les arbres.
Théorème ... Soit T un graphe avec n sommets. Alors les propriétés suivantes
sont équivalentes
() T est un arbre
() T est un graphe connexe et acyclique
() T est un graphe connexe avec n − 1 arêtes.
() T est un graphe acylique avec n − 1 arêtes.
Démonstration. Nous montrons que () ⇒ (), () ⇒ (), () ⇒ (), () ⇒ () et
() ⇒ () où ⇒ représente l’implication.
() ⇒ () : Si T est un arbre, pour tout v 6= w sommets de T il existe un chemin
simple de v à w et donc T est connexe. D’autre part T est acyclique car sinon,
on aurait par le th. .. un cycle simple (v0 , v1 ) P de v0 à v0 allant de v0 à
v1 puis revenant à v0 par P. Mais alors (v0 , v1 ) et P−1 seraient deux chemins
simples distincts de v0 à v1 , d’où contradiction.
 ARBRES, ARBORESCENCES ET ARBORESCENCES BINAIRES
() ⇒ () : Soit T un graphe connexe et acyclique. Il est donc simple. Soient v, w
deux sommets de T. Comme T est connexe, il y a un chemin de v à w dans T
et par la proposition .. il y a donc un chemin simple de v à w car T. Démon-
trons maintenant qu’il est unique : sinon on aurait deux chemins simples
distincts P1 et P2 de v à w ; ces chemins bifurqueraint en un sommet v 0 puis
éventuellement se rejoindraient pour une première fois en un sommet v 00 (v 00
étant le premier sommet de P1 après v 0 qui est dans P2 ) ; on aurait donc deux
chemins simples sans arêtes communes de v 0 à v 00 et par conséquent un cycle
dans T.
() ⇒ () : On démontre par induction sur le nombre n de sommets. Si n = 1
(un sommet), comme il ne peut pas y avoir de boucle dans T, T a  arêtes.
Supposons le résultat vrai pour n et soit T un graphe acyclique connexe avec
n +1 sommets. Choisissions un chemin simple P = (v0 , v1 , . . . , vl ) de longueur
l maximale dans T. Notons e l’unique arête de T incidente à v0 et v1 . Le som-
met v0 de T est de degré  ; sinon il existerait une arête e 0 incidente a v0 et à
un autre sommet v 0 ; si v 0 était dans P alors on aurait un cycle dant T, et sinon
on aurait que (v 0 , v0 ) P est un chemin simple plus long que P d’où contra-
diction. Prenons maintenant v et w deux sommets de T différents de v0 ; il
existe un chemin simple de v à w dans T et il ne peut pas passer par e sinon
v0 serait de degré . Par conséquent le graphe T ∗ obtenu en enlevevant de T
le sommet v0 et l’arête e est connexe. Il est aussi acyclique et a n sommets.
Par hypothèse d’induction, T ∗ a n − 1 arêtes et donc T a n arêtes.
() ⇒ () : Supposons le contraire, i.e. que T est connexe avec n − 1 arêtes mais
non acyclique. Si un graphe T est connexe, on peut toujours lui enlever une
arête quelconque figurant dans un cycle sans qu’il ne cesse d’être connexe.
Procédant ainsi, on obtient finalement un sous-graphe T 0 de T connexe, acy-
clique de n sommets, qui a donc n − 1 arêtes. Si T 0 a n − 1 arêtes, il faut que T
en aie plus, d’où contradiction.
() ⇒ () : Soient T1 , . . . , Tr les composantes connexes de T ; faut montrer que
r = 1. Notons ni le nombre de sommets de Ti . On a n1 + . . . + nr = n. D’autre
part let Ti sont connexes et sans cycle et donc, comme () ⇒ (), T i a ni − 1
arêtes ce qui fait qu’au total T a n1 − 1 + . . . nr − 1 = (n1 + . . . + nr ) − r = n − r
arêtes. Or T a n − 1 arêtes par hypthèse, et donc r = 1.
3. L ES ARBORESCENCES
.. Généralités.
Définition ... On appelle arborescence (« rooted tree » en anglais) un arbre
muni d’un sommet v0 désigné comme racine.
La racine est donc un nouvel attribut ajouté à la structure d’arbre. Formelle-
ment, une arborescence est donc un couple 〈T, v0 〉 où T et un arbre et v0 un
sommet de T. Alors que dans le cas général d’un arbre, il n’y a ni haut, ni bas, ni
gauche ni droite, le choix d’une racine induit une orientation sur le graphe qui
part de la racine et va vers les feuilles et qui, généralement, va de haut en bas
MICHEL BOYER 
dans la représentation graphique de l’arborescence (dont la racine est mise en
haut). Il n’y a pas contre aucun moyen de distinguer la gauche de la droite.
v0 v0
v1 v3 v4 v4 v3 v1
v2 v5 v5 v2
v8 v8
v6 v7 v6 v7
F IG . 1. Deux représentations de la même arborescence
.. Terminologie. Il y a une riche terminologie qui apparaît dès que l’on fixe
une racine pour une arborescence.
Définition ... Si T est une arborescence de racine v0 et si (v0 , v1 , . . . , vr ) est
un chemin simple dans T alors
() r est la profondeur du noeud vr .
() La hauteur d’une arborescence est la profondeur maximale d’un de ses
sommets.
() vr −1 est le parent (ou père) de vr
() v0 , . . . , vr −1 sont les ancêtres de vr
() Si x est parent de y alors y est l’enfant (ou fils) de x
() Deux sommets fils d’un même père sont dits frères
() On dit que x est une feuille si x n’a pas de fils.
() Un sommet qui n’est pas une feuille est dit interne.
() On appelle sous-arbre de T de racine x l’arborescence de racine x dont le
graphe est le sous-graphe de T contenant x et ses descendants.
Deux éléments x et y sont comparables par rapport à l’ordre induit par l’arbo-
rescence s’ils sont égaux ou si l’un est l’ancêtre de l’autre. On représente sou-
vent une arborescence en mettant tous les sommets de même profondeur au
même niveau ; la racine vient en haut, les sommets de profondeur  sont juste
en dessous, puis les sommets de profondeur  viennent au dessous des som-
mets de profondeur  et sont aussi au même niveau. Les sommets et les arêtes
donnent l’impression d’un arbre avec la tête en bas.
Exemple ... Dans l’arborescence de la F IG .  les feuilles sont v2 , v3 , v6 , v7 et
v8 . Les noeuds internes sont v0 , v1 , v4 et v5 . Les noeuds de profondeur  sont
v1 , v3 et v4 , ceux de profondeur  sont v2 , v5 et v8 alors que v6 et v7 sont de
profondeur . Le noeud v0 a trois fils, à savoir v1 , v3 et v4 alors que v1 n’en
a qu’un, v2 . On a que v5 est père de v7 et l’ensemble des ancêtres de v7 est
{v0 , v4 , v5 } ; v3 a deux frères, v1 et v4 . Le sous-arbre de racine v4 contient les
sommets v4 , v5 , v6 , v7 et v8 . L’arbre T est de hauteur .
 ARBRES, ARBORESCENCES ET ARBORESCENCES BINAIRES
4. L ES ARBORESCENCES BINAIRES
.. Définitions. Une arborescence binaire est une arborescence qui, en plus
d’avoir au plus deux fils par noeud, précise pour chaque fils présent dans l’ar-
borescence si c’est le fils gauche ou le fils droit.
Remarque ... Tout sommet d’une arborescence binaire, sauf la racine, est
donc un fils gauche ou droit. On peut représenter formellement ceci en asso-
ciant à chaque arête l’étiquette  ou , avec la contrainte que les arêtes joignant
un père v à deux fils doivent avoir des étiquettes distinctes. On peut convenir
que l’arête d’étiquette  descend vers la gauche et celle d’étiquette  descend
vers la droite.
Définition ... Une arborescence binaire entière (full binary tree) est une ar-
borescence binaire dont tout sommet interne a deux fils.
Les arborescences de fouille binaires sont très utilisés pour implanter des tables
qui associent à des clés un enregistrement. À chaque sommet on associe une
clé. En chaque sommet de l’arbre les clés du sous-arbre gauche du sommet
sont inférieures à la clé du sommet qui est elle-même inférieure à toutes les
clés du sous-arbre droit du sommet.
.. Parcours d’arborescences binaires. On introduit dans les cours de pro-
grammation, et on mentionne encore dans les cours de structures de données,
les parcours dits préfixes, infixes et postfixes d’une arborescence binaire. Tous
ces parcours suivent en fait le même chemin (au sens de la théorie des graphes),
la différence étant simplement le moment où l’on traite l’information contenue
dans les sommets. Le chemin suivi part de la racine et, tant qu’il le peut
() si (il y a une arête à gauche et on ne l’a jamais descendue) on la descend
() sinon si (il y a une arête à droite et on ne l’a jamais descendue) on la
descend
() sinon si (on n’est pas à la racine) on remonte l’arête
() sinon on termine
En chaque sommet (sauf la racine) il y a une et une seule arête qu’on peut re-
monter et l’on va répéter () jusqu’à ce que l’on trouve un sommet avec une
arête droite qui n’a jamais été descendue ; s’il n’y en a pas on termine et celà
se passe toujours à la racine. Cet algorithme itératif est facile à simuler sur pa-
pier ; il est par contre délicat d’implantation si l’on veut être efficace (on n’en
retrouve une variante que dans les livres avancés de structure de données) mais
ceci est sans importance compte tenu des objectifs du IFT .
Dans une section ultérieure, nous allons utiliser ce chemin ou cette « prome-
nade » pour faire sortir les étiquettes sur les arêtes dans un ordre adéquat, l’arête
De fait, quand on vient de remonter d’un fils gauche, inutile de tester () et quand on vient de
remonter d’un fils droit inutile de tester () et ().
MICHEL BOYER 
v0
v1 v3
v2 v4 v7
v5 v8
v6 v9 v10
F IG . 2. Une arborescence binaire.
gauche étant étiquetée  et l’arête droite étant d’étiquetée . Le chemin par-
couru en utilisant l’algorithme ci-dessus avec l’arborescence binaire de la F IG .
 est
(v0 , v1 , v2 , v1 , v0 , v3 , v4 , v5 , v6 , v5 , v4 , v3 , v7 , v8 , v9 , v8 , v10 , v8 , v7 , v3 , v0 )
A ce chemin sont associés trois « parcours » qui ajoutent à la promenade l’acti-
vité suivante : traiter l’information associée au noeud courant au moment op-
portun. Le moment opportun est la première fois qu’on visite le noeud dans le
parcours dit « préfixe », la dernière fois qu’on visite le noeud dans le parcours
dit « postfixe » et pour le parcours infixe, c’est plus difficile de dire en mots. De
façon plus précise, on traite le noeud courant avant d’exécuter le si de la ligne
correspondante (avant de monter ou de descendre l’arête) :
préfixe : en () si on n’a pas encore traité le sommet
infixe : en () si on n’a pas encore traité le sommet
postfixe : en () et en ()
Si l’on souligne le sommet au moment où l’on traite l’information qui lui est
associée lors de la promenade, alors on obtient ce qui suit :
préfixe (v0 , v1 , v2 , v1 , v0 , v3 , v4 , v5 , v6 , v5 , v4 , v3 , v7 , v8 , v9 , v8 , v10 , v8 , v7 , v3 , v0 )
infixe (v0 , v1 , v2 , v1 , v0 , v3 , v4 , v5 , v6 , v5 , v4 , v3 , v7 , v8 , v9 , v8 , v10 , v8 , v7 , v3 , v0 )
postfixe (v0 , v1 , v2 , v1 , v0 , v3 , v4 , v5 , v6 , v5 , v4 , v3 , v7 , v8 , v9 , v8 , v10 , v8 , v7 , v3 , v0 )
Dans les manuels, on ne liste en général que les noeuds soulignés, c’est-à-dire
la séquence de traitement de l’information. On présente presque partout des
algorithmes récursifs, très courts et faciles à implanter.
.. Arborescence binaire d’une somme de n termes. On peut représenter une
somme de n termes complètement parenthésée par un arborescence binaire
entière avec n feuilles. La somme 1 + 2 + 3 n’est pas parenthésée. Elle peut être
complètement parenthésée de deux façons à savoir (1 + 2) + 3 et 1 + (2 + 3). Une
somme de  termes a  parenthésages possibles et on peut démontrer qu’en
général la somme de n termes a Cn−1 parenthésages, où Cn−1 est le n − 1 ième
nombre de Catalan à savoir C(2n − 2, n − 1)/n. Par exemple, pour n = 4 on ob-
tient C3 = C(6, 3)/4 = 20/4 = 5.
 ARBRES, ARBORESCENCES ET ARBORESCENCES BINAIRES
À chaque parenthésage correspond un arborescence binaire entière avec les n
feuilles 1, . . . , n et réciproquement. L’arbre d’une expression S complètement
parenthésée se construit comme suit :
Entrée: Une somme S complètement parenthésée des n entiers  à n
Sortie : Une arbrescence binaire entière qui représente S
 BinTree(S);
 begin
 if S is the integer k then return tree with single node and root k;
 else if S is of the form S 1 + S 2 then
 T1 ← BinTree(S 1 );
 T2 ← BinTree(S 2 );
 v0 ← new node;
 put root of T1 as the left child of v0 ;
 put root of T2 as the right child of v0 ;
 return the resulting tree with root v0 and subtrees T1 and T2 ;
 end
 end
En pratique, on dénote les noeuds internes avec des + (en étiquetant les noeuds
avec +, ×, ÷ etc, on peut traiter des expressions plus compliquées que de simples
sommes). L’arbre pour l’expression (1 + 2) + ((3 + 4) + 5) est donc donné par la
F IG . .
+
+ bijection qui préserve la relation d’adjacence, rien de plus.
+ +
     de racine v0 et T0 de racine v00 est un isomorphimes f entre les graphes T et T 0
F IG . 3. Arborescence binaire de l’expression (1 + 2) + ((3 + 4) + 5)
.. Propriétés importantes des arborescences binaires.
Théorème ... Si une arborescence binaire entière T a i sommets internes,
alors elle a i + 1 feuilles et, ce qui revient au même, 2i + 1 sommets.
Démonstration. Il y a 2i sommets qui sont fils d’un sommet interne et tout
sommet sauf la racine est fils d’un sommet interne ; il y a donc au total 2i + 1
sommets dans l’arbre et (2i + 1) − i = i + 1 feuilles.
Théorème ... Si une arborescence binaire T a f feuilles et est de hauteur h
alors
dlg f e ≤ h
MICHEL BOYER 
Démonstration. Comme h est un entier, ceci revient à prouver que lg f ≤ h et
donc f ≤ 2h qu’on prouve par induction sur la hauteur h. Si h = 0, l’arbre T n’a
qu’un sommet qui est une feuille et on a bien 1 ≤ 20 . Supposons le résultat vrai
quand la hauteur est au plus h et démontrons qu’il est vrai quand la hauteur est
au plus h + 1. Suffit de considérer la hauteur h + 1. Si la hauteur est h + 1, et si
v0 est la racine, les sous-arbres à gauche et à droite de v0 sont soit vides, soit de
hauteur au plus h ; par hypothèse d’induction ils ont au plus 2 h feuilles ce qui
fait au total au plus 2h + 2h = 2h+1 feuilles pour T.
5. I SOMORPHISMES
.. Introduction. Deux arbres sont isomorphes si l’un s’obtient de l’autre par
renommage des sommets. Il faut considérer de façon séparée le cas des arbres,
des arborescences et des arborescences binaire car la notion d’égalité diffère.
Il n’y a par exemple qu’un seul arbre avec deux sommets v et v 0 . Il y a deux
arborescences avec ces mêmes sommets v et v 0 , l’une ayant v comme racine,
l’autre ayant v 0 comme racine (elles sont cependant isomorphes). Enfin, il y a
 arborescences binaires ayant v et v 0 comme racines ; en effet, pour chaque
arborescence, on a deux choix de positions pour la feuille : on peut la mettre à
gauche ou à droite.
.. Isomorphismes d’arbres. Deux arbres sont isomorphes si et seulement si
ils sont isomorphes en tant que graphes. La notion d’isomorphie d’arbres est
donc exactement celle du chapitre sur les graphes. Comme il s’agit de graphes
simples, rappelons que dans le cas d’un graphe simple un isomorphisme de G
à G0 est un bijection f : V → V 0 entre les sommets de G et G0 telle que v, v 0 soient
adjacents dans G si et seulement si f (v), f (v 0 ) sont adjacents dans G0 : c’est une
.. Isormorphes d’arborescences. Un isomorphisme d’arborescences entre T
tel que f (v0 ) = v00 ; en plus de préserver l’adjacence, f doit aussi préserver la
racine.
... Propriétés invariantes. Comme un isomorphimes d’arborescence préserve
l’adjacence et la racine, on a que (v0 , v1 , . . . , vr ) est un chemin simple dans T si
et seulement si ( f (v0 ), f (v1 ), . . . , f (vr )) est un chemin simple dans T 0 et donc, si
f : T → T0 est un isomorphisme
() T et T0 ont même hauteur.
() x est une feuille de T ssi f (x) est une feuille de T 0 .
() T et T0 ont même nombre de feuilles.
() y est fils de x ssi f (y) est fils de f (x)
() La profondeur de x dans T est égale à la profondeur de f (x) dans T 0 .
() Il y a même nombre de sommets de profondeur r dans T que dans T 0 .
La liste est encore longue. Un isomorphisme d’arborescences préserve donc
des propriétés qu’on ne peut même pas définir dans le cas des arbres généraux :
profondeur, hauteur, fils etc.
 ARBRES, ARBORESCENCES ET ARBORESCENCES BINAIRES MICHEL BOYER 

.. Isormorphismes d’arborescences binaires.          

          
Définition ... Un isomorphisme d’arborescences binaires f entre les arbores-        
cences binaire T et T 0 est un isomorphisme entre les arborescences T et T 0 qui
envoie fils gauche sur fils gauche et fils droit sur fils droit i.e.     
0 0
() x est fils gauche de x ssi f (x ) est fils gauche de f (x) F IG . 4. Les  arborescences binaires entières avec  noeuds internes
() x 0 est fils droit de x ssi f (x 0 ) est fils droit de f (x)
Vérifier que deux arborescences binaires T et T 0 sont isomorphes est plutôt ba- Corollaire ... Il existe Cn arborescences binaires non isomorphes avec n noeuds.
nal. S’il y a un isomorphisme il est en effet unique : il doit envoyer la racine Démonstration. C’est une conséquence immédiate des théorèmes .. et ...
sur la racine ; il doit envoyer le fils gauche de la racine sur le fils gauche de la
racine etc. On peut facilement écrire un algorithme qui vérifie que deux ar-
borescences binaires sont isomorphes : suffit de les parcourir en parallèle en
partant de leurs racines respectives et de s’assurer qu’à chaque fois qu’on peut
descendre à gauche ou à droite dans T on peut faire de même dans T 0 et récipro-
quement. La question se ramène donc à celle du parcours d’une arborescence
binaire.
Théorème ... Le nombre d’arborescences binaires non isomorphes de n som-
mets est égal au nombre d’arborescences binaires entières non isomorphes avec n
sommets internes.
Démonstration. Soit T une arborescence binaire quelconque de n sommets ;
on construit à partir de T une arborescence binaire entière comme suit : on
ajoute à chaque feuille de T un fils gauche et un fils droit. Si un noeud interne
n’a qu’un fils gauche on lui ajoute un fils droit et s’il n’a qu’un fils droit on lui
ajoute un fils gauche. L’arborescence T 0 résultante est nécessairement entière
et a n sommets internes, qui sont exactement les sommets de T ; on retrouve T
à partir de T 0 en enlevant toutes les feuilles de T 0 . De plus T1 est isomorphes à
T2 si et seulements si T10 est isomorphe à T20 .
... Isomorphismes d’arborescences binaires entières.
Théorème ... Il y a Cn arborescences binaires entières non isomorphes avec
n noeuds internes, où Cn = C(2n, n)/(n + 1) est le n-ième nombre de Catalan.
Démonstration. Le nombre d’arborescences binaires non isomorphes avec n
noeuds internes est le nombre d’arborescences binaires qui représentent un
parenthésage complet de la somme de 1+. . .+(n +1) (s’il y a n noeuds internes,
il y a n + 1 feuilles) ; il y a Cn tels parenthésages.
Remarque ... On obtient une autre preuve si on met l’étiquette  sur les
arêtes gauches et  sur les arêtes droites. À chaque arborescence binaire en-
tière T avec n noeuds internes correspond la chaîne de 2n bits et de poids n
obtenue en écrivant de gauche à droite les étiquettes des arêtes au moment
où on les descend dans le chemin de la section .. Les chaînes ainsi obtenues
sont exactement celles dont tous les préfixes ont un poids supérieur ou égal à
la moitié de leur longeur. On a déjà démontré qu’il y a C n telles chaînes. Par
exemple pour n = 3 les chaînes sont 111000, 110100, 110010, 101010, 101100.