In this post, I will talk about a common approach for generating all permutations, its complexity, and how big the argument list can be that makes the stack overflow using OCaml. I borrow some pictures and work from typeocaml.
The insert-into-all-positions solution
Let’s assume that we have a set of all permutations for a set of 3 elements. Thus totally
there are 6 permutations. For example, let 3 elements be
[1;2;3], then 6 permutations
So now what if we put a new element, say 4, into the set of 4 elements
we need to do is combining the new element 4 into the previous set of permutations to
generate a new set of permutations.
Let’s see how a new element is inserted into a permutation. Consider a permutation of 3
[1;2;3], there are 4 possible positions (before
3, and after
4 as shown in the figure.
Therefore, with 6 previous permutations we have totally new permutations
if we insert the new element
The implementation can be done by the following two functions. The
function inserts a new element given a set of permutations. The permutations function
recursively generates all permuations. If the number of elements is 0 or 1, then there
is only 1 permutation. Here is the Gist.
let insert_all_positions x l = let rec aux prev acc l = match l with |  -> (prev @ [x]) :: acc |> List.rev | hd::tl as l -> aux (prev @ [hd]) ((prev @ [x] @ l) :: acc) tl in aux   l;; let rec permutation l = match l with |  ->  | hd:: -> [[hd]] | hd::tl -> List.fold_left (fun acc p -> acc @ insert_all_positions hd p)  (permutation tl);;
The complexity depends on the number of permuations which is
n is the number of elements). Assume that the complexity of insert a new element to
a permuation takes 1 time unit, thus for a permuation consisting of
m elements, it
takes time units. Therefore for each recursive call, we have the complexity
. The complexity of the algorithm should be
When I run the code above with OCaml version 4.02.1, stack overflow occurs likely with the number of elements is 9. For example,
permutation [1;2;3;4;5;6;7;8;9];; Stack overflow during evaluation (looping recursion?).
One interesting way to deal with big number of elements is generating one permutation at each time. One can employ the Johnson Trotter algorithm to generate a different permutation each time. I will talk about this algorithm in a next post.