Arbre (combinatoire)

Un arbre possède des propriétés structurelles, par exemple enraciné ou non, planaire ou non, étiqueté ou non. En combinatoire, on compte le nombre de tels arbres possédant un nombre fixe n de nœuds en fonction de leur classe.

Pour les articles homonymes, voir Arbre (homonymie).

Arbre planaire

Deux arbres planaires différents.

Un arbre planaire est un graphe acyclique représenté dans un plan (par un plongement) sans que les arêtes se croisent. Ces arbres sont également appelés arbres ordonnés, si de plus ils sont enracinés alors leurs arêtes sont orientées. Dans ce cas, pour chaque nœud de l'arbre, les nœuds adjacents (ou fils) sont ordonnés ; on peut ainsi parler du j-ième fils d'un nœud.

Compter le nombre d'arbres planaires revient à compter le nombre de plongements possibles dans le plan.

Arbre planaire enraciné

Les 5 arbres de Catalan (arbres planaires enracinés) de 4 nœuds. en rouge : la racine, en vert : le nœud fantôme.

Les arbres planaires enracinés sont également appelés arbres de Catalan. Ce sont des arbres enracinés et planaires : ils possèdent une unique racine et chaque nœud engendre un ensemble ordonné de fils.

Éventuellement, la racine de l'arbre peut être jointe à un nœud fictif, ce qui justifie le terme enraciné. Dans ce cas, tous les nœuds (y compris la racine) ont un degré qui vérifie : est le nombre de fils de .

Le nombre d'arbres planaires enracinés avec n≥1 nœuds est donné par le (n-1)-ième nombre de Catalan (d'où le nom de l'arbre) :

.

Un cas particulier d'arbre planaire enraciné est le cas des arbres binaires. Les nœuds d'un arbre binaire possèdent soit 2 fils (ils sont alors appelés nœuds internes), ou aucun fils (ce sont alors des feuilles). Dans un arbre binaire, il y a k nœuds internes pour k+1 feuilles. Le nombre d'arbres binaires possédant k nœuds internes (c'est-à-dire n=2k+1 nœuds) est donné par le k-ième nombre de Catalan : .

Plus généralement, on peut considérer les arbres m-aires (planaires et enracinés) dont chaque nœud possède m fils. Le nombre de tels arbres possédant k nœuds internes est donné par : .

Arbre planaire étiqueté

Les 20 arbres planaires enracinés étiquetés de 4 nœuds

Les arbres planaires étiquetés sont des arbres et étiquetés : chacun des n nœuds de l'arbre est numéroté de 1 à n (son numéro est appelé étiquette) et engendre un ensemble ordonné de fils.

Le nombre d'arbres planaires étiquetés à n nœuds est donné par .

Arbre planaire, étiqueté et enraciné

Le nombre d'arbres planaires, étiquetés et enracinés à n nœuds est donné par : puisque chacun des n nœuds peut être la racine de l'arbre planaire étiqueté.

Arbre libre

Au contraire des arbres planaires, l'ensemble des fils des nœuds d'un arbre (libre ou non planaire, ou arbre tout court) ne possède pas de structure d'ordre. Ces arbres sont aussi appelés arbres de Pólya.

Il n'existe pas de formule récursive directe pour compter les arbres enracinés et non enracinés (libre et non étiquetés). On utilise alors les fonctions génératrices et la combinatoire de Pólya, d'où le nom des arbres. On note le nombre d'arbres enracinés à n nœuds et le nombre d'arbres non enracinés à n nœuds. Leurs premières valeurs sont :

n=1n=2n=3n=4...
1124...
1112...

Les fonctions génératrices correspondantes sont définies par :

.

Ces fonctions vérifient[1] les formules suivantes :

,
.

Arbre étiqueté (arbre couvrant)

Les 16 arbres étiquetés (non planaires) à 4 nœuds.

Les arbres étiquetés (non planaires) sont parfois appelés arbres de Cayley. Chaque nœud d'un arbre à n nœuds est étiqueté par une étiquette allant de 1 à n. De tels arbres peuvent être interprétés comme les arbres couvrants d'un graphe complet à n nœuds. Le nombre de tels arbres est donné par la formule de Cayley : .

Arbre étiqueté et enraciné

Le nombre d'arbres à n nœuds, étiquetés et enracinés est puisque chacun des n nœuds peut-être la racine de l'arbre étiqueté.

Annexes

Liens internes

Notes et références

  • (en) M. Drmota, Random trees - An Interplay between Combinatorics and Probability, Springer Verlag/Wien New York (2009), (ISBN 978-3-211-75355-2)
  • Portail de l'informatique théorique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.