Estoy buscando una explicación intuitiva para la respuesta que he encontrado a esta pregunta que se me ha ocurrido:
Tengo una matriz B con $m$ filas y $k$ columnas, con entradas tomadas del conjunto ${0,1, \ldots, n}$ (pero puede ser cualquier conjunto de $n+1 $ símbolos en lugar de números). Los números pueden repetirse.
Puedo permutar cualquiera de las filas, es decir, intercambiar cualquier entrada con cualquier entrada de la misma fila, pero no con una entrada de otra fila. La única restricción es que no puedo tener ninguna columna que contenga sólo ceros.
He aquí algunas anotaciones. Sea $z_r$ contar el número de ceros del $r$ 'th row. Además, para $c=1, \ldots n$ deje $T_{rc}$ contar el número de $c$ 's en el $r$ 'th row.
Sin la restricción, es fácil ver que el número de permutaciones es $$P = \frac{k!^m}{\prod_{r=1}^m \prod_{c=0}^n T_{rc}!}.$$
Aparentemente, la respuesta final es multiplicar este número por la siguiente función hipergeométrica:
$$_mF_{m-1} [-z_1 -z_2 \ldots -z_m; -k -k \ldots -k](1).$$
Encontré esto a través de un enfoque de fuerza bruta y algunas simplificaciones con Mathematica, pero realmente no entiendo por qué debería ser cierto. También se puede expresar como una suma finita de factoriales decrecientes.
¿Existe alguna propiedad combinatoria de las funciones hipergeométricas que lo explique? ¿O hay una forma más sencilla de expresar la respuesta? ¿O quizá mi problema es un caso especial de un problema más general?