#lang racket
(define (entry tree) (car tree))
(define (left-branch tree) (cadr tree))
(define (right-branch tree) (caddr tree))
(define (make-tree entry left right)
(list entry left right))
(define (element-of-set? x set)
(cond ((null? set) false)
((= x (entry set)) true)
((< x (entry set))
(element-of-set? x (left-branch set)))
((> x (entry set))
(element-of-set? x (right-branch set)))))
(define (adjoin-set x set)
(cond ((null? set) (make-tree x '() '()))
((= x (entry set)) set)
((< x (entry set))
(make-tree (entry set)
(adjoin-set x (left-branch set))
(right-branch set)))
((> x (entry set))
(make-tree (entry set)
(left-branch set)
(adjoin-set x (right-branch set))))))
(define (list->tree elements)
(car (partial-tree elements (length elements))))
(define (partial-tree elts n)
(if (= n 0)
(cons '() elts)
(let ((left-size (quotient (- n 1) 2)))
(let ((left-result (partial-tree elts left-size)))
(let ((left-tree (car left-result))
(non-left-elts (cdr left-result))
(right-size (- n (+ left-size 1))))
(let ((this-entry (car non-left-elts))
(right-result (partial-tree (cdr non-left-elts)
right-size)))
(let ((right-tree (car right-result))
(remaining-elts (cdr right-result)))
(cons (make-tree this-entry left-tree right-tree)
remaining-elts))))))))
(list->tree '(1 3 5 7 9 11))
运行结果
'(5 (1 () (3 () ())) (9 (7 () ()) (11 () ())))
(a)递归的思路是将一个列表的节点分为两部分,然后前面的(n-1)/2个元素组成左边的树,中间的元素是中间节点,后面的n-left个数加1组成右边树的元素,然后递归,直到n=0时,返回’()空集合,不好理解的话,可以按每一部调试程序去执行,就能清楚地看到整个的调用过程了。remaining-elts其实就是每层树遗留下来的元素,也就是右边树和中间数值组成的列表。
调用步骤罗列:
(partial-tree (1 3 5 7 9 11) 7)
(make-tree 5 (partial-tree (1 3)) (partial-tree (7 9 11) 3))
//左半部分
(partial-tree (1 3) 3)
(make-tree 1 (null (partial-tree (3) 1))
(partial-tree (3) 1)
(make-tree 3 (() ()))
//右半部分
(partial-tree (7 9 11) 3)
(make-tree 9 ((partial-tree (7) 1)(partial-tree (11) 1))
(partial-tree (7) 1)
(make-tree 7 (() ()))
(partial-tree (11) 1)
(make-tree 11 (() ()))
下面是最终的树图
(b)
接着按上面(a)小题的分解步骤,一共是6个元素,最终执行了6次make-tree,依次类推n个元素应该也是执行n次make-tree,时间复杂度应该为θ(n)。