2

スキームでは、新しい乗算関数は次のとおりです。

( define ( iter b a n)
    ( cond (( = b 0) n)
           (( even? b) ( iter ( / b 2) ( * 2 a) n))
           ( else ( iter ( - b 1) ( / ( * a b) ( - b 1)) ( + a ( * a ( - b 1)))))))

( define ( mul b a)
    ( iter b a 1))

質問では、この問題に対処するために再帰的な方法ではなく反復的な方法を使用する必要があります。私の考えは次のとおりです。

for example: ( mul 2 3 ) 

        b     a     n

 begin: 2     3     1
 1    : 1     6     1
 2    : 0     6/0   6

明らかに、ステップ 2 では、a は 6/0 に等しくなります。それは不可能なはずです。しかし、機能はうまく機能します。誰でもこれを説明できますか？これは、オンラインの Scheme インタープリターの例です。

4

1 に答える 1

3

いいえ、機能がうまく動作しません。プロシージャの新しい定義をコピーして再度実行すると、次のエラーが表示されます。

(define (iter b a n)
  (cond ((= b 0) n)
        ((even? b)
         (iter (/ b 2) (* 2 a) n))
        (else
         (iter (- b 1) (/ (* a b) (- b 1)) (+ a (* a (- b 1)))))))

(define (mul b a)
  (iter b a 1))

(mul 2 3)
=> /: division by zero

b実際、予想される解決策はこれらの線に沿ったものであり、それが否定的な場合には特別な注意を払う必要があることに注意してください。

(define (iter a b n)
  (cond ((zero? b) n)
        ((even? b)
         (iter (+ a a) (/ b 2) n))
        (else
         (iter a (- b 1) (+ a n)))))

(define (mul a b)
  (if (< b 0)
      (- (iter a (- b) 0))
      (iter a b 0)))

そして、あなたの例に従って、実行時に各反復でパラメーターがどのように見えるかを次に示します(mul 2 3)。

        a     b     n
 begin: 2     3     0
 1    : 2     2     2
 2    : 4     1     2
 3    : 4     0     6
于 2013-10-02T03:31:55.953 に答える