Rutas en una cuadrícula que no bajan de 000 ni de lll antes de alcanzar su objetivo.

Un jugador lanza una moneda repetidamente y gana 1 ps en cabeza y perdiendo 1 ps en colas

El número de formas en que puede alcanzar yo ps después t + yo cabezas y t colas sin cruzarse nunca yo ps es dado por C t ( yo ) = ( 2 t + yo t ) yo 2 t + yo . Esto se muestra aquí: Probabilidad de que la caminata aleatoria alcance el estado k por primera vez en el paso norte . La función generadora de esta secuencia se analiza aquí: Prueba de identidad sobre secuencias binomiales generalizadas. .

Este también pasa a ser el número de caminos donde llega yo ps después 2 t + yo lanza sin nunca ir por debajo 0 ps . Esto se puede ver fácilmente invirtiendo los caminos y se convierte en el problema de la boleta electoral de Bertrand.

Ahora, ¿qué hay de los caminos donde se cumplen ambas condiciones? Esto significa que no puede ir más abajo. 0 ps o superior yo ps en cualquier momento de su camino?

No esperaría una forma cerrada aunque puede haber una recurrencia con yo / 2 términos y por lo tanto una función generadora moderadamente simple
@Henry: ¿algún motivo para no esperar un formulario cerrado? Secuencias que cruzan cierto nivel k los tiempos terminan teniendo una forma cerrada ... ¿este parece más dócil o similar en comparación?
Si yo = 10 entonces tienes que resolver una quíntica, que Galois sugirió que puede no tener una forma cerrada. es mas facil con yo = 3 o yo = 4 ya que solo tienes que resolver cuadráticas y obtener respectivamente números de Fibonacci alternos o la mitad de uno menos que potencias de 3

Respuestas (1)

El problema se puede resolver de manera similar al problema de la boleta de Bertrand .

Preliminarmente consideramos reflexiones alternativas del punto ( 0 , 0 ) en dos lineas y = X + a y y = X + b . Se puede demostrar fácilmente que el k -ésima reflexión tiene las coordenadas:

(1) ( 1 ) k ( k 2 a k 2 b , k 2 b k 2 a ) ,
si el punto se refleja primero sobre y = X + a . Si primero se reflexiona sobre y = X + b , a y b en (1) deben intercambiarse.

Representemos la secuencia de lanzamiento como una trayectoria de celosía en el plano cartesiano de la siguiente manera:

  1. Empieza el camino en ( 0 , 0 ) .
  2. Cada cabeza es un movimiento a la derecha 1 unidad.
  3. Cada cruz es un movimiento hacia arriba 1 unidad.

Nuestro objetivo es dar en el clavo ( pag , q ) = ( t + yo , t ) nunca cruzar las líneas y = X y y = X yo . El número total de caminos es ( 2 t + yo t ) el cual deberá ser disminuido por el número de caminos que crucen al menos una vez las líneas antes mencionadas.

Para calcular el número de caminos 'malos', procedemos de manera muy similar al procedimiento descrito en el enlace que se proporciona al comienzo de la respuesta. El punto final de cada camino que cruza la línea. y = X desde abajo se encuentra en la línea y = X + 1 , y el punto final de cada camino que cruza la línea y = X yo desde arriba se encuentra en la línea y = X yo 1 .

Por cada camino 'malo' PAG , definir una nueva ruta PAG reflejando la parte de PAG hasta el primer punto toca la línea que lo cruza. PAG es un camino de ( 1 , 1 ) a ( pag , q ) si tocamos la linea y = X + 1 o de ( yo + 1 , yo 1 ) a ( pag , q ) si tocamos la linea y = X yo 1 (cf. (1) con k = 1 , a = 1 , b = yo 1 ).

Sin embargo, este no es todavía el final de la historia, ya que pueden existir los caminos que cruzan tanto y = X + 1 y y = X yo 1 . Por el conteo anterior, cada ruta de este tipo se contará como 'mala' dos veces. Por lo tanto, debemos agregar el número de tales rutas, que se pueden calcular de la siguiente manera. asumir un camino PAG con la parte inicial ya reflejada (sobre la línea de límite que encuentra primero) cruza la otra línea de límite. Definir un nuevo camino PAG reflejando la parte de PAG hasta el primer punto toca la segunda línea límite a través de la línea. El punto inicial de todos esos caminos (que cruzan ambas líneas fronterizas en el mismo orden) será el reflejo del punto ( 0 , 0 ) primero sobre la primera línea y luego sobre la segunda. Observe que el punto inicial es de nuevo 2 t + yo pasos aparte del punto final ( pag , q ) . Este proceso de reflexión se puede repetir para los caminos más largos que cruzan repetidamente las líneas límite superior e inferior en orden alterno.

Sustituyendo en (1) a = 1 , b = yo 1 se obtiene que el y -coordenada de la k -ésima reflexión del punto ( 0 , 0 ) es

{ ( 1 ) k { k + k 2 yo } , si el primer reflejo es transversal  y = X + 1 ( 1 ) k { k + k 2 yo } , si el primer reflejo es transversal  y = X yo 1 .

Con esto a la mano, la expresión final para el número de formas de llegar al punto final sin cruzar las líneas divisorias es:

( 2 t + yo t ) + k 1 ( 1 ) k [ ( 2 t + yo t + ( 1 ) k { k + k 2 yo } ) + ( 2 t + yo t ( 1 ) k { k + k 2 yo } ) ] .