如何解决这个 Ocaml 字典问题？

Question

我必须编写一个以字典和字符为参数的函数。字典是字符串到字符串的，你应该把它看作一个函数。例如 f("a")="b" in ("a", "b")。该函数返回一个定义了 f^number(character) 的最大数字，如果 f(character) 在无穷大处循环，则返回一个异常。

所以如果我有例如这本字典 [("a", "b");("b", "c");("d", "e");("e", "f" );("f", "e")] 我的函数用这本字典上诉，字符“a”将给出结果 2（a 进入 b，b 进入 c 并停止）；对于“x”，它将给出 0，因为没有这样的密钥；对于“b”，结果将为 1（b 进入 c 并停止）；对于“d”，它将引发异常（d 进入 e，e 进入 f，f 进入 e 并在 e 中返回，因此无限循环）； 'e' 或 'f' 的相同例外

模块 MS = Map.Make(String);; 让 d = MS.add "a" "b" (MS.add "b" "c" (MS.add "d" "e" (MS.add "e" "f" (MS.add "f" " e" MS.empty))));; 让 f d c =

我刚刚创建了字典，因为我不知道如何实现这个问题，但我认为我需要 MS.Fold 函数来浏览字典。

Answer 1

折叠的目的是“访问”结构的所有元素，同时积累一些期望的结果。您的目标不是访问字典中的所有元素（秘密地是一个图表）。所以弃牌可能不是你想要的。

我想说您的主要问题是检测周期，以便您可以引发异常。为此，您需要跟踪您去过的地方。然后当你第二次来到某个地方时引发异常。

否则，我会说这是一个标准的图遍历问题。您可以使用访问节点（即在字典中查找字符串）的递归函数来解决它，直到它得到解决。解析是一个不在字典中的字符串，或者是对已经访问过的字符串的访问。

更新

好的，我将编写一些代码来说明如何在字典中移动。此函数返回一个字符串，它是它遇到的前 10 个字符串的串联。如果它在 10 点之前到达死胡同，它会返回到目前为止所看到的内容。它使用您的模块MS。

 let what_i_saw dict str =
     let rec look sofar n s =
         if n <= 0 then
             sofar
         else
             match MS.find_opt s dict with
             | None -> sofar
             | Some s2 -> look (sofar ^ s2) (n - 1) s2
     in
     look str 9 str

这是调用函数时的样子：

# what_i_saw d "d";;
- : MS.key = "defefefefe"
# what_i_saw d "a";;
- : MS.key = "abc"

顺便说一句，你说你的函数需要一个字符，但你的字典有字符串键。 OCaml 中的字符串和字符不是一回事。在这个例子中，我到处都使用字符串。