# Algorithme de Rémy

L'algorithme de Rémy est un générateur d'arbres binaires, dont la principale application est un algorithme efficace de génération aléatoire d'arbres binaires.
L'algorithme doit son nom à son inventeur Jean-Luc Rémy.

## Histoire

L'algorithme de Rémy est dû à Jean-Luc Rémy, chercheur au Centre de recherche en informatique de Nancy. Il a été créé en 1978 sans être publié immédiatement et a fait partie du folklore de l'algorithmique et de la combinatoire énumérative jusqu'à sa parution dans une revue francophone en 1985.

## Description de l'algorithme

Les arbres binaires sont dénombrés par les nombres de Catalan $C_{n}$ donnés par les formules de récurrence :
    $C_{0}=1$
    $C_{n+1}=\sum _{i=0}^{n}C_{i}C_{n-i}$.
Mais ces formules ne permettent pas de dériver un algorithme efficace de génération aléatoire.
L'idée de Rémy consiste à non plus compter les arbres binaires à $n$ nœuds, mais les arbres binaires décorés à $n$ nœuds, à savoir les arbres dont les feuilles ont été décorées par les nombres de $0$ à $n$ dans un ordonnancement quelconque. Il y a $(n+1)!$ manières de décorer un arbre binaire, par conséquent, le nombre d'arbres binaires à $n$ nœuds internes est
    $D_{n}=(n+1)!C_{n}={\frac {(2n)!}{n!}}=2(2n-1)D_{n-1}.$
Comme le note Knuth, Olinde Rodrigues avait déjà démontré cette formule, en 1838, dans un article du Journal de Liouville. On note au passage que cela correspond à la récurrence linéaire sur les nombres de Catalan :
    $C_{n}={\frac {2(2n-1)}{n+1}}C_{n-1}$.
Rémy a remarqué qu'il y a $2(2n-1)$ moyens de construire un arbre décoré de taille $n$ à partir d'un arbre décoré de taille $n-1$. On choisit un nœud interne ou externe (une feuille) dans cet arbre, appelons le $x$. Comme il y a $n-1$ nœuds internes et $n$ feuilles, il y a $2n-1$ choix possibles de $x$. On insère alors un nouveau nœud interne $\bullet$ et une nouvelle feuille décorée par $n$, dont elle est la fille droite ou la fille gauche, tandis que $x$ en est alors le fils gauche ou le fils droit, comme cela est illustré dans les dessins ci-dessous.
* $x$ à gauche
* $x$ à droite
La suite d'arbres ci-dessus illustre des insertions de nœuds conduisant à la construction d'un arbre binaire de taille $6$.
On voit que ce processus est unique ; en effet, l'insertion peut être inversée par la coupe de la feuille de plus grand numéro. En conséquence, la construction de Rémy produit aléatoirement des arbres décorés de façon uniforme. Il suffit d'oublier les feuilles pour obtenir une génération aléatoire des arbres ordinaires (donc non décorés).

## Implémentation efficace

Pour engendrer aléatoirement un arbre de taille $n$, on peut écrire un algorithme efficace qui utilise un tableau de taille $2n+1$ et qui fait $n-1$ tirages aléatoires dans des intervalles d'entiers, de taille respectivement, $2$ jusqu'à $n$, d'où une complexité linéaire de l'algorithme en nombre de tirage uniforme dans un intervalle discret. Il est possible d'améliorer cet algorithme et d'atteindre un algorithme optimal en nombre de bits aléatoires utilisés.

## Extensions

L'algorithme de Rémy est à l'origine de plusieurs échantillonneurs aléatoires efficaces d'arbres non binaires comptés par des nombres qui sont solutions d'équations holonomes (en), notamment d'échantillonneurs aléatoires pour les arbres unaires-binaires ou les arbres de Schröder qui sont en bijection avec les arbres planaires.