... newer stories
Josephus-Problem
wuerg, 05.10.2021 01:49
Jeder kennt aus seiner Kindheit Abzählverse, um den nächsten Kandidaten zu bestimmen. Zum Beispiel „a ba bu und ab bist du“. Normalerweise sind sie etwas länger, doch bereits bei diesen sieben Silben ist es schwierig vorherzusehen, welche Position es treffen wird, um sich an sie zu stellen oder sie zu meiden. Die nachstehende Abbildung zeigt links zweimal fünf abzuzählende Positionen. Die letzte ist die rechts in der Reihe stehende oder die abzählende Person selbst. Im linken Teilbild wird immer wieder vorne begonnen, und es trifft zum Schluß die fünfte Position. Diese Methode ist unschön, wenn mehr Personen n in der Reihe stehen als der Abzählvers Silben k hat. Dann fällt dumm auf, daß es stets zunächst die hinteren Positionen k bis n trifft. Deshalb wird besser wie im zweiten Teilbild nach dem Ausscheiden einer Person an der rechts daneben fortgefahren. Ich meine, daß es in meiner Kindheit so war. Alles andere hätte mir dumm auffallen müssen.
Das allgemeine Josephus-Problem besteht darin, die Position p des letzten für alle n und k zu ermitteln. Eine geschlossene Lösung ist wohl über k=3 hinaus nicht bekannt. Doch für k=2 ist es recht einfach:
[1] Wolfram Mathworld. Josephus Problem.
[2] The On-Line Encyclopedia of Integer Sequences. A032434, A006257, A054995.
41 | Sieb von Josephus
1 2 3 4 5 1 2 3 4 5 00000000011111111112222222222333333333344 a b b u a a b b u a 12345678901234567890123456789012345678901 b d | | | b d a b b ||X||X||X||X||X||X||X||X||X||X||X||X||X|| a b b u u a b d X| |X || X| |X || X| |X || X| |X || X| |X a b d | a b b | | X| | X || X | |X | | X| | X a b b u a b | | X | |X | | X | | X u a b d a b | | X | | X | | d | | b u X | | X | | a b a b X | | X b u d Λ | | a b | X | d |<-----letzter Josephus letzterWährend Kinder im allgemeinen wenige Positionen mit langen Versen abzählen, sind es im rechten Teilbild viele Positionen n=41 und wenige Silben k=3. Flavius Josephus wollte angeblich mit 40 weiteren Gefangenen Selbstmord begehen. Nachdem das Los bereits 39 das Leben kostete, war Josephus selbst an der Reihe. Da ergaben sich die restlichen beiden den Römern. Das führte zu der Frage: An welcher Position stand Josephus, wenn 41 Leute sich im Kreis aufstellen und beginnend mit der Position 3 jeder dritte erschlagen wird? Das vorstehende Bild liefert die Antwort.
Das allgemeine Josephus-Problem besteht darin, die Position p des letzten für alle n und k zu ermitteln. Eine geschlossene Lösung ist wohl über k=3 hinaus nicht bekannt. Doch für k=2 ist es recht einfach:
0000000001111111111222222222233333333334444444444555555555566666 1234567890123456789012345678901234567890123456789012345678901234 |X|X|X|X|X|X|X|X|X|X|X|X|X|X|X|X|X|X|X|X|X|X|X|X|X|X|X|X|X|X|X|X | X | X | X | X | X | X | X | X | X | X | X | X | X | X | X | X | X | X | X | X | X | X | X | X | X | X | X | X | X | X |<--letzter XDie vorstehende Abbildung zeigt, daß für Zweierpotenzen n=2ᵐ in jedem der m Umläufe die Anzahl halbiert wird und die Position 1 übrigbleibt. Ist nun n=2ᵐ+l mit l<2ᵐ, dann kommen zunächst die l Positionen 2, 4, 6, …, 2l<n ums Leben. Danach stehen noch 2ᵐ Mann. Nun ist der an Position p=2l+2 an der Reihe, und sein Vorgänger bei p=2l+1 bleibt letztlich übrig. Wer diese Überlegung scheut, aber programmieren kann, der erstellt sich eine Tabelle, erkennt das Prinzip und hofft, daß es sich so fortsetzt.
n p n p n p 1 1 1 1 8 1000 0001 1 15 1111 1111 15 2 10 01 1 9 1001 0011 3 16 10000 00001 1 3 11 11 3 10 1010 0101 5 17 10001 00011 3 4 100 001 1 11 1011 0111 7 18 10010 00101 5 5 101 011 3 12 1100 1001 9 19 10011 00111 7 6 110 101 5 13 1101 1011 11 20 10101 01011 9 7 111 111 7 14 1110 1101 13 21 10110 01101 11Es gibt eine nette Spielerei, zur Anzahl n die Position p des Überlebenden zu bestimmen: Aus der Binärdarstellung der Zahl n wird die führende 1 gestrichen und hinten angefügt. So ergibt sich eine Binärdarstellung der Position p. Der Grund ist einfach: Durch das Entfernen der führenden 1 geht n in n−2ᵐ=l über. Das Anfügen einer 1 am Ende macht aus l dann 2l+1=p.
[1] Wolfram Mathworld. Josephus Problem.
[2] The On-Line Encyclopedia of Integer Sequences. A032434, A006257, A054995.
41 | Sieb von Josephus
... link (0 Kommentare) ... comment
... older stories