Combinaison avec répétition

En combinatoire — domaine mathématique des dénombrements — une combinaison avec répétition est une combinaison où donc l'ordre des éléments n'importe pas et où, contrairement à une combinaison classique, chaque élément de la combinaison peut apparaître plusieurs fois. Par exemple, lorsque dix dés à six faces (numérotées de 1 à 6) sont jetés, le résultat fourni par ces dix dés, si l'ordre dans lequel sont jetés les dés n'est pas pris en compte, (par exemple un 2, trois 4, deux 5 et quatre 6, sans retenir à quel dé précisément correspond chaque face) est une combinaison des différentes faces apparaissant sur chaque dé, et où chaque face peut apparaître plusieurs fois.

Première approche

Une combinaison avec répétition de k objets pris dans un ensemble E = {x₁, x₂, … , x_n} de n objets discernables est une manière de sélectionner k fois de suite un objet dans E, sans tenir compte de l'ordre des k choix et « avec remise », le même objet pouvant donc être sélectionné plusieurs fois. On obtient ainsi un groupement non ordonné de k objets éventuellement répétés : ce groupement n’est pas un ensemble, la définition en extension d'un ensemble empêchant la répétition des éléments, mais un multiensemble. On peut formaliser cela en notant f(xj) le nombre de fois (éventuellement nul) que l'élément x_j a été choisi, la seule contrainte étant Modèle:Nobr pour avoir un total de k objets, éventuellement répétés :

Modèle:Théorème f s'appelle aussi une combinaison avec répétition de n éléments pris k à k.

Exemple

Dans un jeu de dominos, un domino est une 2-combinaison avec répétition de l'ensemble E = {blanc, 1, 2, 3, 4, 5, 6}. Chaque domino peut être représenté par une application de E dans {0, 1, 2} qui associe à chaque élément de E le nombre de fois où l'élément apparaît sur le domino.
Ainsi, le domino tout blanc est représenté par l'application f définie parModèle:Retraitet le domino {blanc, 1} par l'application f définie parModèle:Retrait

Nombre de combinaisons avec répétition

Première démonstration, par double dénombrement

Supposons que E = {x₁, x₂, … , x_n}. Les k-combinaisons de E avec répétition qui ne contiennent pas x₁ sont en bijection avec les k-combinaisons avec répétition de {x₂, … , x_n} donc il y en a <math>\Gamma_{n-1}^k</math>. Les k-combinaisons de E avec répétition qui contiennent x₁ au moins une fois sont en bijection (en leur enlevant un x₁) avec les (k – 1)-combinaisons de E avec répétition donc il y en a <math>\Gamma_{n}^{k-1}</math> . Le nombre total de k-combinaisons de E avec répétition est la somme de ces deux nombres. On en déduit la relation de récurrence<ref name="Esch">Modèle:Ouvrage.</ref> Modèle:Retrait Le résultat s'en déduit par récurrence sur n + k, compte tenu du fait que pour tout entier naturel <math>k</math>, <math>\Gamma_{1}^k=1</math> et pour tout entier Modèle:Math, <math>\Gamma_{n}^0=1</math>.

Deuxième démonstration, par transformation en une liste de barres et d'étoiles

Les n objets étant numérotés de 1 à n, la k-combinaison avec répétition où le premier objet est choisi k₁ fois, le deuxième k₂ foisModèle:Etc. (avec k₁ + k₂ + … + k_n = k) peut être codée par la liste suivante de k étoiles et n – 1 barres verticales : Modèle:Retrait Par exemple la combinaison avec répétitions <math>\{a,a,b,b,b,d\}</math> d'objets pris dans <math>\{a,b,c,d\}</math> est codée par <math>**\,|***|\,\,|*</math>

Le nombre de tels « codes » est égal au nombre de permutations avec répétition des n + k – 1 éléments : k étoiles indiscernables et n – 1 barres indiscernables. Ce nombre est donc le coefficient multinomial<ref name="Esch" />

Ou encore<ref name=":0">Modèle:Ouvrage.</ref> : c'est le nombre de choix pour les k emplacements des étoiles, parmi les n + k – 1 emplacements de la liste. On trouve alors bien:

Modèle:RetraitCette démonstration, très simple, est une belle application de la démonstration par bijection.

Troisième démonstration, par bijection avec les k-uplets croissants formés sur {1, 2, ..., n}.

Sans perte de généralité, nous pouvons supposer que E = {1, 2, ..., n} (cela revient à choisir un ordre total sur E).

Une autre représentation

Modèle:Section à sourcer À une k-combinaison avec répétition f de E, nous associons le k-uplet croissant (au sens large) Modèle:Retrait & {}_{f(2)\rm{\,fois}} & & {}_{f(n)\rm{\,fois}}\end{matrix}.</math>}} Réciproquement, à un k-uplet croissant (a₁, a₂, … , a_k) d'éléments de E, c'est-à-dire un k-uplet tel que Modèle:Retrait nous pouvons associer l'application f : E → {0, 1, … , k} qui envoie un élément de E sur le nombre de fois où il apparaît dans le k-uplet. Il est alors évident que Modèle:Retrait et donc que f est une k-combinaison avec répétition de E.

Ainsi, il y a une bijection entre l'ensemble des k-combinaisons avec répétition de E et l'ensemble des k-uplets croissants d'éléments de E, ou encore des applications croissantes (au sens large) de {1, 2, … , k} dans E.

Exemple

Un domino peut être représenté de manière unique par un couple croissant (a, b) tel que a ≤ b d'éléments de E = {blanc, 1, 2, 3, 4, 5, 6}.

Application

Nous venons de voir<ref>Une variante plus directe de cette deuxième démonstration est fournie sur Wikiversité Modèle:Infra.</ref> qu'il y a autant de k-combinaisons de E avec répétition que de k-uplets croissants <math>a_1\leqslant a_2\leqslant a_3\cdots \leqslant a_k</math> d'éléments de E. En associant, à un tel k-uplet, le k-uplet d'entiers Modèle:Retrait on obtient une bijection<ref>Modèle:Ouvrage.</ref> entre l'ensemble des k-uplets croissants d'éléments de E et l'ensemble des k-uplets strictement croissants <math>b_1<b_2< b_3\cdots < b_k</math> d'éléments de {1, 2, ..., n + k – 1}. Or le cardinal de ce nouvel ensemble est le nombre de combinaisons sans répétition de k objets pris parmi n + k – 1, c'est-à-dire le coefficient binomial : Modèle:Retrait

Identité mathématique

Grâce à cette deuxième représentation avec les inégalités, nous pouvons déduire une nouvelle formule de combinaisons avec répétition pour <math>k \geqslant 1</math> et <math>n \geqslant 1</math> qui donne lieu à l'identité : Modèle:Retrait\cdots\sum_{a_{1}=1}^{a_{2}}\sum_{a_{0}=1}^{a_{1}} 1</math>}}

Nous pouvons démontrer cette formule par récurrence <math>\forall k \geqslant 1, n \geqslant 1</math>:

• L'initialisation pour <math>n = 1</math> :

Modèle:Retrait Modèle:Retrait\cdots\sum_{a_{1}=1}^{a_{2}}\sum_{a_{0}=1}^{a_{1}} 1=\sum_{a_{k-2}=1}^{1}\cdots\sum_{a_{1}=1}^{a_{2}}\sum_{a_{0}=1}^{a_{1}} 1=\cdots=\sum_{a_{1}=1}^{1}\sum_{a_{0}=1}^{a_{1}} 1=\sum_{a_{0}=1}^{1} 1=1</math>}}

• Hérédité, supposons la propriété vraie au rang <math>n</math>, montrons qu'elle est vraie au rang <math>n+1</math> :

Modèle:Retrait Modèle:Retrait\cdots\sum_{a_{1}=1}^{a_{2}}\sum_{a_{0}=1}^{a_{1}} 1+\sum_{a_{k-2}=1}^{n+1}\sum_{a_{k-3}=1}^{a_{k-2}}\cdots\sum_{a_{1}=1}^{a_{2}}\sum_{a_{0}=1}^{a_{1}} 1</math>}} En posant <math>x=\sum_{a_{k-3}=1}^{a_{k-2}}\cdots\sum_{a_{1}=1}^{a_{2}}\sum_{a_{0}=1}^{a_{1}} 1</math> : Modèle:Retraitx+\sum_{a_{k-2}=1}^{n+1}x</math>}} Modèle:Retrait\cdots\sum_{a_{1}=1}^{a_{2}}\sum_{a_{0}=1}^{a_{1}} 1</math>}} Ce qui démontre l'identité mathématique, et donc le pont entre les coefficients binomiaux et les sommes d'une nouvelle manière.

Quatrième démonstration

Procédons par double dénombrement<ref>Démonstration tirée de Modèle:Ouvrage.</ref>, comme dans la première démonstration ci-dessus.

• Si l'on écrit in extenso les <math>\Gamma_{n}^k</math> combinaisons avec répétition de k éléments parmi n, on écrira <math>k\times\Gamma_{n}^k</math> éléments. Les n éléments jouant un rôle symétrique, chacun apparaîtra donc <math>k\times\Gamma_{n}^k\over n</math> fois. (1)
  Soit x l'un de ces éléments. Calculons d'une autre manière le nombre de fois où il apparaît.
• Parmi les <math>\Gamma_{n}^k</math> combinaisons avec répétition précédentes, le nombre de celles contenant x (une ou plusieurs fois) est <math>\Gamma_{n}^{k-1}</math>. En effet, x étant imposé au moins une fois, on ne choisit plus que k – 1 éléments, distincts ou non, sans ordre, mais toujours parmi n (car rien n'empêche que x soit répété et donc puisse réapparaître). Chacune de ces <math>\Gamma_{n}^{k-1}</math> combinaisons avec répétition contenant au moins une fois x, cela nous assure d'ores et déjà <math>\Gamma_{n}^{k-1}</math> apparitions de x. (2)
• Enlevons maintenant une fois x de chacune de ces <math>\Gamma_{n}^{k-1}</math> combinaisons. Chacune d'entre elles ne contient plus à présent que k – 1 éléments (répétés ou non) ; il nous reste donc en tout <math>(k-1)\Gamma_{n}^{k-1}</math> éléments. Nous n'avons plus d'hypothèse sur les k – 1 éléments restants dans chaque combinaison avec répétition. Chacun des n éléments (en particulier x) joue donc un rôle symétrique et apparaît donc <math>(k-1)\Gamma_{n}^{k-1}\over n</math> fois (3).
• Confrontons nos deux méthodes de calcul : nous avons donc : (1) = (2) + (3), soitModèle:Retrait ce qui nous donne finalement :Modèle:Retrait

Le résultat s'en déduit par récurrence sur k, compte tenu du fait que <math>\Gamma_{n}^0=1</math>.

Algorithme de dénombrement

Le plus efficace et le plus simple, pour calculer le nombre de combinaisons avec répétition, est d'utiliser l'algorithme calculant le nombre de combinaisons sans répétition comme décrit sur la page « Combinaison (mathématiques) ». En effet, comme indiqué ci-dessus, le nombre de combinaisons de k objets parmi n avec répétition est le même que le nombre de combinaisons de k objets parmi n + k – 1 sans répétition.

Autres dénombrements équivalents à celui des combinaisons avec répétition

<math>\Gamma_{n}^k</math> est aussi le nombre de monômes unitaires de degré k formés à partir des n indéterminées X₁, X₂, … , X_n.

C'est aussi le nombre de dérivées partielles d'ordre k d'une fonction de n variables de classe D^k, compte tenu du théorème de Schwarz qui permet de ne pas tenir compte de l'ordre dans lequel sont effectuées les dérivations (en tenant compte de l'ordre, il y en aurait n^k).