Composition (combinatoire)
En mathématiques, et notamment en combinatoire, une composition d'un entier positif est une représentation de comme somme d'une suite finie d'entiers strictement positifs. Ainsi, (1,2,1) est une composition de 4=1 2 1. Deux suites qui diffèrent par l'ordre de leurs parts sont considérées comme des compositions différentes. Ainsi, (2,1,1) est une autre composition de l'entier 4. Les compositions diffèrent donc des partitions d'entiers qui considèrent des sommes sans tenir compte de l'ordre de leurs termes.
La propriété principale est que le nombre de compositions d'un entier est , et donc que les compositions sont en bijection avec les parties d'un ensemble à éléments.
Définition
[modifier | modifier le code]Une composition d'un entier naturel positif est une suite d'entiers strictement positifs tels que . Chaque est une partie ou un sommant de la composition et l'entier est sa longueur.
Exemples
[modifier | modifier le code]Les seize compositions de 5 sont :
- 5
- 4 1
- 3 2
- 3 1 1
- 2 3
- 2 2 1
- 2 1 2
- 2 1 1 1
- 1 4
- 1 3 1
- 1 2 2
- 1 2 1 1
- 1 1 3
- 1 1 2 1
- 1 1 1 2
- 1 1 1 1 1.
Les sept partitions de 5:
- 5
- 4 1
- 3 2
- 3 1 1
- 2 2 1
- 2 1 1 1
- 1 1 1 1 1.
Nombre de compositions
[modifier | modifier le code]Le nombre de composition de l’entier est .
Voici une démonstration de cette propriété utilisant la méthode des étoiles et des barres. On considère une suite de points (ou étoiles), et on choisit de placer ou de ne pas placer une barre verticale entre des points. Par exemple, pour , on peut placer trois barres comme suit :
Une part d'une composition est formée du nombre de points qui sont contigus. Dans l'exemple, la composition est égale à (2,2,1,3). De manière générale, il y a positions où l'on peut choisir de placer ou de ne pas placer une barre de séparation ; ceci fait choix possibles de séparations et comme les choix déterminent les compositions, cela fait compositions[1].
La démonstration montre aussi que le nombre de compositions d'un entier formées de parts est égal à . Donald Knuth, dans le volume 4a de son traité[2], s'intéresse à la génération de toutes les compositions, sous des contraintes variées.
Bijection avec les écritures binaires
[modifier | modifier le code]Pour noter la représentation graphique ci-dessus, on peut convenir d'écrire un « 1 » s'il n'y a pas de barre de séparation, et un « 0 » dans le cas contraire. Ainsi, la composition (2,2,1,4) de 9 est représenté par la suite de 8 chiffres binaires 10100111 (il y a autant de 0 dans « 10100111 » qu'il y a de virgules dans « (2,2,1,4) »).
Voir aussi
[modifier | modifier le code]- Partition d'entier
- Méthode des étoiles et des barres
- Combinaison avec répétition (une -combinaison avec répétition de objets est une suite d'entiers positifs ou nuls tels que ).
Notes
[modifier | modifier le code]Les compositions d'entiers sont un objet combinatoire simple, et se trouvent dans de nombreux livres de combinatoire de base. Louis Comtet en parle dans le premier volume de son livre[3]. Knuth[2] y consacre une section. Un ouvrage entier a été consacré aux compositions et à ses variantes[4].
Références
[modifier | modifier le code]- De manière plus formelle, il y a bijection entre les compositions de et les suites avec , et celles-ci sont en bijection avec les sous-ensembles de .
- Knuth 2011, Section7.2.1.3. Generation all combinations, p. 355-389.
- Comtet 1970, tome I, ex. 22, p. 132.
- Heubach et Mansour 2009.
Bibliographie
[modifier | modifier le code]- Louis Comtet, Analyse combinatoire, Tomes I et II, Paris, Presses Universitaires de France, coll. « Sup - Le Mathématicien »,
- Donald E. Knuth, The Art of Computer Programming, vol. 4A : Combinatorial Algorithms, Part 1, Addison-Wesley, (ISBN 978-0-201-03804-0 et 0-201-03804-8, présentation en ligne)
- Silvia Heubach et Toufik Mansour, Combinatorics of Compositions and Words, Boca Raton, FL, CRC Press, coll. « Discrete Mathematics and its Applications », , 504 p. (ISBN 978-1-4200-7267-9, zbMATH 1184.68373)
Liens externes
[modifier | modifier le code]- Partition and composition calculator
- Partitions d'entiers sur le site Math en jeans.