hilbert

Aus ProgrammingWiki

Archivierte Version vom 2012-04-01T17:42:47+00:00. Aktuelle Version

Inhaltsverzeichnis

1 Arbeiten mit Streams
2 Hilberthotel
3 einzelne Gäste
4 kleine Reisegruppe
5 Hilbertbus
6 Hilberbtbus-Konvoi
7 TODO

Arbeiten mit Streams

Definition von grundlegenden Funktionen für die Arbeit mit Streams:

;; Selektoren
(define stream-car car)
(define stream-cdr
  (lambda (stm)
    (force (cdr stm))))

;; Konstruktoren
(define-syntax stream-cons
  (syntax-rules ()
    ((_ head tail) (cons head (delay tail)))))

;; Praedikat
(define stream?
  (lambda (stm)
    (and (pair? stm)(promise? (cdr stm)))))

;; Operationen mit streams
(define print-stream
  (lambda (stm n)
    (cond
      ((<= n 0) (display "...\n"))
      (else
       (display (stream-car stm))
       (display ", ")
       (print-stream (stream-cdr stm) (- n 1))))))
(define stream-item
  (lambda (str k)
    (if (= k 0)
      (stream-car str)
      (stream-item (stream-cdr str) (- k 1)))))

Hilberthotel

Das Hilberthotel besitzt undendlich viele Zimmer. Leere Zimmer werden mit "#f" gekennzeichnet.

(define baue-hilberthotel
  (lambda ()
    (stream-cons #f (baue-hilberthotel))
  )
)

(define zeig-mir
  (lambda(hotel n)
    (print-stream hotel n)
  )
)

(define hilberthotel (baue-hilberthotel))

(zeig-mir hilberthotel 11)

einzelne Gäste

(define einzelbuchung
  (lambda (value stream index)
    (if (<= index 0)
        (if (eq? (stream-car stream) #f)
            (stream-cons value (stream-cdr stream))
            (error (string-append "Error in einzelbuchung: Dieses Zimmer ist schon durch " (stream-car stream) " belegt."))
        )
        (stream-cons (stream-car stream) (einzelbuchung value (stream-cdr stream) (- index 1)))
    )
  )
)

(set! hilberthotel (einzelbuchung "Otto Grundmann" hilberthotel 3))
(set! hilberthotel (einzelbuchung "Hella Milkel" hilberthotel 2))
(set! hilberthotel (einzelbuchung "Heribert Wuischke" hilberthotel 7))

(zeig-mir hilberthotel 12)

kleine Reisegruppe

(define baue-kleinbus
  (lambda (name count)
    (if (> count 0) 
        (append (baue-kleinbus name (- count 1)) (list (cons name count)))
        (list (cons name count))
    )
  )
)
(define kleingruppenbuchung
  (lambda (list stream)
    (if (null? list)
        stream
        (if (eq? (stream-car stream) #f)
            (stream-cons (car list) (kleingruppenbuchung (cdr list) (stream-cdr stream)))
            (stream-cons (stream-car stream) (kleingruppenbuchung list (stream-cdr stream)))
        )
    )
  )
)
(define zeig-mir-kleinbus
  (lambda (list)
    (display list)
  )
)

(define kleinbus815 (baue-kleinbus 815 8))
(set! hilberthotel (kleingruppenbuchung kleinbus815 hilberthotel))

Kleinbus kommt angefahren:

(zeig-mir-kleinbus kleinbus815)

Zimmerbelegung nach Check-In:

(zeig-mir hilberthotel 15)

Hilbertbus

(define baue-hilbertbus
  (lambda (name)
    (letrec 
      ((fabrik 
        (lambda (start)
          (stream-cons (cons name start) (fabrik (+ start 1)))
        )
      ))
      (fabrik 0)
    )
  )
)
(define check-in
  (lambda (bus-stream hotel-stream)
    (if (eq? (stream-car hotel-stream) #f)
        (stream-cons (stream-car bus-stream) (check-in (stream-cdr bus-stream) (stream-cdr hotel-stream)))
        (stream-cons (stream-car hotel-stream) (check-in bus-stream (stream-cdr hotel-stream)))
    )
  )
)

(define bus3813 (baue-hilbertbus 3813))
(set! hilberthotel (check-in bus3813 hilberthotel))
(define bus33 (baue-hilbertbus 33))

groooßer Hilbertbus kommt angefahren:

(zeig-mir bus3813 8)

Zimmerbelegung nach Check-In:

(zeig-mir hilberthotel 20)

Es scheinen keine freien Zimmer mehr zu sein, doch da kommt noch an bus gefahren:

(zeig-mir bus33 8)

Gäste müssen umziehen:

(define gehe-in-gerade
  (lambda (hotel-stream)
    (stream-cons (stream-car hotel-stream) (stream-cons #f (gehe-in-gerade (stream-cdr hotel-stream))))
  )
)

(set! hilberthotel (gehe-in-gerade hilberthotel))

(zeig-mir hilberthotel 30)

Zimmerbelegung nach Check-In:

(set! hilberthotel (check-in bus33 hilberthotel))

(zeig-mir hilberthotel 30)

Hilberbtbus-Konvoi

(define konvoimacher
  (lambda (name)
    (letrec 
      ((fabrik 
        (lambda (abteilung)
          (stream-cons (baue-hilbertbus (string-append name (number->string abteilung))) (konvoimacher name (+ abteilung 1)))
        )
      ))
      (fabrik 0)
    )
  )
)

(define zeig-mir-konvoi
  (lambda (stream n m)
    (if (<= n 0)
      (if (<= m 0)
        (display "...\n")
        (begin
          (display "..., ")
          (zeig-mir-konvoi stream 0 (- m 1))
        )
      )
     (begin
       (print-stream (stream-car stream) m)
       (zeig-mir-konvoi (stream-cdr stream) (- n 1) m)
      )
    )
  )
)

(define k1 (konvoimacher "MH"))

Macrohard macht Betriebsausflug mit folgenden Bussen (eine Zeile = 1 Bus):

(zeig-mir k1 4 8)

TODO

;; Hilberthotel



(define konvoimacher
  (lambda (name [abteilung 0])
    (stream-cons (baue-hilbertbus (string-append name (number->string abteilung))) (konvoimacher name (+ abteilung 1)))
  )
)

(define zeig-mir-alt
  (lambda (stream [n null] [m null])
    (if (stream? stream)
        (if (stream? (stream-car stream))
            (begin ;; konvoi
             (if (<= n 0)
                 (if (<= m 0)
                     (printf "...~n")
                     (begin
                      (printf "..., ")
                      (zeig-mir stream 0 (- m 1))
                     )
                  )
                 (begin
                  (print-stream (stream-car stream) m)
                  (zeig-mir (stream-cdr stream) (- n 1) m)
                 )
             )
            )
            (print-stream stream n) ;; hotel oder bus
        )
        (display stream);; alles andere, zB kleinbus (liste)
    )
  )
)

;; berechnung der Umkehrfunktion der Paarungsfunktion
(define helper-f
  (lambda (i)
    (/ (* (+ i 1) i) 2)
  )
)
(define helper-q
  (lambda (i)
    (letrec (
      (helfer
       (lambda (zaehler)
         (if (<= (helper-f zaehler) i)
             (helfer (+ zaehler 1))
             zaehler
         )
       )
      ))
      (- (helfer 0) 1)
    )
  )
)

(define zimmer
  (lambda (nr stream)
    (if (<= nr 0)
        (stream-car stream)
        (zimmer (- nr 1) (stream-cdr stream))
    )
  )
)

(define konvoi->kette
  (lambda (konvoi [index 0])
    (letrec (
      (hole-person
       (lambda (busse bus-nr platz-nr)
         (if (<= bus-nr 0)
             (zimmer platz-nr (stream-car busse)) ;; zimmer-funktion hat gleiches Prinzip :-)
             (hole-person (stream-cdr busse) (- bus-nr 1) platz-nr)
         )
       )
      ))
      (let ((j (helper-q index)))
        (let ((y (- index (helper-f j))))
          (let ((x (- j y)))
            (stream-cons (hole-person konvoi x y) (konvoi->kette konvoi (+ index 1)))
          )
        )
      )
     )
  )
)

(printf "~nMacrohard macht Betriebsausflug mit folgenden Bussen (eine Zeile = 1 Bus):~n")
(define k1 (konvoimacher "MH"))
(zeig-mir k1 4 8)

(printf "~nPassagiere treten in folgender Reihenfolge zum Check-In an:~n")
(zeig-mir (konvoi->kette k1) 20)
(printf "Zimmerbelegung nach Check-In:~n")
(force (set! hilberthotel (gehe-in-gerade hilberthotel)))
(force (set! hilberthotel (check-in (konvoi->kette k1) hilberthotel)))
(zeig-mir hilberthotel 42)

(printf "~nWere wohnt in Zimmer 234?~n")
(zeig-mir (zimmer 234 hilberthotel))

hilbert

Inhaltsverzeichnis

Arbeiten mit Streams

Hilberthotel

einzelne Gäste

kleine Reisegruppe

Hilbertbus

Hilberbtbus-Konvoi

TODO

Suche