排序算法中的 OCaml 匹配 0(n^2)

问题描述

我尝试了几件事。我可以不匹配小于吗？例外是多余的，以启用匹配循环。我可以想象各种各样的事情都是错误的，这段代码是错误的。如果模糊的比你比我少的概念有效，那就太好了。我承认我很沮丧。为什么我每次都在 j Array Length 作为我的 while 条件，这将不得不改变。此外，在我看来，所有数组排序方法都无法在最小的向上例程中工作，因为我了解 0(n^2)。这段代码可以将 Array.for_all 实现为排序算法吗？更新

let i = Array.length arr in
let sort (arr : array) (j : int) (k : int) =
Array.make n x = unsorted(arr : array) (n : int) (x : int) 
while i > 0 
  match j < k with
    | true -> a.(n) <- j
      | false -> failwith (Printf.sprintf "Exception Found (%d)" i) 
i - 1
;;

那是很多问题。谢谢。

更新：我非常感谢您的帮助。我知道我需要两个数组，而不是一个。完成的代码应该读取一个数组，然后返回一个数组。因此，当 k 指向最小的 j 时，算法的目的是将 j 从第一个数组中踢出，无论它在哪里，将其放入第二个数组，然后将每个 j 附加到第二个数组中。当第一个数组为空时，工作就完成了。我看到很多关于列表的信息，但关于数组的信息并不多。如何删除数组的第 j_n 个元素？ This 是一个漂亮的递归示例，用于从列表中搜索和删除元素，它可以在数组中使用吗？再次感谢

解决方法

OCaml 中的 match 被限制（本质上）用于将值（表达式）与编译时已知的一组结构化常量进行匹配。如果您想测试诸如是否 j < k 之类的东西，您应该只使用 if 表达式，即使它看起来不像异国情调和强大。

您的代码还有许多其他问题，但这似乎回答了您的主要问题。

您可以在 when 子句中使用表达式来进一步限制模式匹配的时间。简单例子：

let f x =
  match x with
  | _ when x < 5 -> true
  | _ -> false

在这种微不足道的情况下，if 当然更好，但它可以用于具有许多选项的更复杂的模式匹配。

您的代码会遇到很多问题，但要回答您的问题，我可以通过 3 种方法来执行您想做的事情：

match j < k with
  | true -> a.(n) <- j
  | false -> failwith (Printf.sprintf "Exception Found (%d)" i)

match j with
  | _ when j < k -> a.(n) <- j
  | _ -> failwith (Printf.sprintf "Exception Found (%d)" i)

if j < k 
then a.(n) <- j
else failwith (Printf.sprintf "Exception Found (%d)" i)

后者更好。您唯一需要记住的是模式匹配是在模式上完成的，它查看值是什么，而不是它们与其他值的关系。您可以将一个 int 与 1、3 或 127 匹配，但不能将此 int 与另一个匹配或与另一个进行比较。

顺便说一句，以下是您的代码中的一些问题以及您的问题的一些答案：

sort 接受一个数组、一个 j、一个 k 和一个 i 然后
- 您可以通过检查 Array.make 是否等于 unsorted 来使用它（x = f 是布尔比较，除非您编写 let x = f in ...）。看起来您正在尝试定义一个内部函数，但不清楚您是如何制作它的
- 如果你想定义一个随机排序的数组，你可以只写 Array.init 100 (fun _ -> Random.int 100)
您显然试图在 i 和 n 之间对数组进行排序（while a.(i) > a.(n) do ... done 但随后您正在检查 j，它是你的功能，永远不会改变
Array.for_all 检查数组中每个值的谓词是否为 true。如果您想将具有不同返回类型的函数应用于数组，您可以使用 Array.map:

map f a 将函数 f 应用于 a 的所有元素，并使用 f 返回的结果构建一个数组：[| f a.(0); f a.(1); ...; f a.(length a - 1) |]。

或Array.fold_{left|right}：

fold_left f init a 计算 f (... (f (f init a.(0)) a.(1)) ...) a.(n-1)，其中 n 是数组 a 的长度。

fold_right f a init 计算 f a.(0) (f a.(1) ( ... (f a.(n-1) init) ...))，其中 n 是数组 a 的长度。
至于排序函数，是什么让您认为它们不会在 O(n^2) 中运行？您可以查看它们的实现方式here

arrays arrays arrays ml ocaml ocaml sorting