有人可以指导我或解释如何在 LISP 中执行回溯吗?任何示例或链接将不胜感激。
我确实尝试过 google ,但是他们都没有足够简单的例子让我理解。
谢谢
最佳答案
典型的方法是让非可变状态向下传递调用堆栈,辅助函数采用当前状态 - 将新状态返回到“假”突变。
一个可能的(虽然不是最理想的)数独解算器将是:
;;; Use a list of 81 integers to represent a sudoku board,
;;; each number 1-9 represents itself, 0 represents a blank
(defun sudoku-solver (board)
(cond ((notany #'zerop board)
(if (sudoku-solved-p board)
board
nil))
(t (let ((positions (sudoku-all-blanks board)))
(loop for position in positions
do (loop for number in '(1 2 3 4 5 6 7 8 9)
do (let ((result (sudoku-solver
(sudoku-set board
position
number))))
(when result
(return-from sudoku-solver result)))))))))
这将自动回溯,直到找到解决方案。我已经跳过了用支持代码来掩盖演示的过程,这些代码会将演示从演示转换为实际工作代码。
关于LISP 回溯,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/6842070/