Nombre de Narayana
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png)
Pour les articles homonymes, voir Narayana (homonymie).
En combinatoire, les nombres de Narayana , pour et forment un tableau triangulaire d'entiers naturels, appelé triangle de Narayana ou triangle de Catalan. Ces nombres interviennent dans divers problèmes de dénombrements. Ils portent le nom de Tadepalli Venkata Narayana (1930-1987)[1], mathématicien indo-canadien[2].
Définition
Les nombres de Narayana s'expriment en fonction des coefficients binomiaux par la relation :
On trouve aussi la définition équivalente :
Les premiers nombres du triangle de Narayana sont les suivants :
n\k | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
---|---|---|---|---|---|---|---|---|
1 | 1 | |||||||
2 | 1 | 1 | ||||||
3 | 1 | 3 | 1 | |||||
4 | 1 | 6 | 6 | 1 | ||||
5 | 1 | 10 | 20 | 10 | 1 | |||
6 | 1 | 15 | 50 | 50 | 15 | 1 | ||
7 | 1 | 21 | 105 | 175 | 105 | 21 | 1 | |
8 | 1 | 28 | 196 | 490 | 490 | 196 | 28 | 1 |
Ils forment la suite A001263 de l'OEIS. La somme des nombres d'une ligne du triangle est un nombre de Catalan :
Interprétations combinatoires
Parenthésages
Le nombre compte le nombre de parenthésages corrects en paires de parenthèses et qui contiennent occurrences de la paire '()
'. Par exemple, compte les mots avec 4 paires de parenthèses (donc de longueur 8) et qui contiennent exactement 2 fois la paire '()
'. On a , les six parenthésages sont :
()((())) (())(()) (()(())) ((()())) ((())()) ((()))()
On voit facilement que , puisque la condition implique que toutes les parenthèses ouvrantes précèdent toutes les parenthèses fermantes. De même, , le seul parenthésage possible est ()() ... ()
. Plus généralement, on peut prouver que le triangle de Narayan est symétrique, c'est-à-dire que
Si l'on représente un parenthésage par un chemin de Dyck, le nombre compte les chemins de Dyck de longueur qui ont exactement pics, c'est-à-dire de pas montants suivis immédiatement d'un pas descendant. Les figures suivantes représentent les chemins comptés par les nombres :
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/00/Noncrossing_partitions_4%3B_Hasse.svg/220px-Noncrossing_partitions_4%3B_Hasse.svg.png)
Chemins | |
---|---|
chemin avec 1 pic : | ![]() |
chemins avec 2 pics : | ![]() |
chemins avec 3 pics : | ![]() |
chemin avec 4 pics : | ![]() |
Partitions non croisées
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e7/Noncrossing_partitions_5.svg/220px-Noncrossing_partitions_5.svg.png)
On considère un ensemble à éléments qui est ordonné de manière cyclique comme les sommets d'un polygone. Une partition de est non croisée (dans la terminologie de Kreweras 1972) si deux parties de la partition ne peuvent pas se croiser au sens suivant : si et appartiennent à un bloc et et à un autre bloc, ils ne sont pas rangés dans l'ordre . En d'autres termes, si l'on trace des arcs reliant et d'une part, et d'autre part, ils ne doivent pas se croiser : ils se croisent si l'ordre est , mais ne se croisent pas si l'ordre est ou . Les partitions non croisées forment un treillis pour l'ordre usuel de raffinement.
Le nombre de partitions non croisées d'un ensemble à éléments est le nombre de Catalan . Le nombre de ces partitions non croisées comportant exactement blocs est le nombre de Narayana .
Polyominos
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/bf/Polyomino_simmetry_006.svg/150px-Polyomino_simmetry_006.svg.png)
Les polyominos parallélogrammes de périmètre sont des tableaux de cellules unités connexes, et dont le contour est fait de deux chemins composés de pas horizontaux et verticaux qui ne se touchent qu'à leurs extrémités (donc deux contours de longueur respectivement). Les polyominos parallélogrammes de périmètre sont en bijection avec les chemins de Dyck de longueur , et les polyominos parallélogrammes de périmètre qui ont colonnes sont comptés par les nombres de Narayana [3].
Série génératrice
La série génératrice des nombres de Narayana est[4] :
- .
Polynômes de Narayana
Les polynômes de Narayana sont les fonctions génératrices des lignes du triangle de Narayana, définis par la formule
- .
Ces polynômes vérifient la relation de récurrence suivante[5] :
avec et . Cette relation s'explique par le fait que les polynômes de Narayana sont liés aux polynômes de Gegenbauer, une famille de polynômes orthogonaux[6].
Bien sûr, vu les interprétations combinatoires précédentes, la valeur du polynôme de Narayana Nn en 1 est , le n-ième nombre de Catalan.
Pages liées
- Tableau triangulaire
- Nombre de Catalan
- Triangle de Catalan
- Nombre de Delannoy
- Nombre de Motzkin
- Nombre de Schröder
- Polyomino
- Triangle de Pascal
- Polynôme de Gegenbauer
Notes et références
Notes
- ↑ Mohanty 2002
- ↑ C'est Kreweras 1970 qui leur attribue ce nom. Riordan, dans son traité Riordan 1968, p. 17, les nomme nombres de Runyon « for my colleague John P. Runyon who encountered these numbers in telephone traffic problem ». Cette information est de Banderier et Schwer 2005.
- ↑ Narayana 1959.
- ↑ suite A001263 de l'OEIS.
- ↑ Sulanke 2002.
- ↑ Kostov, Martínez-Finkelshtein et Shapiro 2009.
Références
- Cyril Banderier et Sylviane Schwer, « Why Delannoy numbers? », Journal of Statistical Planning and Inference, vol. 135, no 1, , p. 40-54 (arXiv math/0411128).
- Sri Gopal Mohanty, « Tadepalli Venkata Narayana 1930-1987 », Journal of Statistical Planning and Inference, vol. 101, nos 1–2, , p. 5.
- Tadepalli Venkata Narayana, « Sur les treillis formés par les partitions d'un entier et leurs applications à la théorie des probabilités », Comptes Rendus de l'Académie des Sciences Paris, vol. 240, , p. 1188-1189.
- Tadepalli Venkata Narayana, Lattice Path Combinatorics with Statistical Applications, University of Toronto Press, coll. « Mathematical Expositions » (no 23), , 104 p. (ISBN 978-0-8020-5405-0).
- Germain Kreweras, « Sur les partitions non croisées d'un cycle », Discrete Mathematics, vol. 1, no 4, , p. 333–350.
- Germain Kreweras, « Sur les éventails de segments », Cahiers du Bureau Universitaire de Recherche Opérationnelle, Institut de Statistique, Université de Paris, no 15, , p. 3-41.
- Vladimir P. Kostov, Andrei Martínez-Finkelshtein et Boris Z. Shapiro, « Narayana numbers and Schur-Szegö composition », Journal of Approximation Theory, vol. 161, no 2, , p. 464-476 (DOI 10.1016/j.jat.2008.10.013, arXiv 0804.1028).
- J. Riordan, Combinatorial Identities, Wiley, .
- Rodica Simion, « Noncrossing partitions », Discrete Mathematics, vol. 217, nos 1–3, , p. 367–409.
- Robert A. Sulanke, « The Narayana distribution », Journal of Statistical Planning and Inference, vol. 101, nos 1–2, , p. 311-326.
Portail des mathématiques