OCaml-一棵树的镜像

Question

我的树类型是

    type 'a tree = Tree of 'a * 'a tree list;; 

如何获得像这样的树的镜像？ 对我来说，列出孩子列表是令人困惑的，因为我不知道该如何单独对待每个孩子，而递归白白会失去父母的踪迹吗？

编辑：我一直在努力，我认为我得到了解决方案：

    let spec arbol =
         match arbol with
         Tree(a,[])-> Tree(a,[])
         | Tree(a,l)-> Tree(a, List.rev (
                  let rec aux = function
                      Tree(a,[])::[]->Tree(a,[])::[]
                      | Tree(a,[])::l-> [Tree(a,[])]@(aux l)
                      | Tree(a,t)::[]-> [Tree(a, (List.rev (aux t)))]
                      | Tree(a,t)::l-> [Tree(a, (List.rev (aux t)))]@(aux l)
                  in aux l));;

我已经用这棵树尝试过了：

let p = Tree(1, [
    Tree(2,[]);
    Tree(3, [
        Tree(6,[]);
        Tree(7,[])
        ]);
    Tree(4,[]);
    Tree(5,[])
]);;

而我得到了# spec p;;结果# spec p;;

-: int tree = Tree (1, [
                Tree (5,[]); 
                Tree (4,[]); 
                Tree (3,[
                   Tree(7,[]); 
                   Tree(6,[])]); 
                Tree (2,[])
              ])

所以我想我的功能按预期工作。 让我知道是否不正确

Answer 1

如果我了解您要计算的函数，那么有一个非常简单的答案，需要一行代码。

不幸的是，您的代码引入了很多情况，因此很难一目了然。

在我看来，您的aux函数旨在计算树木列表的镜像。 但是，它在空白列表上不起作用。 如果您将aux重写为一个空列表，您可能会发现您不需要太多不同的情况。 特别是，您可以删除最外面的匹配项，而删除内部匹配项的一半大小写。

实际上，您的aux函数（如果正确）可以完成所有工作。 如果您正确看待它，则可以对所有内容使用aux 。

由于您正在使用List.rev ，因此我想您也可以使用List.map 。 这也是要看的东西。

更新

树本质上是递归结构，因此在查找树算法时，通常有助于想象您将如何递归使用算法。 在这种情况下，您可能会问自己如何将一棵树的所有子树的镜像放在一起以构成整个树的镜像。