F# 在树中搜索 F#

Question

在递归树类型中找到一个'item/object/type'，树类型是UNSORTED，因此二分查找操作不会成功。

Type Tree = T of (Name*Children)
And Children = Tree list
//findTree :Tree*Name -> Tree

我的代码（不起作用）

let rec findTree t n = List.find(fun (T(nameTree,childTree)) -> n=nameTree ) t

我尝试过使用递归和辅助函数，但结果非常混乱，没有成功。

Answer 1

您的基本类型本质上是这样的（清理了缺失的类型）：

type Tree = 
    | Tree of (string * Tree list)

现在树是未排序的，所以你能做的最好的就是线性搜索，递归地沿着子节点向下直到找到匹配。在以下情况下，搜索是深度优先的：

[<CompilationRepresentationAttribute(CompilationRepresentationFlags.ModuleSuffix)>]
module Tree = 
    let find p tree = 
        let rec findInner t =
            match t with
            | Tree(n, _) when p(n) -> Some(t)
            | Tree(_, children) -> children |> Seq.choose (findInner) 
                                            |> Seq.tryFind (fun _ -> true)
            | Tree(_, []) -> None
        findInner tree

如果需要，您可以使用List.choose 和List.tryFind，我使用了Seq，所以它会在tryFind 上提前停止。 此外，此版本在名称上有谓词匹配。如果您总是想使用相等，您可以添加名称作为参数并将p 替换为name 和when p(n) 到when n = name。

现在，做一个小测试：

let tree = Tree("A", 
                [Tree("B", 
                    [Tree("C",[]); 
                     Tree("D", 
                        [Tree("E",[])])
                    ]); 
                Tree("F",[])
                ])

tree |> Tree.find (fun n -> n = "B") |> printfn "%A"
tree |> Tree.find (fun n -> n = "D") |> printfn "%A"
tree |> Tree.find (fun n -> n = "E") |> printfn "%A"
tree |> Tree.find (fun n -> n = "TEST") |> printfn "%A"
tree |> Tree.find (fun n -> n = "F") |> printfn "%A"

分别打印哪些：

Some (Tree ("B", [Tree ("C", []); Tree ("D", [Tree ("E", [])])]))
Some (Tree ("D", [Tree ("E", [])]))
Some (Tree ("E", []))
<null>
Some (Tree ("F", []))