lisp - 通用 LISP (SBCL) : Returning values from within loops

Question

前言:我目前正在上一门显然是用 LISP 教授的精简类(class)，而且我一生中从未使用过 LISP，所以我不得不用一个周末的时间来学习这门语言。我提前为糟糕的代码道歉。我只是对 LISP 的语法足够熟悉，足以让代码正常工作，仅此而已。

我目前正在开发一个解决 map 着色问题的程序。此代码采用一个序列，其中每个子序列的第一个元素是状态，第二个元素表示颜色。例如:'((A R) (B G) (C G) (D Y) (E B) (F B)) 然后检查以确保没有状态与它所约束的状态(由约束列表定义)具有相同的颜色。我知道可能有很多更简洁、更简单的方法可以做到这一点，但我目前正在努力的是让我的 dolist 循环在满足 if 语句时立即返回值 T。到目前为止，我一直无法让函数简单地返回一个值，不得不求助于将变量设置为 true 并等待循环完成以使代码工作的这种非常丑陋/错误的方法。我试过使用 return 并在 if 语句中只包含 T，但在这两种情况下，循环都会结束而不是返回值，我不知道为什么。

(setq constraint '((A (B C E)) (B (A E F)) (C (A E F)) (D (F)) (E (A B C F)) (F (B C D E))))

(defun check_constraint (f s)
    (setf ans nil)
    (dolist (state constraint)
        (if (eq (first state) f)
            (if (search (list s) (second state))
                (setf ans T) ;;where I want it to just return T
            )
        )
    )
    ans
)

;;ex: ((A R) (B R)  (C B)  (D R)  (E B)  (F G))
(defun check_conflict (lst)
    (setf anb nil)
    (dolist (state lst)
        (dolist (neighbor (remove state lst))
            (if (check_constraint (first state) (first neighbor))
                (if (eq (second state) (second neighbor))
                    (setf anb T)) ;;where I want it to just return T
            )
        )
    )
    anb
)

编辑:我最后只是用递归来解决这个问题。现在代码更清晰了，但我仍然很想知道我的问题是什么。这是递归代码。

(setq constraint '((A (B C E)) (B (A E F)) (C (A E F)) (D (F)) (E (A B C F)) (F (B C D E))))

(defun check_constraint (lst f s)
    (COND
        ((null lst) nil)
        ((search (list (car (car lst))) f)
            (if (search s (second (car lst))) T))
        (t (check_constraint (cdr lst) f s))
    )
)

(defun check_neighbor (check lst)
    (COND
        ((null lst) nil)
        ((check_constraint constraint (list (car check)) (list (first (first lst))))
            (if (eq (second check) (second (car lst))) T))
        (t (check_neighbor check (cdr lst)))
    )
)

;;(check_state '((A R) (B R) (C B) (D R) (E B) (F G)))
(defun check_state (lst)
    (COND
        ((null lst) nil)
        ((check_neighbor (car lst) (cdr lst)) T)
        (t (check_state (cdr lst)))
    )
)

Answer 1

首先是一些样式问题。你应该使用 DEFVAR or DEFPARAMETER声明全局变量。这些名称还应该有星号，以表明它们是全局的(或实际上是特殊的)。

(defparameter *constraint*
  '((A (B C E))
    (B (A E F))
    (C (A E F))
    (D (F))
    (E (A B C F))
    (F (B C D E))))

Lisp 命名事物的约定是在单词之间使用破折号(CHECK-CONSTRAINT 而不是 CHECK_CONSTRAINT)。您还应该更喜欢变量名的完整单词而不是缩写(LIST 而不是 LST)。右括号不应单独占一行。

然后是实际问题。您可以使用 RETURN从名为 NIL 的 block 返回一个值。循环建立这样一个 block ，所以你可以像这样写第一个函数

(defun check-constraint (first second)
  (dolist (state *constraint*)
    (when (and (eq first (first state))
               (member second (second state)))
      (return t))))

当只有 then 分支时，最好使用 WHEN 而不是 IF。我还使用 AND 将两个 IF 合并为一个。由于您将 S 包装在使用 SEARCH 的列表中，我想您可能想改用 MEMBER(尽管我不确定，因为我不完全知道代码应该做什么)。如果有误，您可以改回原样。

您可能还可以将其简化为

(defun check-constraint (first second)
  (member second (second (find first *constraint* :key #'first))))

在第二个函数中有两个循环。如果您使用 RETURN 从内部循环返回，您最终只会继续外部循环并忽略返回值。所以你必须使用 RETURN-FROM从函数而不是内部循环返回。

(defun check-conflict (list)
  (dolist (state list)
    (dolist (neighbor (remove state list))
      (when (and (check-constraint (first state) (first neighbor))
                 (eq (second state) (second neighbor)))
        (return-from check-conflict t)))))