Aquí hay otro enfoque, uno que no implica recursividad. Sin embargo, todavía utiliza sumas y productos cuyas longitudes dependen de los parámetros. Primero daré la expresión, luego explicaré.
Tenemos
P(|L1∩L2∩⋯∩Lm|=k)=(nk)∏ni=1(nai)∑j=0min(a1,…,am)−k(−1)j(n−kj)∏l=1n(n−j−kal−j−k).
EDITAR: Al final de escribir todo esto, me di cuenta de que podemos consolidar un poco la expresión anterior combinando los coeficientes binomiales en probabilidades hipergeométricas y coeficientes trinomiales. Para lo que vale, la expresión revisada es
Aquí es una variable aleatoria hipergeométrica donde se toman sorteos de una población de tamaño tiene estados de éxito.Hyp(n,j+k,al)alnj+k
∑j=0min(a1,…,am)−k(−1)j(nj,k,n−j−k)∏l=1nP(Hyp(n,j+k,al)=j+k).
Hyp(n,j+k,al)alnj+k
Derivación
Consigamos alguna notación para hacer que los argumentos combinatorios sean un poco más fáciles de rastrear (con suerte). En todo momento, consideramos y fijos. Usaremos para denotar la colección de -tuplas ordenadas , donde cada , satisfacea 1 , … , a m C ( I ) m ( L 1 , … , L m ) L i ⊆ SSa1,…,amC(I)m(L1,…,Lm)Li⊆S
- |Li|=ai ; y
- L1∩⋯∩Lm=I .
También usaremos para una colección idéntica, excepto que requerimos lugar de igualdad. L 1 ∩⋯∩ L m ⊇IC′(I)L1∩⋯∩Lm⊇I
Una observación clave es que es relativamente fácil de contar. Esto se debe a que la condición es equivalente a para todo , por lo que, en cierto sentido, esto elimina las interacciones entre diferentes valores de . Para cada , el número de cumple el requisito es , ya que podemos construir tal eligiendo un subconjunto de de tamañoy luego unificante con . Resulta que
L 1 ∩⋯∩ L m ⊇I L i ⊇Iiii L i ( | S | - | I |C′(I)L1∩⋯∩Lm⊇ILi⊇IiiiLiLiS∖Iai-| Yo| Yo| C′(I)| =n∏i=1(|S|-|I|(|S|−|I|ai−|I|)LiS∖Iai−|I|I
|C′(I)|=∏i=1n(|S|−|I|ai−|I|).
Ahora nuestra probabilidad original se puede expresar mediante siguiente manera:
P ( | L 1 ∩ L 2 ∩ ⋯ ∩ L m | = k ) = ∑ I : | Yo | = k | C ( I ) |C
P(|L1∩L2∩⋯∩Lm|=k)=∑I:|I|=k|C(I)|∑all I⊆S|C(I)|.
Podemos hacer dos simplificaciones aquí de inmediato. Primero, el denominador es el mismo que
Segundo, un argumento de permutación muestra quesolo depende de través de la cardinalidad. Como hay subconjuntos de tienen cardinalidad , se deduce que
donde es un subconjunto arbitrario y fijo de tiene cardinalidadEl | C(I)| Yo| Yo| (n
|C′(∅)|=∏i=1n(|S|ai)=∏i=1n(nai).
|C(I)|I|I| Sk∑I:| Yo| =k| C(I)| = ( n(nk)SkI0Sk∑I:|I|=k|C(I)|=(nk)|C(I0)|,
I0Sk .
Dando un paso atrás, ahora hemos reducido el problema a mostrar que
|C(I0)|=∑j=0min(a1,…,am)−k(−1)j(n−kj)∏l=1n(n−j−kal−j−k).
Sean los subconjuntos distintos de formados al agregar exactamente un elemento a . Entonces
(Esto solo dice que si , entonces contiene pero tampoco contiene ningún elemento adicional.) Ahora hemos transformado el problema de conteo un problema de conteo , que sabemos más sobre cómo manejarlo. Más específicamente, tenemos
J1,…,Jn−kSI0
C(I0)=C′(I0)∖(⋃i=1n−kC′(Ji)).
L1∩⋯∩Lm=I0L1∩⋯∩LmI0CC′|C(I0)|=|C′(I0)|−∣∣∣⋃i=1n−kC′(Ji)∣∣∣=∏l=1n(n−kal−k)−∣∣∣⋃i=1n−kC′(Ji)∣∣∣.
Podemos aplicar inclusión-exclusión para manejar el tamaño de la expresión de unión anterior. La relación crucial aquí es que, para cualquier ,
Esto se debe a que si contiene un número de , entonces también contiene su unión. También observamos que el conjunto tiene tamaño. Por lo tanto
I⊆{1,…,n−k}
⋂i∈IC′(Ji)=C′(⋃i∈IJi).
L1∩⋯∩LmJi⋃i∈IJi|I0|+|I|=k+|I|∣∣∣⋃i=1n−kC′(Ji)∣∣∣=∑∅≠I⊆{1,…,n−k}(−1)|I|−1∣∣∣⋂i∈IC′(Ji)∣∣∣=∑j=1n−k∑I:|I|=j(−1)j−1∏l=1n(n−j−kal−j−k)=∑j=1n−k(−1)j−1(n−kj)∏l=1n(n−j−kal−j−k).
(Podemos restringir los valores aquí ya que el producto de los coeficientes binomiales es cero a menos que para todo , es decir, .)
jj≤al−klj≤min(a1,…,am)−k
Finalmente, sustituyendo la expresión al final en la ecuación porarriba y consolidando la suma, obtenemos
como se afirma.|C(I0)|
|C(I0)|=∑j=0min(a1,…,am)−k(−1)j(n−kj)∏l=1n(n−j−kal−j−k)