fork download
  1. ; the iron bar
  2.  
  3. (define rand #f)
  4. (define randint #f)
  5. (let ((two31 #x80000000) (a (make-vector 56 -1)) (fptr #f))
  6. (define (mod-diff x y) (modulo (- x y) two31)) ; generic version
  7. ; (define (mod-diff x y) (logand (- x y) #x7FFFFFFF)) ; fast version
  8. (define (flip-cycle)
  9. (do ((ii 1 (+ ii 1)) (jj 32 (+ jj 1))) ((< 55 jj))
  10. (vector-set! a ii (mod-diff (vector-ref a ii) (vector-ref a jj))))
  11. (do ((ii 25 (+ ii 1)) (jj 1 (+ jj 1))) ((< 55 ii))
  12. (vector-set! a ii (mod-diff (vector-ref a ii) (vector-ref a jj))))
  13. (set! fptr 54) (vector-ref a 55))
  14. (define (init-rand seed)
  15. (let* ((seed (mod-diff seed 0)) (prev seed) (next 1))
  16. (vector-set! a 55 prev)
  17. (do ((i 21 (modulo (+ i 21) 55))) ((zero? i))
  18. (vector-set! a i next) (set! next (mod-diff prev next))
  19. (set! seed (+ (quotient seed 2) (if (odd? seed) #x40000000 0)))
  20. (set! next (mod-diff next seed)) (set! prev (vector-ref a i)))
  21. (flip-cycle) (flip-cycle) (flip-cycle) (flip-cycle) (flip-cycle)))
  22. (define (next-rand)
  23. (if (negative? (vector-ref a fptr)) (flip-cycle)
  24. (let ((next (vector-ref a fptr))) (set! fptr (- fptr 1)) next)))
  25. (define (unif-rand m)
  26. (let ((t (- two31 (modulo two31 m))))
  27. (let loop ((r (next-rand)))
  28. (if (<= t r) (loop (next-rand)) (modulo r m)))))
  29. (init-rand 19380110) ; happy birthday donald e knuth
  30. (set! rand (lambda seed
  31. (cond ((null? seed) (/ (next-rand) two31))
  32. ((eq? (car seed) 'get) (cons fptr (vector->list a)))
  33. ((eq? (car seed) 'set) (set! fptr (caadr seed))
  34. (set! a (list->vector (cdadr seed))))
  35. (else (/ (init-rand (modulo (numerator
  36. (inexact->exact (car seed))) two31)) two31)))))
  37. (set! randint (lambda args
  38. (cond ((null? (cdr args))
  39. (if (< (car args) two31) (unif-rand (car args))
  40. (floor (* (next-rand) (car args)))))
  41. ((< (car args) (cadr args))
  42. (let ((span (- (cadr args) (car args))))
  43. (+ (car args)
  44. (if (< span two31) (unif-rand span)
  45. (floor (* (next-rand) span))))))
  46. (else (let ((span (- (car args) (cadr args))))
  47. (- (car args)
  48. (if (< span two31) (unif-rand span)
  49. (floor (* (next-rand) span))))))))))
  50.  
  51. (define (rand-list n)
  52. (let loop ((n n) (xs (list)))
  53. (if (zero? n) xs
  54. (loop (- n 1) (cons (+ (randint 100) 1) xs)))))
  55.  
  56. (define (iron-bar n)
  57. (do ((i 1 (+ i 1))) ((< n i))
  58. (let* ((xs (rand-list 1001)) (actual-median (list-ref (sort xs <) 500)))
  59. (let loop ((med (car xs)) (xs (cdr xs)))
  60. (if (null? xs)
  61. (for-each display `(,i ": actual median = "
  62. ,actual-median ", iron-bar median = " ,med #\newline))
  63. (loop (+ (if (< (car xs) med) -1 1) med) (cdr xs)))))))
  64.  
  65. (iron-bar 25)
Success #stdin #stdout 0.39s 7360KB
stdin
Standard input is empty
stdout
1: actual median = 48.0, iron-bar median = 52.0
2: actual median = 52.0, iron-bar median = 53.0
3: actual median = 53.0, iron-bar median = 54.0
4: actual median = 51.0, iron-bar median = 56.0
5: actual median = 51.0, iron-bar median = 51.0
6: actual median = 50.0, iron-bar median = 53.0
7: actual median = 49.0, iron-bar median = 53.0
8: actual median = 51.0, iron-bar median = 56.0
9: actual median = 52.0, iron-bar median = 53.0
10: actual median = 53.0, iron-bar median = 54.0
11: actual median = 52.0, iron-bar median = 48.0
12: actual median = 51.0, iron-bar median = 47.0
13: actual median = 51.0, iron-bar median = 55.0
14: actual median = 49.0, iron-bar median = 43.0
15: actual median = 51.0, iron-bar median = 44.0
16: actual median = 53.0, iron-bar median = 62.0
17: actual median = 52.0, iron-bar median = 43.0
18: actual median = 49.0, iron-bar median = 43.0
19: actual median = 47.0, iron-bar median = 49.0
20: actual median = 51.0, iron-bar median = 52.0
21: actual median = 50.0, iron-bar median = 52.0
22: actual median = 50.0, iron-bar median = 44.0
23: actual median = 50.0, iron-bar median = 47.0
24: actual median = 50.0, iron-bar median = 49.0
25: actual median = 51.0, iron-bar median = 69.0