sicp每日一题[2.73]

合集 - sicp(77)

1.sicp每日一题[1.42]2024-09-032.sicp每日一题[1.43]2024-09-033.sicp每日一题[1.44]2024-09-044.sicp每日一题[1.45]2024-09-055.sicp每日一题[1.46]2024-09-066.sicp每日一题[2.1]2024-09-077.sicp每日一题[2.2]2024-09-088.sicp每日一题[2.3]2024-09-099.sicp每日一题[2.4]2024-09-1010.sicp每日一题[2.5]2024-09-1111.sicp每日一题[2.6]2024-09-1212.sicp每日一题[2.7]2024-09-1313.sicp每日一题[2.8]2024-09-1314.sicp每日一题[2.9]2024-09-1415.sicp每日一题[2.11]2024-09-1516.sicp每日一题[2.10]2024-09-1617.sicp每日一题[2.12]2024-09-1618.sicp每日一题[2.13-2.16]2024-09-1719.sicp每日一题[2.17]2024-09-1820.sicp每日一题[2.18]2024-09-1921.sicp每日一题[2.19]2024-09-2022.sicp每日一题[2.20]2024-09-2123.sicp每日一题[2.21]2024-09-2224.sicp每日一题[2.22-2.23]2024-09-2325.sicp每日一题[2.24-2.27]2024-09-2426.sicp每日一题[2.28]2024-09-2527.sicp每日一题[2.29]2024-09-2628.sicp每日一题[2.30]2024-09-2729.sicp每日一题[2.31]2024-09-2830.sicp每日一题[2.32]2024-09-2831.sicp每日一题[2.33]2024-09-2932.sicp每日一题[2.34]2024-09-3033.sicp每日一题[2.35]2024-10-0634.sicp每日一题[2.36-2.37]2024-10-0835.sicp每日一题[2.38-2.39]2024-10-0936.sicp每日一题[2.40]2024-10-1037.sicp每日一题[2.41]2024-10-1138.sicp每日一题[2.42]2024-10-1239.sicp每日一题[2.43]2024-10-1340.sicp每日一题[2.44]2024-10-1441.sicp每日一题[2.45]2024-10-1542.sicp每日一题[2.46]2024-10-1643.sicp每日一题[2.47]2024-10-1744.sicp每日一题[2.48]2024-10-1845.sicp每日一题[2.49]2024-10-1946.sicp每日一题[2.50]2024-10-2047.sicp每日一题[2.51]2024-10-2148.sicp每日一题[2.52]2024-10-2249.sicp每日一题[2.53-2.55]2024-10-2350.sicp每日一题[2.56]2024-10-2451.sicp每日一题[2.57]2024-10-2552.sicp每日一题[2.58]2024-10-2653.sicp每日一题[2.59]2024-10-2754.sicp每日一题[2.60]2024-10-2855.sicp每日一题[2.61]2024-10-2956.sicp每日一题[2.62]2024-10-3057.sicp每日一题[2.63-2.64]2024-10-3158.sicp每日一题[2.65]2024-11-0159.sicp每日一题[2.66]2024-11-0260.sicp每日一题[2.67-2.68]2024-11-0361.sicp每日一题[2.69]2024-11-0462.sicp每日一题[2.70]2024-11-0563.sicp每日一题[2.71]2024-11-0664.sicp每日一题[2.72]2024-11-07

65.sicp每日一题[2.73]2024-11-09

66.sicp每日一题[2.74]2024-11-1167.sicp每日一题[2.75]2024-11-1268.sicp每日一题[2.76]2024-11-1369.sicp每日一题[2.77]2024-11-1470.sicp每日一题[2.78]2024-11-1571.sicp每日一题[2.79]2024-11-1672.sicp每日一题[2.80]2024-11-1773.sicp每日一题[2.81]2024-11-1874.sicp每日一题[2.82]2024-11-1975.sicp每日一题[2.83]2024-11-2076.sicp每日一题[2.84]2024-11-2177.sicp每日一题[2.85-2.86]2024-11-23

收起

最近状态不太好，再加上2.73前面的内容有点多，学的有点吃力，所以昨天就没做。。

Exercise 2.73

Section 2.3.2 described a program that performs symbolic differentiation:

(define (deriv exp var)
  (cond ((number? exp) 0)
        ((variable? exp)
         (if (same-variable? exp var) 1 0))
        ((sum? exp)
         (make-sum (deriv (addend exp) var)
                   (deriv (augend exp) var)))
        ((product? exp)
         (make-sum (make-product
                    (multiplier exp)
                    (deriv (multiplicand exp) var))
                   (make-product
                    (deriv (multiplier exp) var)
                    (multiplicand exp))))
        ⟨more rules can be added here⟩
        (else (error "unknown expression type: DERIV" exp))))

We can regard this program as performing a dispatch on the type of the expression to be differentiated. In this situation the “type tag” of the datum is the algebraic operator symbol (such as +) and the operation being performed is deriv. We can transform this program into data-directed style by rewriting the basic derivative procedure as

(define (deriv exp var)
  (cond ((number? exp) 0)
        ((variable? exp) (if (same-variable? exp var) 1 0))
        (else ((get 'deriv (operator exp))
               (operands exp) var))))

(define (operator exp) (car exp))
(define (operands exp) (cdr exp))

a. Explain what was done above. Why can’t we assimilate the predicates number? and variable? into the data-directed dispatch?
b. Write the procedures for derivatives of sums and products, and the auxiliary code required to install them in the table used by the program above.
c. Choose any additional differentiation rule that you like, such as the one for exponents (Exercise 2.56), and install it in this data-directed system.
d. In this simple algebraic manipulator the type of an expression is the algebraic operator that binds it together. Suppose, however, we indexed the procedures in the opposite way, so that the dispatch line in deriv looked like

((get (operator exp) 'deriv) (operands exp) var)

What corresponding changes to the derivative system are required?

---

首先做这道题之前要先把 put 和 get 函数给加进来

(define *operation-table* (make-hash))

(define (put op-type op-name procedure)
  (hash-set! *operation-table* (list op-type op-name) procedure))

(define (get op-type op-name)
  (hash-ref *operation-table* (list op-type op-name) #f))

a. 上面的程序就是从 data-directed dispatch 表里取出一个操作为 deriv，类型为 (operator exp) 的过程，并把表达式和变量传给这个提取出的过程。不把 number? 和 variable? 放到 data-directed dispatch 表的原因是因为它们两个只需要一个参数，而这个程序会给取出的过程2个参数。我看到别人的答案基本都是说这两个过程没有标签，而且不需要加标签，所以不能放入 data-directed dispatch 表，但是题目问的是 why can't，它们的解释不是 can't 而是 needn't，不知道我的理解对不对。
b&c. 这两问情况一样，难度也不大，参考 2.56 的练习，只需要修改一下取操作数的逻辑就可以了，因为 “+, *, **” 本身已经作为区分采用哪个过程的符号，所以取操作数不是从第二个取，而是第一个，其他地方就照搬过来就可以了。

(define (install-deriv-package)
  ;; internal procedures
  ;; sum
  (define (make-sum a1 a2)
    (cond ((=number? a1 0) a2)
          ((=number? a2 0) a1)
          ((and (number? a1) (number? a2)) (+ a1 a2))
          (else (list '+ a1 a2))))

  (define (sum? x) (and (pair? x) (eq? (car x) '+)))

  (define (addend s) (car s))

  (define (augend s) (cadr s))

  (define (sum-deriv expr var) 
    (make-sum (deriv (addend expr) var) 
              (deriv (augend expr) var))) 

  ;; product
  (define (make-product m1 m2)
    (cond ((or (=number? m1 0) (=number? m2 0)) 0)
          ((=number? m1 1) m2)
          ((=number? m2 1) m1)
          ((and (number? m1) (number? m2)) (* m1 m2))
          (else (list '* m1 m2))))

  (define (product? x) (and (pair? x) (eq? (car x) '*)))

  (define (multiplier p) (car p))

  (define (multiplicand p) (cadr p))

  (define (product-deriv expr var) 
    (make-sum (make-product (deriv (multiplier expr) var) 
                            (multiplicand expr))
              (make-product (multiplier expr)
                            (deriv (multiplicand expr) var))))

  ;; exponentiate
  (define (make-exponentiation base exponent)
    (cond ((=number? base 0) 0)
          ((=number? base 1) 1)
          ((and (number? base) (=number? exponent 0)) 1)
          ((and (number? base) (=number? exponent 1)) base)
          ((and (number? base) (number? exponent)) (* base (make-exponentiation base (- exponent 1))))
          (else (list '** base exponent))))

  (define (base e) (car e))

  (define (exponent e) (cadr e))

  (define (exponentation-deriv expr var) 
    (make-product (exponent expr) 
                  (make-product  
                   (make-exponentiation (base expr) 
                                        (make-sum (exponent expr) -1)) 
                   (deriv (base expr) var))))
               
  ;; interface to the rest of the system
  (put 'deriv '+ sum-deriv)
  (put 'deriv '* product-deriv)
  (put 'deriv '** exponentation-deriv)
  'done)


(install-deriv-package)


(deriv '(+ x x x) 'x) 
(deriv '(* x x x) 'x) 
(deriv '(+ x (* x  (+ x (+ y 2)))) 'x) 
(deriv '(+ x (* 3 (+ x (+ y 2)))) 'x)
(deriv '(** x 3) 'x) 

; 结果如下
'done
2
'(+ x x)
'(+ 1 (+ (+ x (+ y 2)) x))
4
'(* 3 (** x 2))

d. 这样的话，只要在使用 put 函数的时候也先传类型，再传操作就可以了。