El enigma de las carreras de caballos se ha planteado en mathSE varias veces ( 1 , 2 , 3 , 4 ); también hay un generalización . A continuación, reitero el rompecabezas:
25 caballos que corren a diferentes velocidades. Puedes correr con 5 caballos a la vez para clasificarlos por orden de velocidad, pero en realidad no aprendes sus velocidades numéricas al correr con ellos. ¿Cuántas carreras son necesarias para determinar el tercer caballo más rápido?
La estrategia correcta para hacerlo en 7 carreras se ha descrito en detalle aquí y en otros lugares de Internet. Pero ¿por qué no son suficientes 6 carreras?
El único intento de mostrar 6 carreras no es suficiente (en esta respuesta ) es bastante ondulado:
Ahora vamos a demostrar que $7$ carreras es óptima.
Utilizando la misma idea, podemos dibujar un gráfico dirigido para representar estas razas y relaciones. Los círculos o nodos son los caballos, y los caminos dirigidos representan que un caballo es más rápido que otro. Este sería el aspecto de una carrera, con el caballo más rápido a la izquierda:
$$ \circ\rightarrow\circ\rightarrow\circ\rightarrow\circ\rightarrow\circ $$
Así que, básicamente, lo que queremos terminar para encontrar los tres caballos más rápidos es un nodo padre y un total de como máximo $5$ niños con una profundidad de $2$ de este padre, estando todos los demás nodos bajo $5$ niños. Necesitamos una carrera para comparar estos $5$ niños, y las otras razas para establecer el gráfico. Cada raza colocará $4$ caballos, ya que el caballo más rápido tiene que ser un caballo que ya haya corrido para poder ser comparado. La única excepción es la primera carrera, que puede colocar $5$ . $\lceil 24/4 \rceil = 6$ y lo añadimos a nuestra carrera de comprobación para demostrar que la mejor solución posible es $7$ razas, y de hecho se puede conseguir.
Realmente no sigo este razonamiento, y no creo que ofrezca una justificación rigurosa.
Ten en cuenta también que 6 carreras SON suficientes si tienes suerte. Así que un argumento correcto tendrá que apelar a algún tipo de escenario del peor caso.
¿Alguien tiene una versión rigurosa de este argumento, o un argumento riguroso diferente, para demostrar que 6 carreras no son suficientes? Me gustaría tener una solución lo más elegante posible.
0 votos
No creo que 7 carreras sean correctas para los tres primeros caballos. Esta respuesta (y otras que he encontrado) no parecen dar una justificación convincente para esa respuesta. Sólo parecen correctas hasta los dos primeros caballos. Sin embargo, no lo he pensado lo suficientemente bien como para estar seguro de ello.
1 votos
La solución obvia que veo que debería ser correcta (no necesariamente óptima) es: 1) Correr los 5 caballos en grupos de 5. 2) Correr tres carreras más, una con el nº 1 de cada carrera, otra con el nº 2 y otra con el nº 3. 3) Se celebra una última carrera con los 3 primeros clasificados, los 2 primeros clasificados y el primer clasificado. Los tres primeros clasificados en esta última carrera son los más rápidos. Son 9 carreras en total para determinar los tres caballos más rápidos.
0 votos
Uy, la solución que di tenía 6 caballos en la última carrera, así que tampoco es correcta.
0 votos
Ahora estoy viendo cómo lo reduces a 7. La clave es que puedes eliminar a los caballos que perdieron su eliminatoria inicial a manos de algún caballo que no lo hizo lo suficientemente bien en la eliminatoria del número 1 (carrera 6). En realidad esta solución es correcta, sólo que no la leí con suficiente atención la primera vez: math.stackexchange.com/a/746801/128074
1 votos
Es mejor no preocuparse por las razones detrás de los downvotes a menos que sea obvio.
1 votos
Mi opinión es que publicar una recompensa te da más vistas, y más vistas significa más probabilidad de un downvote.