F# 中的邻接表深度优先搜索

Question

我有一个结构如下的列表：

0 ; (0,0,G) ; []
1 ; (9,0,B) ; []
2 ; (9,9,R) ; []
3 ; (-1,-1,E) ; []
4 ; (-1,-1,E) ; []
5 ; (-1,-1,E) ; []
6 ; (-1,-1,E) ; []
7 ; (-1,-1,E) ; []
8 ; (-1,-1,E) ; []

列表中的每个项目都有一个索引、一个元组和一个包含邻居索引的附近邻居列表。

我的搜索从索引 1 或索引 2 开始，我需要从它们到索引 0 的所有路径。此外，我还需要一个包含路径上所有索引的列表。

我已经使用递归来实现它，并且正在使用全局可变变量 (blueChains) 来存储所有可能的路径。我想在不使用全局变量的情况下做同样的事情，但相反，我希望函数 return 所有路径的列表，因为它会在我的代码的其他部分引起问题。

我的函数是这样的：

let rec traverseBlue index visited = 

    match index with 
    | 0 ->
        let newVisited = 0 :: visited
        blueChains <- newVisited :: blueChains
        printfn "Golden Cog Reached! Blue wins the game!"
        currentGameStatus <- WonByB 
    | ind -> 
        if not (List.contains ind visited) then
            let newVisited = ind :: visited
            blueChains <- newVisited :: blueChains
            printfn "INDEX: %i VISITED: %A" ind newVisited
            for i in tree.[ind].connectedNodes do
                traverseBlue i newVisited

我得到的输出是：

INDEX: 1 VISITED: [1]
INDEX: 3 VISITED: [3; 1]
BLUE CHAINS : [[1]; [1; 3]]

我想为蓝色链获得相同的值，但不使用全局变量

Answer 1

感谢@glennsl 解决了我的问题，这就是我最终所做的。

let rec traverseBlue index visited oldBlueChains = 

let mutable blueChains = []
match index with 
| 0 ->
    let newVisited = 0 :: visited
    blueChains <- newVisited :: oldBlueChains
    printfn "Golden Cog Reached! Blue wins the game!"
    currentGameStatus <- WonByB 
    blueChains
| ind -> 
    if not (List.contains ind visited) then
        let newVisited = ind :: visited
        blueChains <- newVisited :: oldBlueChains
        printfn "INDEX: %i VISITED: %A" ind newVisited
        for i in tree.[ind].connectedNodes do
            blueChains <- (traverseBlue i newVisited blueChains) @ blueChains

F# 中的邻接表深度优先搜索

Depth First Search for adjacency list in F#

recursion

f#

depth-first-search