Números catalanes usando la recurrencia.

Un jugador lanza una moneda, gana 1 $ si sale cara y pierde 1 $ si sale cruz. sabemos que tienen t colas y k + t cabezas, ganando así k $ . Las formas totales en que esto podría haber sucedido es ( 2 t + k t ) y el número de formas en que llegaron k $ por primera vez en el último lanzamiento que hicieron (llámese a esto "la restricción catalana") viene dado por los números catalanes: ( 2 t + k 1 t ) ( 2 t + k 1 t 1 ) . Ver aquí: Probabilidad de que la caminata aleatoria alcance el estado k por primera vez en el paso norte .

Ahora deja norte ( k , t ) sea ​​el número de formas en que llegan a k por primera vez en lanzamiento 2 t + k (que sabemos por otros medios son los números catalanes generalizados). Luego, condicionando en el primer lanzamiento, obtenemos la recurrencia:

(1) norte ( k , t ) = norte ( k 1 , t ) + norte ( k + 1 , t 1 )

Tanto el número total de caminos (formas totales de llegar a k $ en 2 t + k tiradas), así como los caminos con la constricción catalana (modos de llegar a k $ por primera vez después 2 t + k lanzamientos) satisfacen la recurrencia anterior. La única diferencia está en las condiciones iniciales. Para ambas series, tenemos:

norte ( 0 , 0 ) = 1

Por caminos con la limitación catalana;

norte ( 0 , t ) = 0 t > 0

Mientras que para rutas sin restricciones;

norte ( 0 , t ) = ( 2 t t )

Debe haber una manera de pasar de la recurrencia en la ecuación (1) a las soluciones para los conteos de los dos tipos de caminos (dependiendo de las condiciones iniciales que sustituyamos), usando funciones generadoras u otras técnicas. ¿Hay alguna forma de hacer esto?


Tenga en cuenta que la respuesta de @robjohn en la pregunta vinculada anteriormente hace esto, pero usa la interpretación de que estos son caminos en la cuadrícula. Esperaba una solución que no dependiera de esta intuición y solo de la ecuación (1) con las condiciones iniciales.


Especificando las condiciones iniciales de forma explícita. Además de la recurrencia dada por la ecuación (1) que cumplen ambas series, tenemos las siguientes condiciones iniciales:

Caso-1: Caminos que satisfacen la restricción catalana.

norte ( 0 , 0 ) = 1
norte ( 0 , t ) = 0 t > 0

Sabemos que la solución de la recurrencia en la ecuación (1) con estas condiciones iniciales es:

norte ( k , t ) = ( 2 t + k 1 t ) ( 2 t + k 1 t 1 )

Caso-2: Todos los caminos (sin restricción).

norte ( 0 , 0 ) = 1
norte ( 0 , t ) = ( 2 t t ) t > 0

Sabemos que la solución de la recurrencia en la ecuación (1) con estas condiciones iniciales es:

norte ( k , t ) = ( 2 t + k t )

¿Qué quieres decir con "Ahora, deja norte ( k , t ) sea ​​el número de formas (que sabemos por otros medios son los números catalanes generalizados)." ¿El número de formas de qué? Tan pronto como aclares esto, estoy seguro de que alguien responderá de golpe.
@JohnSamples: agregó algunas aclaraciones en la pregunta. Déjame saber si está claro ahora.
Bien. Aunque, de lo que se trata es de sacar los números catalanes de aquí, así que F ( 0 , y ) = 0 , no los números catalanes.
@PTDS: condiciones iniciales agregadas para las dos series explícitamente. En su notación, F ( 2 , 2 ) es el número de formas de ganar 2 $ obteniendo 2 cruces (es decir, 4 caras). La primera serie tiene la restricción catalana. Entonces, el número de formas es ( 5 2 ) ( 5 1 ) = 5 . Mientras que para la segunda serie, es simplemente ( 6 2 ) = 15

Respuestas (1)

Estamos tratando de resolver la ecuación funcional

F ( norte , k ) = F ( norte 1 , k ) + F ( norte + 1 , k 1 )
con diferentes condiciones de contorno.

Caso 1

F ( 0 , k ) = { 1 k = 0 0 de lo contrario

Caso 2

F ( 0 , k ) = { 1 k = 0 ( 2 k k ) de lo contrario

Definir la función generadora

F norte ( X ) = k = 0 F ( norte , k ) X k

Multiplica la ecuación original por X k y suma k 1 para obtener

k 1 F ( norte , k ) X k = k 1 F ( norte 1 , k ) X k + k 1 F ( norte + 1 , k 1 ) X k

O,

F norte ( X ) 1 = F norte 1 ( X ) 1 + X F norte + 1 ( X )

O,

X F norte + 1 ( X ) F norte ( X ) + F norte 1 ( X ) = 0

La ecuación característica de la relación de recurrencia anterior para la función generadora F norte ( X ) es dado por

X metro 2 metro + 1 = 0 metro = 1 1 4 X 2 X

Por lo tanto la solución es

F norte ( X ) = C 1 metro 1 norte + C 2 metro 2 norte
dónde metro 1 = 1 1 4 X 2 X = 2 1 + 1 4 X y metro 2 = 1 + 1 4 X 2 X = 2 1 1 4 X

Tenga en cuenta que metro 2 no está definido para X = 0

Asumimos que F norte ( X ) se define para X = 0 y por lo tanto establecemos C 2 = 0

Finalmente

F norte ( X ) = C 1 ( 2 1 + 1 4 X ) norte

Dado que el coeficiente de X k en F norte ( X ) da el valor de F ( norte , k ) , necesitamos calcular ese valor para encontrar F ( norte , k )

Caso 1 : En este caso,

F norte ( 0 ) = 1 C 1 = 1 F norte ( X ) = ( 2 1 + 1 4 X ) norte

El coeficiente de X k en F norte ( X ) o

F ( norte , k ) = ( norte + 2 k 1 k ) ( norte + 2 k 1 k 1 )

Caso 2 : En este caso,

F norte ( 0 ) = k = 0 ( 2 k k ) X k = 1 1 4 X

C 1 = 1 1 4 X F norte ( X ) = 1 1 4 X ( 2 1 + 1 4 X ) norte

El coeficiente de X k en F norte ( X ) o

F ( norte , k ) = ( norte + 2 k k )