對scheme的一些理解（3）

斷斷續續讀到sicp第三章，覺得scheme有點入門了，不過長久不練習，腦子又不能適應函式式程式設計模式了，覺得3.17、3.18、3.19還比較有意思，貼個自己的解題思路吧。

3.17

(define (count-unique-pair x)

(let ((db (cons 0 0)))

(define (count-pair x)

(define (add-unique-pair x db1)

(define (add-record db0 x)

(set-car! db0 x)

(set-cdr! db0 (cons 0 0))

x)(define (find-record x db0)

(if (not (pair? (car db0)))

(add-record db0 x)

(if (eq? x (car db0))

'()(find-record x (cdr db0)))))

(find-record x db1))

(if (not (pair? x))

0(if (null? (add-unique-pair x db))

0(+ (count-pair (car x))

(count-pair (cdr x))

1))))

(count-pair x)))

(define xx '(a b))

(define z1 (cons xx xx))

(define z2 (cons '(a b) '(a b)))

(count-unique-pair z1)

實現比較醜陋，基本還是過程式程式設計，使用了乙個db儲存已經遍歷過的pair，可以對付帶環的表，而且只要此pair已經遍歷過，則其子pair也不在遍歷了。相比一下純函式式寫法，這種方式還是比較清晰且容易理解的，不過存在記憶體競爭問題，不能並行執行。

3.18

此題簡化了一些，不用考慮car的環，使用3.17的儲存做法就ok了。

3.19

這個需要個小trick，要空間常量，意味著不能儲存已遍歷的pair指標，那我就用時間換空間吧，使用兩個指標，a指標一次步進1個pair，b指標一次步進2個pair，如果存在環，b指標會再次追上a指標，每次步進判斷指標是否相等就可以知道是否帶環了：）