En matemáticas , una combinación es una selección de elementos de un conjunto que tiene miembros distintos, de modo que el orden de selección no importa (a diferencia de las permutaciones ). Por ejemplo, dadas tres frutas, digamos una manzana, una naranja y una pera, hay tres combinaciones de dos que se pueden extraer de este conjunto: una manzana y una pera; una manzana y una naranja; o una pera y una naranja. Más formalmente, una k -combinación de un conjunto S es un subconjunto de k elementos distintos de S. Por lo tanto, dos combinaciones son idénticas si y solo si cada combinación tiene los mismos miembros. (La disposición de los miembros en cada conjunto no importa). Si el conjunto tiene n elementos, el número de k -combinaciones, denotado por o , es igual al coeficiente binomial.
que se puede escribir usando factoriales como siempre que , y que es cero cuando . Esta fórmula se puede derivar del hecho de que cada k -combinación de un conjunto S de n miembros tiene permutaciones así o bien . [1] El conjunto de todas las k -combinaciones de un conjunto S se denota a menudo por .
Una combinación es una combinación de n cosas tomadas k a la vez sin repetición . Para referirse a combinaciones en las que se permite la repetición, a menudo se utilizan los términos k -combinación con repetición, k - multiconjunto , [2] o k -selección, [3] . [4] Si, en el ejemplo anterior, fuera posible tener dos de cualquier tipo de fruta, habría 3 2-selecciones más: una con dos manzanas, una con dos naranjas y una con dos peras.
Aunque el conjunto de tres frutas era lo suficientemente pequeño como para escribir una lista completa de combinaciones, esto se vuelve poco práctico a medida que aumenta el tamaño del conjunto. Por ejemplo, una mano de póquer se puede describir como una combinación de 5 ( k = 5) cartas de una baraja de 52 cartas ( n = 52). Las 5 cartas de la mano son todas distintas, y el orden de las cartas en la mano no importa. Hay 2.598.960 combinaciones de este tipo, y la probabilidad de obtener una mano cualquiera al azar es de 1/2.598.960.
El número de k combinaciones de un conjunto dado S de n elementos se denota a menudo en textos de combinatoria elemental por , o por una variación como , , , o incluso [5] (la última forma es estándar en los textos en francés, rumano, ruso y chino). [6] [7] Sin embargo, el mismo número aparece en muchos otros contextos matemáticos, donde se denota por (a menudo leído como " n elige k "); notablemente aparece como un coeficiente en la fórmula binomial , de ahí su nombre coeficiente binomial. Se puede definir para todos los números naturales k a la vez por la relación
de lo cual se desprende claramente que
y más allá
para k > n .
Para ver que estos coeficientes cuentan k combinaciones de S , primero se puede considerar una colección de n variables distintas X s etiquetadas por los elementos s de S , y expandir el producto sobre todos los elementos de S :
tiene 2 n términos distintos correspondientes a todos los subconjuntos de S , cada subconjunto da el producto de las variables correspondientes X s . Ahora, al establecer todas las X s iguales a la variable no etiquetada X , de modo que el producto se convierte en (1 + X ) n , el término para cada k -combinación de S se convierte en X k , de modo que el coeficiente de esa potencia en el resultado es igual al número de tales k -combinaciones.
Los coeficientes binomiales se pueden calcular explícitamente de varias maneras. Para obtenerlos todos para las expansiones hasta (1 + X ) n , se puede utilizar (además de los casos básicos ya dados) la relación de recursión
para 0 < k < n , lo cual se sigue de (1 + X ) n = (1 + X ) n − 1 (1 + X ) ; esto conduce a la construcción del triángulo de Pascal .
Para determinar un coeficiente binomial individual, es más práctico utilizar la fórmula
El numerador da el número de k -permutaciones de n , es decir, de secuencias de k elementos distintos de S , mientras que el denominador da el número de dichas k -permutaciones que dan la misma k -combinación cuando se ignora el orden.
Cuando k excede n /2, la fórmula anterior contiene factores comunes al numerador y al denominador, y al cancelarlos se obtiene la relación
para 0 ≤ k ≤ n . Esto expresa una simetría que es evidente a partir de la fórmula binomial, y también puede entenderse en términos de k -combinaciones tomando el complemento de dicha combinación, que es una ( n − k ) -combinación.
Finalmente, hay una fórmula que muestra esta simetría directamente y tiene el mérito de ser fácil de recordar:
donde n ! denota el factorial de n . Se obtiene de la fórmula anterior multiplicando denominador y numerador por ( n − k ) !, por lo que ciertamente es computacionalmente menos eficiente que esa fórmula.
La última fórmula se puede entender directamente, considerando las n ! permutaciones de todos los elementos de S . Cada una de estas permutaciones da una k -combinación seleccionando sus primeros k elementos. Hay muchas selecciones duplicadas: cualquier permutación combinada de los primeros k elementos entre sí, y de los ( n − k ) elementos finales entre sí produce la misma combinación; esto explica la división en la fórmula.
De las fórmulas anteriores se deducen las relaciones entre los números adyacentes en el triángulo de Pascal en las tres direcciones:
Junto con los casos básicos , estos permiten el cálculo sucesivo de respectivamente todos los números de combinaciones del mismo conjunto (una fila en el triángulo de Pascal), de k combinaciones de conjuntos de tamaños crecientes y de combinaciones con un complemento de tamaño fijo n − k .
Como ejemplo específico, se puede calcular el número de manos de cinco cartas posibles a partir de una baraja estándar de cincuenta y dos cartas como: [8]
Alternativamente, se puede utilizar la fórmula en términos de factoriales y cancelar los factores en el numerador contra partes de los factores en el denominador, después de lo cual solo se requiere la multiplicación de los factores restantes:
Otro cálculo alternativo, equivalente al primero, se basa en escribir
Lo cual da
Si se evalúa en el orden siguiente, 52 ÷ 1 × 51 ÷ 2 × 50 ÷ 3 × 49 ÷ 4 × 48 ÷ 5 , esto se puede calcular utilizando únicamente aritmética de números enteros. La razón es que cuando se produce cada división, el resultado intermedio que se produce es en sí mismo un coeficiente binomial, por lo que nunca se producen residuos.
Utilizando la fórmula simétrica en términos de factoriales sin realizar simplificaciones se obtiene un cálculo bastante extenso:
Se pueden enumerar todas las k -combinaciones de un conjunto dado S de n elementos en un orden fijo, lo que establece una biyección a partir de un intervalo de números enteros con el conjunto de esas k -combinaciones. Suponiendo que S está ordenado, por ejemplo S = { 1, 2, ..., n }, hay dos posibilidades naturales para ordenar sus k -combinaciones: comparando primero sus elementos más pequeños (como en las ilustraciones anteriores) o comparando primero sus elementos más grandes. La última opción tiene la ventaja de que añadir un nuevo elemento más grande a S no cambiará la parte inicial de la enumeración, sino que simplemente añadirá las nuevas k -combinaciones del conjunto más grande después de las anteriores. Repitiendo este proceso, la enumeración se puede extender indefinidamente con k -combinaciones de conjuntos cada vez más grandes. Si además se toma que los intervalos de los números enteros comienzan en 0, entonces la k -combinación en un lugar dado i en la enumeración se puede calcular fácilmente a partir de i , y la biyección así obtenida se conoce como el sistema de numeración combinatoria . También se conoce como "rango"/"ranking" y "unranking" en matemáticas computacionales. [9] [10]
Existen muchas formas de enumerar k combinaciones. Una forma es hacer un seguimiento de los k números de índice de los elementos seleccionados, comenzando con {0 .. k −1} (basado en cero) o {1 .. k } (basado en uno) como la primera k combinación permitida. Luego, pasar repetidamente a la siguiente k combinación permitida incrementando el número de índice más pequeño para el cual esto no crearía dos números de índice iguales, al mismo tiempo que se restablecen todos los números de índice más pequeños a sus valores iniciales.
Una k - combinación con repeticiones , o k - multicombinación , o multisubconjunto de tamaño k de un conjunto S de tamaño n, está dada por un conjunto de k elementos no necesariamente distintos de S , donde el orden no se toma en cuenta: dos secuencias definen el mismo multiconjunto si una puede obtenerse de la otra permutando los términos. En otras palabras, es una muestra de k elementos de un conjunto de n elementos permitiendo duplicados (es decir, con reemplazo) pero sin tener en cuenta diferentes ordenaciones (por ejemplo, {2,1,2} = {1,2,2}). Asociemos un índice a cada elemento de S y pensemos en los elementos de S como tipos de objetos, entonces podemos dejar que denote el número de elementos de tipo i en un multisubconjunto. El número de multisubconjuntos de tamaño k es entonces el número de soluciones enteras no negativas (lo que permite cero) de la ecuación diofántica : [11]
Si S tiene n elementos, el número de dichos k -multisubconjuntos se denota por
una notación análoga al coeficiente binomial que cuenta k subconjuntos. Esta expresión, n multichoose k , [12] también se puede expresar en términos de coeficientes binomiales:
Esta relación se puede demostrar fácilmente utilizando una representación conocida como estrellas y barras . [13]
Una solución de la ecuación diofántica anterior se puede representar con estrellas , un separador (una barra ), luego más estrellas, otro separador, y así sucesivamente. El número total de estrellas en esta representación es k y el número de barras es n - 1 (ya que una separación en n partes necesita n-1 separadores). Por lo tanto, una cadena de k + n - 1 (o n + k - 1) símbolos (estrellas y barras) corresponde a una solución si hay k estrellas en la cadena. Cualquier solución se puede representar eligiendo k de k + n − 1 posiciones para colocar estrellas y rellenando las posiciones restantes con barras. Por ejemplo, la solución de la ecuación ( n = 4 y k = 10) se puede representar mediante [14]
El número de estas cadenas es el número de formas de colocar 10 estrellas en 13 posiciones, que es el número de 10 multisubconjuntos de un conjunto con 4 elementos.
Al igual que con los coeficientes binomiales, existen varias relaciones entre estas expresiones de selección múltiple. Por ejemplo, para ,
Esta identidad se desprende del intercambio de las estrellas y las barras en la representación anterior. [15]
Por ejemplo, si tiene cuatro tipos de donas ( n = 4) en un menú para elegir y desea tres donas ( k = 3), la cantidad de formas de elegir las donas con repetición se puede calcular como
Este resultado se puede verificar enumerando todos los subconjuntos de 3 elementos del conjunto S = {1,2,3,4}. Esto se muestra en la siguiente tabla. [16] La segunda columna enumera los anillos que realmente eligió, la tercera columna muestra las soluciones enteras no negativas de la ecuación y la última columna proporciona la representación de las soluciones con estrellas y barras. [17]
El número de k -combinaciones para todos los k es el número de subconjuntos de un conjunto de n elementos. Hay varias formas de ver que este número es 2 n . En términos de combinaciones, , que es la suma de la n ésima fila (contando desde 0) de los coeficientes binomiales en el triángulo de Pascal . Estas combinaciones (subconjuntos) se enumeran por los 1 dígitos del conjunto de números de base 2 contando desde 0 hasta 2 n − 1, donde cada posición de dígito es un elemento del conjunto de n .
Dadas 3 cartas numeradas del 1 al 3, hay 8 combinaciones distintas ( subconjuntos ), incluido el conjunto vacío :
Representando estos subconjuntos (en el mismo orden) como numerales de base 2:
Existen varios algoritmos para seleccionar una combinación aleatoria de un conjunto o lista determinados. El muestreo por rechazo es extremadamente lento para muestras de gran tamaño. Una forma de seleccionar una k -combinación de manera eficiente de una población de tamaño n es iterar sobre cada elemento de la población y, en cada paso, seleccionar ese elemento con una probabilidad que cambia dinámicamente (consulte Muestreo de yacimientos ). Otra forma es seleccionar un entero aleatorio no negativo menor que y convertirlo en una combinación utilizando el sistema de números combinatorios .
Una combinación también puede considerarse como una selección de dos conjuntos de elementos: los que van en el contenedor elegido y los que van en el contenedor no elegido. Esto se puede generalizar a cualquier número de contenedores con la restricción de que cada elemento debe ir exactamente en un contenedor. La cantidad de formas de colocar objetos en los contenedores está dada por el coeficiente multinomial.
donde n es el número de artículos, m es el número de contenedores y es el número de artículos que van en el contenedor i .
Una forma de ver por qué se cumple esta ecuación es numerar primero los objetos arbitrariamente de 1 a n y poner los objetos con números en el primer contenedor en orden, los objetos con números en el segundo contenedor en orden, y así sucesivamente. Hay numeraciones distintas, pero muchas de ellas son equivalentes, porque solo importa el conjunto de elementos en un contenedor, no su orden en él. Cada permutación combinada de los contenidos de cada contenedor produce una forma equivalente de colocar los elementos en los contenedores. Como resultado, cada clase de equivalencia consta de numeraciones distintas, y el número de clases de equivalencia es .
El coeficiente binomial es el caso especial en el que k elementos van al contenedor elegido y los elementos restantes van al contenedor no elegido: