写一个OCaml程序，检查矩阵A是否包含在矩阵B中

Question

尽管没有遇到Java的任何重大问题，但我不能对OCaml编程语言这么说。我应该为两个矩阵创建一个函数subMat，检查矩阵A是否是矩阵B的子矩阵，如果是，则返回true - val subMat: int list list -> int list list -> bool = <fun>

我很感激任何帮助，因为我真的不知道如何解决这个问题。

Answer 1

使用size_t count = count_leaf(lem->start); pthread_t threads[count]; for (size_t i = 0; i < count; ++i) pthread_create(&threads[i], ...); ... for (size_t i = 0; i < count; ++i) pthread_join(threads[i], NULL); 或int array array然后应用传统的命令式编程方法可以解决此问题。

另一种方法是将矩阵连接到Bigarray.Array2并应用子字符串查找算法，例如，Knuth-Morris-Pratt（或者如果你不想过于花哨，就发明你自己的算法）。 / p>