Flavius Josephus
February 19, 2009
A simple solution just counts through a list of the living moving the head of the list to the end of the list until the current list element must die, when it is moved from the living list to the deceased list:
(define (josephus1 n m)
(let loop ((k m) (alive (range 0 n)) (dead '()))
(cond ((null? (cdr alive)) (reverse (cons (car alive) dead)))
((= k 1) (loop m (cdr alive) (cons (car alive) dead)))
(else (loop (- k 1) (append (cdr alive) (list (car alive))) dead)))))
That works, but in quadratic time due to the append operation, which must repeatedly trace down the living list. We can fix that by using the old trick of representing a queue as two lists, front and back, consing new items to the head of back, and replacing front with the reverse of back whenever front is exhausted:
(define (josephus2 n m)
(let loop ((k m) (front (range 0 n)) (back '()) (dead '()))
(cond ((and (null? front) (null? back)) (reverse dead))
((null? front) (loop k (reverse back) '() dead))
((= k 1) (loop m (cdr front) back (cons (car front) dead)))
(else (loop (- k 1) (cdr front) (cons (car front) back) dead)))))
Another linear solution is to create a list and set the last element of the list to point back to the first, forming a circle. Then just count around the circle, extracting the requested element at each iteration, each time reforming the list, until the tail of the list points to itself.
(define (cycle xs)
(set-cdr! (last-pair xs) xs) xs)
(define (josephus3 n m)
(let loop ((k (- m 1)) (alive (cycle (range 0 n))) (dead '()))
(cond ((= (car alive) (cadr alive))
(reverse (cons (car alive) dead)))
((= k 1)
(let ((dead (cons (cadr alive) dead)))
(set-cdr! alive (cddr alive))
(loop (- m 1) (cdr alive) dead)))
Josephus survived in 31st position, counting from one.
> (josephus 41 3)
(2 5 8 11 14 17 20 23 26 29 32 35 38 0 4 9 13 18 22 27 31 36
40 6 12 19 25 33 39 7 16 28 37 10 24 1 21 3 34 15 30)
This code can be executed at http://programmingpraxis.codepad.org/RMwrace2.
Pages: 1 2
You can find my solution here
http://pastebin.com/f7fd2a526
Depending on your interpretation of “every third person”, this question could be done a few different ways.
[…] For the correct Haskell solution check the first comment on the challenge page. […]
I’ve tried two clojure versions : one using modulus, filtering “alive” vector and an other using the trick of the front and back queue.
Both functions have the same size but the second one is clearly an order of magnitude faster.
Seems like modulus and filtering entire vector are expensive compared to only playing with head, tail and last element of front & back vectors :)
My solution using C
void josephus ( int n, int m)
{
int i, j, kill = m – 1;
int reset = 0;
int circle[n], killOrder[n];
for (i = 0; i < n; i++)
circle[i] = i;
for ( i = 0; i < n; i++)
{
killOrder[i] = kill;
circle[kill] = -1;
for ( j = 0; j n – 1)
{
kill = 0;
}
while (circle[kill] == -1)
kill++;
}
}
for (i = 0; i < n; i++)
printf("%d\t%d \n", i, killOrder[i]);
}
Ok i fail at posting. Not sure how to do the code block thingy. Copy pasting lost some of my code.
OK.. sorry about the triple post… I read the HOWTO post source code section.
And here is my solution using C:
http://pastebin.com/T08Jpj7G
My variant using Python lambda’s and list slices:
http://pastebin.com/pVgE9hF2
https://github.com/gcapell/ProgrammingPraxis/blob/master/05_ringlist/ring.go
Scheme solution that makes use of circular lists:
http://pastebin.com/faTX0j6q
golang
in coffeescript:
[…] is another one taken from Programming Praxis #5 – Flavius Josephus, has a historical background which can be found here. For this exercise, write a function that […]
She said thewy often see people at seo keyword research tool the worst point in their careers.
”In the UK we already have the tension and pressure seo
keyword research tool they can collect. The online programs in psychology seo keyword research
tool to teach it! The parents of teenagers under the age of 80 Baroness Bakewell better
known as broadcaster Joan Bakewell faces a fight much closer to home.
Skye is not interested in the issue of same-sex attraction than my male patients.
Solution using Clojure. Very slow, but correct.