-
Notifications
You must be signed in to change notification settings - Fork 0
/
2-68.rkt
100 lines (85 loc) · 3.04 KB
/
2-68.rkt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
#lang racket
(define (make-leaf symbol weight)
(list 'leaf symbol weight))
(define (leaf? object) (eq? (car object) 'leaf))
(define (symbol-leaf x) (cadr x))
(define (weight-leaf x) (caddr x))
(define (make-code-tree left right)
(list left
right
(append (symbols left) (symbols right))
(+ (weight left) (weight right))))
(define (left-branch tree) (car tree))
(define (right-branch tree) (cadr tree))
(define (symbols tree)
(if (leaf? tree)
(list (symbol-leaf tree))
(caddr tree)))
(define (weight tree)
(if (leaf? tree)
(weight-leaf tree)
(cadddr tree)))
(define (decode bits tree)
(define (decode-1 bits current-branch)
(if (null? bits)
'()
(let ([next-branch
(choose-branch (car bits) current-branch)])
(if (leaf? next-branch)
(cons (symbol-leaf next-branch)
(decode-1 (cdr bits) tree))
(decode-1 (cdr bits) next-branch)))))
(decode-1 bits tree))
(define (choose-branch bit branch)
(cond [(= bit 0) (left-branch branch)]
[(= bit 1) (right-branch branch)]
[else (error "bad bit: CHOOSE-BRANCH" bit)]))
(define (adjoin-set x set)
(cond [(null? set) (list x)]
[(< (weight x) (weight (car set))) (cons x set)]
[else (cons (car set)
(adjoin-set x (cdr set)))]))
(define (make-leaf-set pairs)
(if (null? pairs)
'()
(let ([pair (car pairs)])
(adjoin-set (make-leaf (car pair)
(cadr pair))
(make-leaf (cdr pairs))))))
(define sample-tree
(make-code-tree (make-leaf 'A 4)
(make-code-tree
(make-leaf 'B 2)
(make-code-tree
(make-leaf 'D 1)
(make-leaf 'C 1)))))
(define sample-message '(0 1 1 0 0 1 0 1 0 1 1 1 0))
(decode sample-message sample-tree)
(define (encode message tree)
(if (null? message)
'()
(append
(encode-symbol (car message)
tree)
(encode (cdr message) tree))))
;;
(define (encode-symbol symbol tree)
(define (choose-branch-decoding tree)
(let ([left-branch-symbols (symbols (left-branch tree))]
[right-branch-symbols (symbols (right-branch tree))])
(cond [(member symbol left-branch-symbols) 'left]
[(member symbol right-branch-symbols) 'right]
[else (error "probably bad constructed tree") tree])))
(define (loop tree acc)
(cond [(null? tree) (error symbol "not found")]
[(and (leaf? tree) (eq? (symbol-leaf tree) symbol))
acc]
[else
(let ([branch (choose-branch-decoding tree)])
(cond [(eq? branch 'left)
(loop (left-branch tree) (append acc '(0)))]
[(eq? branch 'right)
(loop (right-branch tree) (append acc '(1)))]
[else (error "choose-branch-decoding returned something weird " branch)]))]))
(loop tree '()))
(decode (encode '(A D A B B C A) sample-tree) sample-tree)