n caminantes ${A}_{i}$ ($i=1,2,...,n$) empezar de X a Y, simultáneamente, con velocidades constantes ${a}_{1}<{a}_{2}<...<{a}_{n}$. Al mismo tiempo, el motorista M con velocidad $m=1$ comienza desde Y para llevar a ellos, como se muestra a continuación:
El motociclista puede elegir para recoger un andador a la reunión. Él puede llevar a más de una persona, sino que es libre para dejar a la persona que la lleva en cualquier momento. Abandonados a sí mismos, los caminantes a pie hacia adelante (de X a Y) con las velocidades de $a_i$, mientras que el motociclista es libre para conducir, ya sea hacia delante o hacia atrás, con o sin carga.
El motorcylist del objetivo (reto!) es encontrar un plan en virtud del cual todos los caminantes llegan a Y simultáneamente, si ese plan existe. Llamamos un plan a, un plan factible, y llamar a la $({a}_{1},{a}_{2},...,{a}_{n})$ para que un posible plan de existe un factible de configuración. Para un n dado, definir el conjunto de todos los posibles configuraciones de conjunto factible ${B}_{n}$.
La pregunta: ¿Cuál es el conjunto factible ${B}_{n}$? O al menos, lo que es${B}_{4}$?
n=2 es trivial debido a que ${B}_{2}={\mathbb{R}}_{++}^{2}$. He trabajado fuera de la n=3 caso, para que ${B}^{3}=\{({a}_{1},{a}_{2},{a}_{3})| 2{a}_{2}\leq{a}_{1}+1,\ {a}_{3}<1 \}$. A pesar de la sencilla respuesta final, sin embargo, hay un montón de sutilezas, matices y debates en la necesidad de llenar en el proceso, lo que realmente me hace dudar de si realmente se puede caracterizar ${B}_{n}$ incluso moderadamente grande n.
Alternativamente, para un n dado, uno puede tratar de buscar una especie de dominante plan (o una regla,un conjunto de instrucciones para saber qué hacer, si así lo desea) para el motorista, en el sentido de que si este plan no funciona, no hay ningún otro plan. Si tenemos éxito en la búsqueda de uno, dado ningún tipo de configuración, podemos simplemente ingrese a un programa de ordenador que simula todo el proceso mediante el plan y ver el resultado. En resumen, podemos hacer la pregunta: "dada una configuración, decidir si es viable" una decidable uno. Para n=3, se puede demostrar que el siguiente es una estrategia dominante:
1) Después de la reunión ${A}_{3}$, unidad con él y abandonarlo en la posición x antes de la reunión de ${A}_{1}$, donde x es elegido tal que 2) se cumple:
2) Recoger ${A}_{1}$ y llevarlo hacia adelante para cumplir con ${A}_{2}$ en alguna posición y. x 1) es elegido tal que ${A}_{3}$ ahora acaba de llegar a la y, demasiado. Una configuración será factible iff y$\leq$el destino Y.
(Necesariamente, esto le da a la ${B}^{3}$ I se describió anteriormente, también)
De hecho, me ha publicado esto en MO cerca de la mitad de hace un año y nadie se ha dado una definición de respuesta: http://mathoverflow.net/questions/72449/the-motorcyclists-challenge. También me pregunto si algo puede decirse acerca de ${B}_{n}$ para la gran n? Las especulaciones son apreciados, también.
