Problema de Josephus

Problema de Josephus (o Permutacin de Josephus) es un problema terico que ocurre adentro informtica y matemticas. Hay n gente que est parada en a crculo el esperar que se ejecutar. Despus 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 eliminacin procede alrededor del crculo (que est llegando a ser ms pequeo y ms pequeo 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 crculo inicial de modo que usted sobreviva (es el pasado restante), dado n y k.

Contenido
y y y y

1 2 3 4

Historia Solucin Variantes Referencias o 4.1 Notas o 4.2 Otros 5 Acoplamientos externos

Historia
El problema se nombra despus Flavius Josephus, un historiador judo 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 decidan que dibujaran porciones para determinarse quin matara quin. Josephus y un otro hombre eran el ltimo restante. Josephus convenci al otro judo de que ellos debe ambos entregarse al Romans ms bien que matarse. Josephus atribuy su supervivencia a la suerte o al Providence, l saba no que.[1]

Solucin
Solucionamos explcitamente el problema cuando matarn a cada 2da persona, es decir. k = 2. (Para el caso ms general , contorneamos una solucin abajo.) que expresamos la solucin recurrentemente. Dejado f(n) denote la posicin del sobreviviente cuando hay inicialmente n gente (y k = 2). La primera vez alrededor del crculo, toda la gente evennumbered muere. La segunda vez alrededor del crculo, la nueva 2da persona muere, entonces la nuevos 4ta persona, etc; es como si no haba primera vez alrededor del crculo. Si el nmero inicial de la gente era uniforme, entonces la persona en la posicin x durante la segunda vez alrededor el crculo estaba originalmente en la posicin 2x 1 (para cada opcin de x). Tan la persona en la posicin f(2n) estaba originalmente en la posicin 2f(n) 1. Esto nos da la repeticin: Si el nmero inicial de la gente era impar, despus pensamos en la persona 1 como muriendo en el extremo la primera vez alrededor del crculo. Una vez ms durante la segunda vez alrededor el crculo, la nueva 2da persona muere, entonces la 4ta persona, etc. nuevos. En este caso, la persona en la posicin x estaba originalmente en la posicin 2x + 1. Esto nos da la repeticin: Cuando tabulamos los valores de n y f(n) vemos un patrn:

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 =

2m + l y , entonces . Est claro que los valores en la tabla satisfacen esta ecuacin. Pero las matemticas exigen la prueba exacta. Debajo, damos una prueba por la induccin. Teorema: Si n = 2 m + l y , entonces f(n) = 2l + 1. Prueba: Utilizamos induccin fuerte en n. El caso bajo n = 1 es verdad. Consideramos por separado los casos cuando n est incluso y cuando n es impar. Si n es uniforme, despus elige l1 y m1 tales que y . Observe eso l1 = l / 2. Tenemosf(n) = 2f(n /2) 1 = 2 ((2l1) + 1) 1 = 2l + 1, donde la segunda igualdad sigue de la hiptesis de la induccin. Si n es impar, despus elige l1 y m1 tales que y . Observe eso l1 = (l 1) / 2. Tenemosf(n) = 2f((n )/2) + 1 = 2 del 1 ((2l 1) + 1) + 1 = 2l + 1, donde la segunda igualdad sigue de la hiptesis de la induccin. Esto termina la prueba. La forma ms elegante de la respuesta implica la representacin binaria del tamao n: f(n) puede ser obtenido por una cambio c clica izquierda del uno-pedacito de n s mismo. Si representamos n en binario como , entonces la solucin se da cerca . La prueba de esto sigue de la representacin de n como 2m + l. La manera ms fcil de solucionar este problema en el caso general es utilizar programacin dinmica. Este acercamiento nos da la repeticin: f(n,k) = (f(n

1,k) + k) MOD n, con f(1,k) = 0

cul es evidente al considerar de cmo el nmero del sobreviviente cambia al cambiar n 1 a n. Este acercamiento tiene tiempo en marcha O(n), pero para pequeo k y grande n hay otro acercamiento. El segundo acercamiento tambin utiliza la programacin dinmica pero tiene tiempo en marcha O(kregistron). Se basa en la consideracin de la matanza k- th, 2kth,, - gente del th como un paso, entonces cambiando la enumeracin.

Variantes
Segn Matemticas concretas, la seccin 1.3, Josephus tena un cmplice; el problema era entonces encontrar los lugares de los dos sobrevivientes restantes pasados (que conspiracin asegurara su supervivencia).

osefo Problema

Dado un grupo de hombres dispuestos en un crculo en el edicto que cada hombre se ejecutar dar la vuelta al crculo hasta que slo uno permanece siempre, encontrar la posicin en el que debe

mantenerse con el fin de ser el ltimo superviviente (Ball y Coxeter, 1987). La lista con el lugar en la secuencia de ejecucin de la, por otra parte, el hombre, etc primera puede ser dado porJosefo [ n , m ] en el Mathematica paquete Combinatorica . Por ejemplo, considere la posibilidad numeradas del 1 al 4 de manera que cada segundo ( hombres

) El hombre es iterativo sacrificados, como se

ilustra arriba. Como puede verse, el primer hombre que se sacrifica cuarto, el primero el segundo hombre, el tercer hombre en tercera, y el segundo cuarto hombre, por lo queJosefo [4, 2] devuelve 4, 1, 3, 2 .

Para obtener la lista ordenada de los hombres que son sacrificados consecutivamente, InversePermutation se puede aplicar a la salida de Flavio Josefo . As, en el ejemplo anterior, InversePermutation [Josefo [ 4 , 2 ]]devuelve 2, 4, 3, 1 ya que el segundo hombre se sacrifica en primer lugar, el hombre se sacrifica segundo cuarto, el tercero el hombre es sacrificado en tercer lugar, y el hombre primero se sacrifica cuarto.

El problema de Josefo original consista en un crculo de 41 hombres cada tercer hombre muerto ( , ), Se ilustra arriba, donde el nmero exterior indica el orden en el que se mat a un hombre

determinado. Para que la vida de los dos ltimos hombres que se salv, deben ser colocados en las posiciones 31 (pasado) y 16 (segunda a la ltima). La lista completa por orden de ejecucin es de 3, 6, 9, 12, 15, 18, 21, 24, 27, 30, 33, 36, 39, 1, 5, 10, 14, 19, 23, 28, 32, 37, 41, 7, 13, 20, 26, 34, 40, 8, 17, 29, 38, 11, 25, 2, 22, 4, 35, 16, 31.

Otra versin del problema considera un crculo de dos grupos (por ejemplo, "A" y "B") de 15 hombres cada uno (un total de 30 hombres), con todos los hombres noveno emitidos por la borda, se ilustra arriba. Para salvar a todos los miembros del grupo "A", los hombres deben ser colocados en las posiciones 1, 2, 3, 4, 10, 11, 13, 14, 15, 17, 20, 21, 25, 28, 29. Escrito de manera explcita, el orden es

(1)

Esta secuencia de letras puede ser recordado con la ayuda de la tecla de acceso"de" ayuda nmeros y el arte, la fama nunca salen. " Tenga en cuenta slo las vocales, asignar , , , , ,

Y alternativamente aadir un nmero de letras que corresponden a un valor de vocal, por lo 4A (o), 5B (u), 2A (e), etc (Mott-Smith 1954, 149, pp 94 y 209-210; Ball y Coxeter, 1987).

Si en lugar de cada dcimo hombre es arrojado por la borda, los hombres del grupo "A" debe ser colocado en las posiciones 1, 2, 4, 5, 6, 12, 13, 16, 17, 18, 19, 21, 25, 28, 29. Escrito de manera explcita,

(2)

que puede ser construido a partir de Amrica mnemnico "paphi Gente cum Rex dat serena signa buena" (Ball y Coxeter, 1987).

La matriz siguiente muestra la posicin original de la salida ltimo sobreviviente de un grupo de ..., si cada el hombre es asesinado de , 2, ..., :

, 2,

(3)

(Sloane A032434 ). El sobreviviente de

se puede dar por analticamente

(4)

donde

es la funcin de suelo y LG es el logaritmo en base 2. Las soluciones de primeras, por lo tanto

1, 1, 3, 1, 3, 5, 7, 1, 3, 5, 7, 9, 11 13, 15, 1, ... (SloaneA006257 ).

La posicin original de la supervivencia del segundo al ltimo se da en la tabla siguiente para

, 3, ...:

(5)

(Sloane A032435 ).

La posicin original de la supervivencia de terceros a la ltima figura en la tabla siguiente para ...:

, 4,

(6)

(Sloane A032436 ).

Mott-Smith (1954, 153, 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. Se trata de un problema de Josefo con el parmetro forma cerrada. , Y Mott-Smith apunta a la solucin anterior de