Hay una forma eficiente y sencilla, $O(n)$ solución.
Al expandir el polinomio
$$f_{n,r} = \left(x_1+x_2+\cdots+x_r\right)^n = \sum_{i_1,i_2,\ldots,i_r} \binom{n}{i_1,i_2,\ldots,i_r} x_1^{i_1}x_2^{i_2}\cdots x_r^{i_r},$$
para cada uno de los $\binom{r}{y}$ subconjuntos de $y$ de las variables habrá un término como este
$$\binom{n}{1,1,\ldots,1,i_{y+1},\ldots, i_r}\left(x_1x_2\cdots x_y\ x_{y+1}^{i_{y+1}}\cdots x_r^{i_r}\right)$$
cuyo coeficiente da el número de veces al menos $y$ de las variables aparecen una sola vez. Este coeficiente se puede encontrar diferenciando $f_{n,r}$ con respecto a cada uno de esos $y$ variables, estableciendo los valores de esas variables a $0$ y estableciendo los valores de los restantes $r-y$ variables a $1$ porque
$$\frac{\partial^y}{\partial x_1\partial x_2\cdots \partial x_y}\left(x_1x_2\cdots x_y\ x_{y+1}^{i_{y+1}}\cdots x_r^{i_r}\right) = x_{y+1}^{i_{y+1}}\cdots x_r^{i_r}$$
evalúa a $1$ y todos los demás términos tienen al menos uno de los primeros $y$ variables como un factor, de ahí que evalúen a $0$ .
Calculando esta derivada para la expresión original de $f_{n,r}$ produce (utilizando el factorial descendente notación para el coeficiente)
$$\eqalign{&\frac{\partial^y}{\partial x_1\partial x_2\cdots \partial x_y} \left(x_1+x_2+\cdots+x_r\right)^n \\&= n(n-1)\cdots(n-y+1)\left(x_1+x_2+\cdots+x_r\right)^{n-y} \\ &= n_{(y)}\left(x_1+x_2+\cdots+x_r\right)^{n-y}. }$$
Cuando $y$ de la $x_i$ igual $0$ y el resto $r-y$ igual $1$ el lado derecho se evalúa como
$$ n_{(y)}(r-y)^{n-y}.$$
Multiplicando por $\binom{r}{y}$ para tener en cuenta todas las combinaciones posibles de $y$ variables y aplicando el Principio de inclusión exclusión ("PIE") produce el número de veces $y$ las variables aparecen exactamente una vez, que es
$$\binom{r}{y}\sum_{j=y}^{\min(r,n)} (-1)^{j-y} (r-j)^{n-j} n_{(j)}\binom{r-y}{j-y}.$$
Dividiendo esto por $r^n$ da las probabilidades asociadas. El esfuerzo computacional es $O(\min(r,n)-y)$ .
¡Nada es gratis! Como en la mayoría de las aplicaciones de la PIE, se trata de una suma alternada de términos que pueden variar radicalmente de tamaño, siendo el resultado final mucho menor que los términos más grandes. Puede haber una pérdida catastrófica de precisión, por lo que se necesita aritmética de alta precisión (o, mejor aún, racional exacta). Con eso disponible, la implementación es notablemente corta. Aquí está en Mathematica :
p[n_, k_] := n^k; p[n_, 0] := 1;
f[n_, d_, k_] := Binomial[d,k]
Sum[(-1)^(j-k) Binomial[d-k,j-k] FactorialPower[n,j] p[d-j,n-j],{j,k,Min[d,n]}]
Como ejemplo, vamos a trazar la distribución completa para un $n$ y $r$ :
With[{n = 100, r = 100}, DiscretePlot[f[n, r, y]/r^n, {y, 0, Min[n, r]}]]
Como ejemplo, consideremos el caso $n=4$ , $r=3$ y los valores de $y$ de $0$ a través de $3$ . La expansión de $f_{4,3}$ es
$$x_1^4+x_2^4+x_3^4 \\\color{blue}{+4 x_2 x_1^3+4 x_3 x_1^3+4 x_1 x_2^3+4 x_3x_2^3+4 x_1 x_3^3+4 x_2x_3^3}\\+6 x_2^2 x_1^2+6 x_2^2 x_3^2+6 x_3^2 x_1^2\\\color{red}{+12 x_1 x_2 x_3^2 +12 x_1 x_2^2 x_3 +12 x_1^2 x_2 x_3}.$$
Considere el cálculo para $y=1$ .
-
Los términos con exactamente una $x_1$ en ellos son
$$\color{blue}{4 x_1 x_2^3+4 x_1 x_3^3}+\color{red}{12 x_1 x_2 x_3^2 +12 x_1 x_2^2 x_3}.$$
Estos coeficientes suman $4+4+12+12=32$ . Así, estimaríamos el número total de términos con una sola de las $x_i$ sería $3\times 32=96$ .
-
Todavía no hemos terminado. Los términos con una $x_1$ y otro $x_i$ en ellos son
$$\color{red}{12 x_1 x_2 x_3^2 + 12 x_1 x_2^2 x_3}.$$
Esto nos dice que cuando contamos el $x_1$ términos anteriores, hemos contado de más por $12+12 = 24$ . Por lo tanto, el sobreconteo total es $3\times 24 = 72$ .
-
Nosotros son hecho ahora, porque no hay términos posibles con exactamente una instancia de tres lados.
En consecuencia, el recuento de $y=1$ es
$$96 - 72 + 0 = 24.$$
En efecto, se trata de la suma de los coeficientes de
$$\color{blue}{4 x_2 x_1^3+4 x_3 x_1^3+4 x_1 x_2^3+4 x_3x_2^3+4 x_1 x_3^3+4 x_2x_3^3}.$$