Haskell回溯跟踪递归

Question

我在haskell中实现这个。

https://www.cs.bu.edu/teaching/alg/maze/

当达到“目标”时我能够到达获取列表但是如果目标不可访问，则列表不会更新。 例如

...#@                           !!!#@
..#..                           !!#..
.##.#     it should return      !##.#
...#.                           !!!#.

我的代码如下

path maze x y
    | x >= length (head maze) = (False, maze)
    | y >= length maze = (False, maze)
    | x < 0 = (False, maze)
    | y < 0 = (False,maze)
    | check maze x y '+' = (False, maze)
    | check maze x y '#' = (False,maze)
    | check maze x y '!' = (False, maze)
    | check maze x y 'G' = (True,maze)
    | fst east = (True,snd east)
    | fst south = (True, snd south)
    | fst west = (True, snd west)
    | fst north = (True, snd north)
    | fst noWay = (True, snd noWay)
    | otherwise = (False, maze)
            where 
                    noWay = path (changeVal maze x y '!') x (y+1)
                    north = path(changeVal maze x y '+') x (y-1)
                    south = path (changeVal maze x y '+') x (y+1)
                    east = path (changeVal maze x y '+') (x+1) y
                    west = path (changeVal maze x y '+') (x-1) y

我没有得到结果。 我是Haskell的新手，任何人都可以给我一个提升，这样我就可以解决这个愚蠢的问题。

Answer 1

你的问题的原因很快就会出现

| otherwise = (False, maze)

使用原始maze而不是返回更新的maze 。 但是，即使用snd noWay替换它也不会给你想要的输出。 （我认为它只会与马克! S中的部分向南从你的出发点。）

存在一个更大的问题：当继续下一个递归步骤时，您的函数不会保留上一步的标记，而是再次从原始maze开始。 相反，下一个递归步骤需要从前一个产生的最终迷宫标记开始。 例如（看到你的守卫向东 - >南 - >西 - >北）你需要south离开east地方，有类似的东西

south = path (snd east) x (y+1)

如果你同样修正所有方向，那么你不需要noWay 。 （在这一点上没有任何未标记的地方可供检查。）相反，如果north案例失败，那么它将标记除初始点以外的所有内容，所以你可以做

| otherwise = (False, changeVal (snd north) x y '!')