在Clojure程序中跟踪StackOverflow，其中包含SSCCE

Question

我很难追踪由我的Bron-Kerbosch算法的 clojure实现产生的stackoverflow错误。

以下是我对算法本身的实现，下面是指向SSCCE的链接，概述了问题http://pastebin.com/gtpTT4B4 。

(defn Bron-Kerbosch [r p x graph cliques]
  ;(println (str "R:" r " P:" p " X:" x " Clq:" cliques))
  (cond (and (empty? p) (empty? x)) (concat cliques r)
        :else
        (let [neigh (neighV graph (dec (count p)))]
          (loop [loop-clq '(cliques)
                 loop-cnt (dec (count p))
                 loop-p '(p)
                 loop-x '(x)]
            (cond (= -1 loop-cnt) loop-clq
                  :else
                  (recur (concat loop-clq 
                                 (Bron-Kerbosch (concat r loop-cnt) 
                                                (concat p neigh) 
                                                (filter (set x) neigh) 
                                                graph cliques))
                         (dec loop-cnt)
                         (filter (set p) loop-cnt)
                         (concat x loop-cnt)))))))

由于函数算法是递归的，因此我不得不假设问题显然在我的两个引导条件(cond (and (empty? p) (empty? x))和(cond (= -1 loop-cnt) 。

虽然这假设我正确建立了列表xrp 。 从注释掉的打印语句的输出判断（clique总是打印为EmptyList），我认为列表理解也可能是问题。

同样，我可以看到的另一个问题是我实际上没有在BK-Call函数（在SSCCEE中）正确调用算法。

我的总体问题是什么原因造成的？ 尽管这有点太开放了，但另一个可能导致我回答的问题是如何使用第一行的print语句。

当print语句取消注释时，将产生输出

R:clojure.lang.LazySeq@2044e0b9 P:clojure.lang.LazySeq@7f9700a5 X:clojure.lang.LazySeq@1 Clq:clojure.lang.PersistentList$EmptyList@1

我假设如果在每次调用时都能看到xrp ，那么我也许能够看到算法出了问题。

谁能指出我正确的方向？

编辑：来自SSCCE的neighV函数

(defn neighV [graph nodenum]
  (let [ret-list (for [i (range (count graph)) :when (contains? (graph i) nodenum)] i)]
    ret-list))

编辑2： Noisesmith的答案使我更接近解决方案，并且对我来说很有意义。 我包所有我的concat在doall 。 试图再次我正在调用该函数后“无法投龙于Seq”的错误，我想，这些从试图梗concat loop-cnt到列表中的函数

fptests.core> (BK-Call (sanity1))
IllegalArgumentException Don't know how to create ISeq from: java.lang.Long  clojure.lang.RT.seqFrom (RT.java:505)
fptests.core> (concat 1 '(2 3))
IllegalArgumentException Don't know how to create ISeq from: java.lang.Long  clojure.lang.RT.seqFrom (RT.java:505)

所以，我再包每个loop-cnt在'()把它变成一个清单之前，它是concat

fptests.core> (concat '(1) '(2 3))
(1 2 3)

完成所有这些更改后，我又回到了堆栈溢出的位置。这是新的Bron-Kerbosch函数，其中包含所有编辑内容。 我想我现在有和以前一样的问题。

尽管是新的，但我是否实施了应该正确进行的更改，使用'()来解决实施噪声史密斯更改后出现的问题是否有意义？

(defn Bron-Kerbosch1 [r p x graph cliques]
  (cond (and (empty? p) (empty? x)) (doall (concat cliques r))
        :else
        (let [neigh (neighV graph (dec (count p)))]
          (loop [loop-clq '(cliques)
                 loop-cnt (dec (count p))
                 loop-p '(p)
                 loop-x '(x)]
            (cond (= -1 loop-cnt) loop-clq
                  :else
                  (recur (doall (concat loop-clq 
                                        (Bron-Kerbosch1 (doall (concat r '(loop-cnt))) 
                                                       (doall (concat p neigh)) 
                                                       (filter (set x) neigh) 
                                                       graph cliques)))
                         (dec loop-cnt)
                         (filter (set p) '(loop-cnt))
                         (doall (concat x '(loop-cnt)))))))))

EDIT3：在耐心等待我的prn语句停止运行（不确定当我知道它在SO中时为什么将它们放入）之后，我发现大多数（即使不是全部）打印的语句都遵循

"R:" (loop-cnt loop-cnt loop-cnt loop-cnt loop-cnt loop-cnt loop-cnt ...)
"P:" (range (count graph) 0 2 3) " X:" () " Clq:" ()

在检查了这一点之后，我意识到我没有适当地递归调用该函数。 我一直在将项目与P合并，而不是将其删除。 这导致P持续增长。 这很可能是我的堆栈溢出的原因。 虽然仍然存在一些问题。 我仍然在创建一个stackoverflow。

一旦我解决了继续与P合并的问题，我的问题便是，当我concat loop-cnt时，我认为不是评估值，而是将其保留为变量名loop-cnt 。 我怀疑我的堆栈溢出现在是因为我的引导条件未得到满足，因为如果不对loop-cnt求值，则无法满足该条件。

因此，我认为我的问题现在在于concat loop-cnt作为数字而不是变量的列表。

Answer 1

concat很懒。 该建立递归调用concat上的顶部concat ，没有意识到任何懒惰的现有层，每个添加到将需要实现懒惰-SEQ呼叫的堆的大小。

此连接是否需要完全懒惰？ 如果不是，请将对concat的调用包装在对doall调用中。 这将使连接更加渴望，从而减小了实现最终结果所需的调用堆栈的大小，从而消除了StackOverflowError。

另外，打印lazy-seq并查看内容的正确方法是prn ，如果需要，可以使用pr-str获得pr或prn将用作字符串的值的形式。

Answer 2

我认为您正在滥用引用列表。

例如，在(defn Bron-Kerbosch1 [ ... ] ... ) ， '(cliques)求值为包含符号 cliques的列表，而不是包含参数 cliques作为其一个元素的列表。 您想要(list cliques) 。

类似的情况比比皆是。