Ocaml 中的数组操作

Question

我正在尝试在 Ocaml 中完成数组的所有组合。我正在尝试做一个递归函数，它接收一个数组，它的初始状态需要是 let a = [|0;0;0|] 并且我需要递归地更改它，就像第一次迭代需要 a = [|1;0;0|] 和下一个 a = [|0;1;0|] 依此类推，直到达到 a = [|1;1;1|] 进行所有可能的组合，因此在这种情况下需要进行 2^3 次更改。我知道我不是很明确，但我有点难以解释，但如果有人能帮助我，我将不胜感激。

Answer 1

数组是一种可变的数据结构，因此如果您要在每次递归调用中改变它，那么改变就会发生。基本上，这意味着在 2^3 调用之后，数组的状态将是最后一个组合。所以，这样做根本没有意义。一个有效的解决方案是创建一个函数，它将采用一个初始数组，并将 return 所有组合的列表。一个更有效的解决方案是编写一个函数，它将采用另一个函数，并将其应用于所有组合（或折叠所有组合）。这将允许您节省内存，因为您不需要存储所有组合。

大纲将实现以下接口：

type state
val zero : state
val next : state -> state option
val value : state -> int array

其中 state 将是一个光标，它将在 space 组合中移动。它可以是整数或整数数组，或其他任何东西。一旦实现了这些功能，您就可以轻松实现您的功能，如下所示：

let fold_combinations f init = 
  let rec fold state x = 
     let x = f (value state) x in
     match next state with
     | None -> x
     | Some state -> fold state x in
  fold zero init

最后，您的示例并未显示所有可能的组合或排列，而是显示了位宽等于输入数组长度的所有可能的二进制值。如果这确实是您要解决的任务，那么您只需将整数转换为二进制表示即可。在这种情况下，state 的最佳选择是 int，然后 next 函数是一个增量，它将在 2^k-1 处停止，其中 k是初始状态的长度。而 value 函数只会将整数转换为位数组，其中第 n 位（元素）可以确定为 state land (1 lsl n)。您可以使用 Array.init 每次都创建一个全新的数组，或者，您可以只迭代现有数组。这样效率会更高，但容易出错。

Answer 2

let combinaison f n =
  let rec aux acc n =  
    if n=0 then List.iter f acc
    else (
      aux (List.map (fun l -> 0::l  ) acc) (n-1);  
      aux (List.map (fun l -> 1::l  ) acc) (n-1);  
    )
  in
  aux [[]] n
;;

测试

combinaison ( fun lx -> 
  let a=Array.of_list lx in
  Array.iter ( fun x ->
    Printf.printf "%d " x
  ) a ;
  Printf.printf "\n"
) 3;;

0 0 0 
1 0 0 
0 1 0 
1 1 0 
0 0 1 
1 0 1 
0 1 1 
1 1 1

Ocaml 中的数组操作

Array manipulations in Ocaml

arrays

ocaml

combinatorics