¿Número esperado de lanzamientos de monedas hasta que todos los autos se muevan al final del arreglo?

Imagina que tenemos una matriz de longitud 2 norte , donde la primera norte las entradas son un C (que representa un coche de juguete) y el resto norte las entradas están vacías. Además, tenemos norte monedas justas etiquetadas 1 a través de norte , donde moneda i corresponde a coche C i en la matriz.

En cada paso de tiempo, volteamos todo norte monedas si moneda i sale como cabezas, luego coche C i avanza en la matriz por un punto, pero solo si no está bloqueado por otro automóvil directamente en la ranura frente a él. De lo contrario, si se bloquea o la moneda sale cruz, el coche C i no hace nada.

La pregunta tiene dos partes:

  1. ¿Cuál es el número esperado de pasos de tiempo hasta que norte - t h coche llega al final de la matriz (llega a la ranura 2 norte )?
  2. ¿Cuál es el número esperado de pasos de tiempo hasta que todos los norte los coches se han movido desde el primer norte ranuras de la matriz hasta el último norte tragamonedas?

He resuelto la parte 1 de la siguiente manera. El número esperado de lanzamientos para que una moneda caiga como cara es 2 , y el norte - t h el coche tiene que moverse norte ranuras para llegar al final (y nunca está bloqueado por nada), por lo que el número esperado de pasos de tiempo es 2 norte . Sin embargo, estoy perdido en el enfoque de la parte 2. Pienso que debería estar en el orden O ( norte registro norte ) pero no sé cómo proceder. Sigo encontrándome con una larga cadena de probabilidades condicionales y me pregunto si hay una forma más elegante que me estoy perdiendo.

creo que al menos es orden norte 2 ya que esa es la cantidad de tiempo que le toma al primer automóvil moverse un solo paso
Ver cuánto tarda el coche en norte 1 para llegar a su destino y luego para el coche en norte 2 y ver si hay un patrón.
@norfair: no, se necesita 2 norte para que el primer auto se mueva una vez. norte acepta 2 voltea, entonces norte 1 acepta 2 volteretas, etc. Pero mientras el auto 1 está esperando, los autos delanteros se están moviendo más adelante. Creo que es lineal en norte .
Sí, tiene usted razón. Por alguna razón, los estaba sumando para obtener el crecimiento cuadrático.
Por cierto, creo que esto está relacionado con el Proceso de Exclusión Simple Totalmente Asimétrico (o TASEP).

Respuestas (1)

No tengo una buena respuesta para la segunda parte, pero podemos establecer límites. Un límite superior es 2 norte 2 . Imagina que lo hacemos más difícil diciendo el norte t h coche tiene que llegar al final antes de que el norte 1 s t el coche se mueve en absoluto, entonces el norte 1 s t tiene que llegar al final antes de que norte 2 norte d se mueve en absoluto y así sucesivamente. En la primera parte, el tiempo esperado para cada automóvil es 2 norte entonces el tiempo total esperado es 2 norte 2 . Como los autos solo pueden terminar más rápido si se les permite moverse antes, este es un límite superior.

Para el límite inferior, consideremos solo automóviles norte y norte 1 y pregunta la hora norte 1 para terminar. Lo haremos más fácil diciendo que si norte obtiene dos espacios vacíos entre los dos autos norte 1 Puede moverse libremente sin preocuparse por ponerse al día. Ahora deja A ( k ) Sea el número esperado de movimientos cuando el automóvil norte 1 tiene k espacios para ir y coche norte está inmediatamente enfrente de él. Dejar B ( k ) Sea el número esperado de movimientos cuando el automóvil norte 1 tiene k espacios para ir y coche norte tiene k 1 espacios para ir. Podemos escribir recurrencias acopladas

A ( k ) = 1 + 1 2 B ( k ) + 1 2 A ( k ) A ( k ) = 2 + B ( k )
porque si los carros estan juntos solo carro norte puede moverse y se mueve (poniendo un espacio entre ellos) si sale cara.
B ( k ) = 1 + 1 4 B ( k 1 ) + 1 4 ( 2 k ) + 1 4 A ( k 1 ) + 1 4 B ( k )
porque si a los dos les sale cara estamos en B ( k 1 ) , si solo el delantero saca cara ya no interfiere y car norte 1 llegará al final en 2 k mas jugadas, si solo la retaguardia saca cara estamos en A ( k 1 ) y si ninguno sale cara nos quedamos donde estamos. El sistema converge a A ( k ) = 2 k + 4 desde abajo. el tiempo para el coche norte 2 al menos debe ser 2 norte + 8 porque el coche norte 1 limita el coche norte 1 al menos tanto como el coche norte limita el coche norte 1 . Esto dice el tiempo para el coche 1 Por lo menos 2 norte + 4 ( norte 1 ) = 6 norte 4 . Sospecho que no es mucho peor que esto.