1

特定のノードからのすべての可能なパスを含む、グラフの幅優先ツリーのような構造に似たものを構築しようとしています。ポップアップするある種のエラーほど、アルゴリズムに問題はありませんでした。以下に関連するコードを示します。

(set 'my-graph '((A (B C))
                 (B (D E))
                 (C (F G))
                 (D (E))
                 (E (H))
                 (F (H I))
                 (G (I))
                 (H (J))
                 (I (J))
                 (J ())))


(defun search-tree(graph traversed visited)
  (cond
   ((null traversed) NIL)
   (:else (let*
              ((new-visited (append visited (list (car traversed))))
               (children (add-children graph (car traversed)
                                       (append (cdr traversed) new-visited))))
            (cond
             ((null children) (list (car traversed)))
             (:else 
              (cons (car traversed)
                    (mapcar (lambda(x) (search-tree graph (list x) new-visited)) children)))
             )
            )
          )
   )
  )

;;; Selects the node to pick returned children from
(defun add-children(graph node visited)
  (cond
   ((null graph) NIL)
   ((equal (caar graph) node) (new-nodes (cadar graph) visited))
   (:else (add-children (cdr graph) node visited))
   )
  )

;;; Returns new, unvisited nodes from the children of a node
(defun new-nodes(children visited)
  (cond
   ((null children) NIL)
   ((member (car children) visited) (new-nodes (cdr children) visited))
   (:else (cons (car children) (new-nodes (cdr children) visited)))
   )
  )

関数検索ツリーは (search-tree my-graph '(A) '()) と呼ばれ、ほぼすべてを正しく返しますが、# 記号に置き換えられた最初のターミナル ノード ((J) のはずです) )。ここで何が問題になる可能性がありますか?
それが戻り値です。
(A (B (D (E (H #))) (E (H (J)))) (C (F (H (J)) (I (J))) (G (I (J)))))
コードをトレースしてみましたが、再帰の途中で (J) リストが # 記号に置き換えられた理由がわかりません。

4

1 に答える 1