从方案中的深度递归循环获取变量

Question

我有一个深度递归过程，当它找到问题的解决方案时会输出一个列表，但这个列表是非常深度递归创建的。这是代码：（

(define (dfs start target)
  (define (dfs-helper start target path new-links final-path)
    (display final-path) (newline)
    (if (null? final-path)
       (if (or (null? new-links) (member start path)) '()
               (first-not-null (lambda (x)
                                 (if (= start target) (dfs-helper x target path '() (append path (list start))) (dfs-helper x target (append path (list start)) (get-neighbors x) final-path)))
                           (get-neighbors start))

       )
       final-path 
    )
 )
 (dfs-helper start target '() (get-neighbors start) '())
)

我对奇怪的格式表示歉意）

无论如何，这会输出以下内容：

...
()
()
(1 7 20 15 22 23 39 40 49 41 31 25 17 18 9 19 26 36 27 12 11 10 3 13 14 21 28 37 43 53 44 52 51 42 50 54 57 58 61 62 60 63)
7

这是我需要的最后一行的第二行。正如你所看到的，当我显示“最终路径”时，我得到了我想要的，但由于某种原因（我认为是因为所有递归调用），最后的实际变量只是 7，而不是所有数字的列表我想。如何让我的代码输出最后一行的那一秒，以便我可以操作它返回的列表？

Answer 1

噢...这段代码可以更简单。让我提出一些建议。

首先，在父函数内部定义助手对你没有帮助；它使得独立测试变得不可能；将其移到外面。

接下来，我不清楚为什么你有两个参数，“路径”和“最终路径”；一行目的陈述在这里确实很有帮助。其中一部分是决定您的函数在失败时应该返回什么。

最后，您确实需要一些测试用例来显示简单输入应该产生什么结果。

我意识到您完全有可能正在寻找“快速解决方案”；我应该告诉你，在其他事情之上抛出可变变量的解决方案肯定不会在我的课堂上获得好成绩......

提前为我傲慢的语气道歉:)。

Answer 2

不要将带有换行符的 final-path 显示为您无法访问的打印输出，而是创建一个列表作为 dfs 对象的成员。然后追加到该列表成员上，并在 dfs 返回时处理该列表。例如：

(define (dfs start target)
  (define return-list '()) ;;add a return list here that you will process later
  (define (dfs-helper start target path new-links final-path)
    ;;(display final-path) (newline)
    (set! return-list (cons final-path return-list)) ;;so you are now "building up" the return list
    (if (null? final-path)
       (if (or (null? new-links) (member start path)) '()
               (first-not-null (lambda (x)
                                 (if (= start target) (dfs-helper x target path '() (append path (list start))) (dfs-helper x target (append path (list start)) (get-neighbors x) final-path)))
                           (get-neighbors start))

       )
       final-path 
    )
 )
 (dfs-helper start target '() (get-neighbors start) '())

 ;;process the return-list value to get the values you're wanting from it ...
 ;;I'm guessing there is something specific you're looking for, i.e., you can
 ;;filter out all the empty-list elements, single-value elements, etc.
)