Problema de Josephus

Problema de Josephus (o Permutación de Josephus) es un problema teórico que ocurre adentro informática y matemáticas. Hay n gente que está parada en a círculo el esperar que se ejecutará. Después de que salten al primer hombre, k í 2 saltan a la gente (saltando encima k í 1 la gente le fijó sobre k- hombre del th) y k- ejecutan al hombre del th. Entonces otra vez, k í 1saltan a la gente y k- ejecutan al hombre del th. Sigue habiendo la eliminación procede alrededor del círculo (que está llegando a ser más pequeño y más pequeño mientras que quitan a la gente ejecutada), hasta solamente el hombre pasado, que se da la libertad. La tarea es elegir el lugar en el círculo inicial de modo que usted sobreviva (es el pasado restante), dado n y k.

Contenido
y y y y

1 2 3 4

y

Historia Solución Variantes Referencias o 4.1 Notas o 4.2 Otros 5 Acoplamientos externos

Historia
El problema se nombra después Flavius Josephus, un historiador judío que vive en 1r siglo. Pues va su propia cuenta, lo y a sus 40 soldados del camarada atraparon en una cueva, rodeada por Romans. Eligieron captura del excedente del suicidio y decidían que dibujarían porciones para determinarse quién mataría quién. Josephus y un otro hombre eran el último restante. Josephus convenció al otro judío de que ellos debe ambos entregarse al Romans más bien que matarse. Josephus atribuyó su supervivencia a la suerte o al Providence, él sabía no que.[1]

Solución
Solucionamos explícitamente el problema cuando matarán a cada 2da persona, es decir. k = 2. (Para el caso más general , contorneamos una solución abajo.) que expresamos la solución recurrentemente. Dejado f(n) denote la posición del sobreviviente cuando hay inicialmente n gente (y k = 2). La primera vez alrededor del círculo, toda la gente evennumbered muere. La segunda vez alrededor del círculo, la nueva 2da persona muere, entonces la nuevos 4ta persona, etc; es como si no había primera vez alrededor del círculo. Si el número inicial de la gente era uniforme, entonces la persona en la posición x durante la segunda vez alrededor el círculo estaba originalmente en la posición 2x í 1 (para cada opción de x). Tan la persona en la posición f(2n) estaba originalmente en la posición 2f(n) í 1. Esto nos da la repetición: Si el número inicial de la gente era impar, después pensamos en la persona 1 como muriendo en el extremo la primera vez alrededor del círculo. Una vez más durante la segunda vez alrededor el círculo, la nueva 2da persona muere, entonces la 4ta persona, etc. nuevos. En este caso, la persona en la posición x estaba originalmente en la posición 2x + 1. Esto nos da la repetición: Cuando tabulamos los valores de n y f(n) vemos un patrón:

n 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 f(n) 1 1 3 1 3 5 7 1 3 5 7 9 11 13 15 1
Esto sugiere eso f(n) es una secuencia impar el aumento con la cual recomienza f(n) = 1 siempre que el ndice n es una energ a de 2. Por lo tanto, si elegimos m y l de modo que n =

 

 

Teorema: Si n = 2 m + l y . La forma más elegante de la respuesta implica la representación binaria del tamaño n: f(n) puede ser obtenido por una cambio c clica izquierda del uno-pedacito de n s mismo. Este acercamiento tiene tiempo en marcha O(n). la sección 1.«. La lista con el lugar en la secuencia de ejecución de la. 2kth. Está claro que los valores en la tabla satisfacen esta ecuación. entonces f(n) = 2l + 1. Observe eso l1 = (l 1) / 2. después elige l1 y m1 tales que y .th. El segundo acercamiento también utiliza la programación dinámica pero tiene tiempo en marcha O(kregistron). La manera más fácil de solucionar este problema en el caso general es utilizar programación dinámica. considere la posibilidad numeradas del 1 al 4 de manera que cada segundo ( hombres ) El hombre es iterativo sacrificados. Observe eso l1 = l / 2. Si representamos n en binario como . el hombre. . Josephus tenía un cómplice. con f(1. pero para pequeño k y grande n hay otro acercamiento. etc primera puede ser dado porJosefo [ n . Este acercamiento nos da la repetición: f(n. osefo Problema Dado un grupo de hombres dispuestos en un círculo en el edicto que cada hombre º se ejecutará dar la vuelta al círculo hasta que sólo uno permanece siempre. Se basa en la consideración de la matanza k. damos una prueba por la inducción.k) = 0 cuál es evidente al considerar de cómo el número del sobreviviente cambia al cambiar n í 1 a n. por otra parte. Variantes Según Matemáticas concretas. Tenemosf(n) = 2f(n /2) 1 = 2 ((2l1) + 1) 1 = 2l + 1. La prueba de esto sigue de la representación de n como 2m + l. Debajo. Pero las matemáticas exigen la prueba exacta. 1987). entonces . Tenemosf(n) = 2f((n )/2) + 1 = 2 del 1 ((2l 1) + 1) + 1 = 2l + 1. donde la segunda igualdad sigue de la hipótesis de la inducción. Si n es uniforme. el problema era entonces encontrar los lugares de los dos sobrevivientes restantes pasados (que conspiración aseguraría su supervivencia). como se ¡ ¡ ¡ ¡ ¡ ¡ ¡ .3. encontrar la posición en el que debe mantenerse con el fin de ser el último superviviente (Ball y Coxeter.2m + l y . Consideramos por separado los casos cuando n está incluso y cuando n es impar. El caso bajo n = 1 es verdad. Prueba: Utilizamos inducción fuerte en n. después elige l1 y m1 tales que y . m ] en el Mathematica paquete Combinatorica » . donde la segunda igualdad sigue de la hipótesis de la inducción. entonces la solución se da cerca .k) + k) MOD n. Si n es impar. entonces cambiando la enumeración. Esto termina la prueba.gente del th como un paso.k) = (f(n 1. Por ejemplo.

32. 7. 38. 31. 19. ). y el segundo cuarto hombre. Se ilustra arriba. El problema de Josefo original consistía en un círculo de 41 hombres cada tercer hombre muerto ( . 26. por lo queJosefo [4. 27. . 1. 17. 13. y el hombre primero se sacrifica cuarto. 3. 10. 37. La lista completa por orden de ejecución es de 3. Así. 35. 15. 23. 3. el tercer hombre en tercera. 6. 41. 2 ]]devuelve 2.ilustra arriba. 5. 28. Para obtener la lista ordenada de los hombres que son sacrificados consecutivamente. 39. en el ejemplo anterior. donde el número exterior indica el orden en el que se mató a un hombre determinado. 40. 8. el tercero el hombre es sacrificado en tercer lugar. el primero el segundo hombre. InversePermutation [Josefo [ 4 . 2. 11. 25. 33. 18. Para que la vida de los dos últimos hombres que se salvó. 4. 22. el hombre se sacrifica segundo cuarto. Como puede verse. 16. 14. InversePermutation se puede aplicar a la salida de Flavio Josefo . 34. 12. deben ser colocados en las posiciones 31 (pasado) y 16 (segunda a la última). 20. 24. el primer hombre que se sacrifica cuarto. 1. 29. 36. 30. 2] devuelve 4. 21. 4. 9. 2 . 1 ya que el segundo hombre se sacrifica en primer lugar.

con todos los hombres noveno emitidos por la borda. "A" y "B") de 15 hombres cada uno (un total de 30 hombres). los hombres deben ser colocados en las posiciones 1. 5B (u). . 10. 15. 20. asignar .Otra versión del problema considera un círculo de dos grupos (por ejemplo. 11. " Tenga en cuenta sólo las vocales. 2. el orden es (1) Esta secuencia de letras puede ser recordado con la ayuda de la tecla de acceso"de" ayuda números y el arte. 14. 3. . 17. . 21. 25. § 149. 4. 28. por lo 4A (o). 2A (e). 13. 1987). la fama nunca salen. pp 94 y 209-210. Escrito de manera explícita. . Para salvar a todos los miembros del grupo "A". Y alternativamente añadir un número de letras que corresponden a un valor de vocal. Ball y Coxeter. etc (Mott-Smith 1954. . 29. se ilustra arriba.

Si en lugar de cada décimo hombre es arrojado por la borda. 18. 19. El sobreviviente de se puede dar por analíticamente (4) . 28. La matriz siguiente muestra la posición original de la salida último sobreviviente de un grupo de . Escrito de manera explícita. 29. 1987). 13. . (3) (Sloane A032434 ). si cada el hombre es asesinado º de .. 6. 2. 12. : . (2) que puede ser construido a partir de América mnemónico "paphi Gente cum Rex dat serena signa buena" (Ball y Coxeter.. 25. 17.. 5.... 4. 21. los hombres del grupo "A" debe ser colocado en las posiciones 1. 16. 2. 2.

Se trata de un problema de Josefo con el parámetro forma cerrada. Mott-Smith (1954. 4. por lo tanto 1. 5.. Y Mott-Smith apunta a la solución anterior de .: .. 9. . 11 13. . 7... 5. 1. 3.. 15.. (SloaneA006257 ). Las soluciones de primeras. La posición original de la supervivencia del segundo al último se da en la tabla siguiente para . pp 96 y 212) se describe un juego de cartas llamado "Out y menos" en el que las tarjetas en la parte superior de una baraja alternativamente se descarta y se coloca en la parte inferior. § 153. 3. La posición original de la supervivencia de terceros a la última figura en la tabla siguiente para . (6) (Sloane A032436 ). 7. 1. 3. 3. 1. 1.donde es la función de suelo y LG es el logaritmo en base 2. .: (5) (Sloane A032435 ).

Sign up to vote on this title
UsefulNot useful