Como contraposición a la generación de funciones, personalmente aprendí a resolver esta cuestión a través de la inclusión a la exclusión.
Estábamos buscando el número entero de soluciones del sistema:
$\begin{cases} x_1+x_2+\dots+x_{10}=25\\ 1\leq x_i\leq 6&\text{for all}~i\end{cases}$
A través de un cambio de variable, en su lugar, tenemos el sistema de $\begin{cases}y_1+y_2+\dots+y_{10}=15\\ 0\leq y_i\leq 5\end{cases}$
Se aproxima a través de la inclusión-exclusión en los eventos que el correspondiente límite superior condiciones son violados. Deje $S$ estar donde nos ignorar cualquier cota superior de condiciones. Deje $A_i$ ser el conjunto donde el $i$'th límite superior condición es violado. El total sin límite superior de condiciones violado es:
$$|S|-\sum\limits_{i=1}^{10}|A_i|+\sum\limits_{i=1}^{10}\sum\limits_{j=i+1}^{10}|A_i\cap A_j| - \sum\limits_{i=1}^{10}\sum\limits_{j=i+1}^{10}\sum\limits_{k=j+1}^{10}|A_i\cap A_j\cap A_k|+\dots$$
si no tenemos un límite superior de condiciones violado, hay $\binom{10+15-1}{15}$ soluciones. Si una cota superior de la condición es violado, de escoger uno. Cada uno de los cuales contará con un total de $\binom{10+9-1}{9}$ soluciones para un total de $\binom{10}{1}\binom{18}{9}$ necesidad de ser retirado de la cuenta. Si dos de límite superior de condiciones son violados, recoger los cuales dos de ellos son. Cada uno de los cuales contará con un total de $\binom{10+3-1}{3}$ soluciones para un total de $\binom{10}{2}\binom{12}{3}$ necesidad de añadir. Tres de límite superior de condiciones de ser al mismo tiempo violado es imposible.
Esto le da, de nuevo, la solución de:
$$\binom{10}{0}\binom{24}{15}-\binom{10}{1}\binom{18}{9}+\binom{10}{2}\binom{12}{3}$$
La explicación para el último término de esta comprensión, que había sustraído de la misma "malos resultados" de su total demasiadas veces lo contrario. Por qué usamos un $3$ sería de cómo vamos a resolver la cuestión de saber cuántos violar la $i$'th y $j$'th límite superior de condiciones. Supongamos $i=1$$j=2$, entonces tenemos el sistema:
$\begin{cases} y_1+y_2+\dots+y_{10}=15\\ 6\leq y_1\\ 6\leq y_2\\ 0\leq y_3\\ \vdots \\ 0\leq y_{10}\end{cases}$
Después de un cambio de variable, tenemos el sistema
$\begin{cases} z_1+z_2+\dots+z_{10}=3\\ 0\leq z_i\end{cases}$ que es de una forma conocida.