使用 Erlang 生成自定义排列

Question

注意：这是我之前的排列 question 的“续集”问题。

我想在 Erlang 中生成列表的所有排列，但我想在将某些排列添加到堆栈或存储在任何地方之前过滤掉它们。

我将根据一些自定义的临时规则过滤掉排列（我们称它们为“过滤器”）。

换句话说，我想生成一个大列表（50-300 个元素）的排列列表，但我想在此过程中丢弃大部分生成的排列（我知道完整的数字排列的数量是 N！）。

steenslag 在 Ruby 中给了我一个不错的 solution：

res = [1,2,3,4].permutation(3).reject do |perm|
  perm.first.even? #Filter: if this line is true, the perm will be rejected
end

如何在 Erlang 中编写类似的东西？

（我的过滤器函数已经用 Erlang 编写，所以我想做一些代码重用）。

顺便问一下，期望的 Erlang 解决方案可以是“本质上并行的”吗？

Answer 1

您可以在排列构造后立即过滤排列。

只是一个例子，这个 run() 返回以偶数开头的 [1,2,3,4] 的所有排列。函数“检查”（过滤结果）1）检查它是否是完整的排列（结果的长度==源列表的长度），然后2）检查过滤条件（在我的例子中 - 第一个数字是偶数）。

run() ->
    perm([1,2,3,4],4).

perm([],_) ->
    [[]];
perm(L,N) -> [[H|T] || H <- L, T <- perm(L--[H],N), check( [H|T] ,N) ].

check(L,N) when length(L) < N -> true;
check([H|_],_) -> trunc(H/2) == H/2. .

Answer 2

我为这个问题做了一个可能的实现：

-module(perm).

-export([pred_perms/2, pred/1]).

pred(L = [H | _T]) when H > 1 ->
    L;
pred(_L) ->
    [].

do_pred_perms([], _Pred) -> 
    [[]];
do_pred_perms(L, Pred)  -> 
    [Pred([H|T]) || H <- L, T <- do_pred_perms(L--[H], Pred)].

pred_perms(List, Pred) ->
    Res = do_pred_perms(List, Pred),
    lists:filter(fun(E) -> E =/= [] end, Res).

它使用空列表作为必须丢弃的列表的占位符。如果这不可接受，您可以将实现更改为不使用列表压缩。

pred/1 函数只是用作谓词的示例函数。

希望这会有所帮助。