fork download
copy 
  1. ; searching an infinite array
  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 gap 5)
  52.  
  53. (define (next n x)
  54.   (let loop ((n (- n 1)) (xs (list (+ x (randint gap) 1))))
  55.     (if (zero? n) (list->vector (reverse xs))
  56.       (loop (- n 1) (cons (+ (car xs) (randint gap) 1) xs)))))
  57.  
  58. (define (bsearch lt? x xs)
  59.   (let loop ((lo 0) (hi (- (vector-length xs) 1)))
  60.     (let ((mid (quotient (+ lo hi) 2)))
  61.       (cond ((< hi lo) #f)
  62.             ((lt? x (vector-ref xs mid))
  63.               (loop lo (- mid 1)))
  64.             ((lt? (vector-ref xs mid) x)
  65.               (loop (+ mid 1) hi))
  66.             (else mid)))))
  67.  
  68. (define (search k)
  69.   (let loop ((base 0) (two 2) (ary (next 1 0)))
  70.     (display ary) (newline)
  71.     (let ((x (vector-ref ary (- (vector-length ary) 1))))
  72.       (if (< x k)
  73.           (loop (+ base (/ two 2)) (* two 2) (next two x))
  74.           (let ((idx (bsearch < k ary)))
  75.             (if idx (+ base idx) #f))))))
  76.  
  77. (display (search 79)) (newline)
  78. (display (search 79)) (newline)
  79. (display (search 79)) (newline)
  80. (display (search 79)) (newline)
  81. (display (search 79)) (newline)
Success #stdin #stdout 0.02s 8952KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
#(1)
#(3 4)
#(9 12 17 21)
#(26 31 36 40 44 49 54 57)
#(61 66 67 71 72 76 80 85 90 91 95 96 97 101 102 107)
#f
#(2)
#(6 9)
#(14 15 16 20)
#(25 30 34 37 39 44 49 52)
#(57 59 63 66 69 74 75 78 80 82 85 88 89 94 95 98)
#f
#(4)
#(9 12)
#(16 17 21 26)
#(27 28 29 34 37 38 39 43)
#(47 48 51 56 60 65 67 70 72 74 75 76 80 84 86 87)
#f
#(1)
#(5 10)
#(15 17 21 25)
#(26 28 31 35 40 43 48 51)
#(53 55 59 60 65 69 70 72 75 79 81 84 85 87 92 97)
24
#(4)
#(6 10)
#(11 13 16 18)
#(22 25 29 33 36 40 41 46)
#(51 55 59 61 65 69 72 77 81 84 89 90 95 100 104 109)
#f
https://ideone.com/yIXP5W
language:
Scheme (guile 2.2.4)
created:
7 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!