Question

这个问题是关于本课程的练习：http://iloveponies.github.io/120-hour-epic-sax-marathon/sudoku.html

我对函数solve的实现返回已解决的数独板，但除此之外还有很多空列表。我的所有其他功能都正常工作，不返回任何空列表。我无法弄清楚为什么会这样。

以下是相关代码：

(defn solve [board]
  (if-let [point (find-empty-point board)]
    (let [valid-values (valid-values-for board point)]
      (for [value valid-values]
        (solve (set-value-at board point value))))
    (if (valid-solution? board)
      board)))

(def sudoku-board
  (board [[5 3 0 0 7 0 0 0 0]
          [6 0 0 1 9 5 0 0 0]
          [0 9 8 0 0 0 0 6 0]
          [8 0 0 0 6 0 0 0 3]
          [4 0 0 8 0 3 0 0 1]
          [7 0 0 0 2 0 0 0 6]
          [0 6 0 0 0 0 2 8 0]
          [0 0 0 4 1 9 0 0 5]
          [0 0 0 0 8 0 0 7 9]]))

输出：

(solve sudoku-board)
(((((()) ())
((((((() (())) (())) ((() (())) ((()))) ((()) ((()))))))
(() ((((() (())) (())) ((() (())) ((()))) ((()) ((()))))))
(((((() (())) (())) ((() (())) ((()))) ((()) ((())))))))
((()) (())))
(((((((() (())) (())) ((() (())) ((()))) ((()) ((()))))))
(() ((((() (())) (())) ((() (())) ((()))) ((()) ((()))))))
(((((() (())) (())) ((() (())) ((()))) ((()) ((())))))))

...

(((((((((((((((([[5 3 4 6 7 8 9 1 2]
                                                    [6 7 2 1 9 5 3 4 8]
                                                    [1 9 8 3 4 2 5 6 7]
                                                    [8 5 9 7 6 1 4 2 3]
                                                    [4 2 6 8 5 3 7 9 1]
                                                    [7 1 3 9 2 4 8 5 6]
                                                    [9 6 1 5 3 7 2 8 4]
                                                    [2 8 7 4 1 9 6 3 5]
                                                    [3 4 5 2 8 6 1 7 9]]))))))))))

...

((((((((()) ((((((()) (()))))) (((((((()))) ((())))))))) ((((((() ()) (())))) ((((() ()) (()))))) (())))
                  (((((((() ())))) ((((() ()))))) (()) (((((() ())))) ((((() ()))))))
                   ((((())) ()) ((() (())) (()) (())))
                   (((() (((())))) (()) (())) (((((())))) ())))
                  (((()) ((((((()) (()))))) (((((((()))) ((())))))))) (((((((((((((()))))))))))) ())))))
                ()))))))
          ())))))
     ())))))

Answer 1

正如coredump所说，你需要更加谨慎地结合你的递归调用的结果。特别要注意你的＆＃34;返回类型＆＃34;不一致：在else的{{1}}分支中，您返回一个解决方案，但在if-let分支中，您会返回由then生成的解决方案列表。

为了能够有意义地调用您的函数，它应该返回一致的类型：解决方案列表。这是一个简单的更改，它将返回值更改为始终为列表，并确保连接所有子列表以避免引入额外的嵌套级别：

for

Answer 2

for构造将列表推导体中计算的每个值累积为延迟序列。当您递归调用solve时，您将在嵌套序列等中计算此类序列。

您应该附加这些列表，以便将结果展平。

就个人而言，但我不确定它是如何惯用的Clojure，我只接受回调函数fn并执行doseq而不是for，以便每个解决方案板，你只需要在该板上调用fn（你实现一个生成器）。呼叫者可以通过解决方案做任何事情。

递归在Clojure中产生额外的空列表

2 个答案: