懒洋洋地生成powerset

pad*_*pad 4 f# lazy-evaluation powerset

我想计算一组的powerset.因为我一次不需要整个powerset,所以最好懒得生成它.

例如:

powerset (set ["a"; "b"; "c"]) =
seq {
  set [];
  set ["a"];
  set ["b"];
  set ["c"];
  set ["a"; "b"];
  set ["a"; "c"];
  set ["b"; "c"];
  set ["a";"b"; "c"];
}
Run Code Online (Sandbox Code Playgroud)

由于结果是一个序列,我更喜欢它的顺序.我怎样才能在F#中以一种自我的方式做到这一点?

编辑:

这就是我将要使用的(基于BLUEPIXY的答案):

let powerset s =
    let rec loop n l =
        seq {
              match n, l with
              | 0, _  -> yield []
              | _, [] -> ()
              | n, x::xs -> yield! Seq.map (fun l -> x::l) (loop (n-1) xs)
                            yield! loop n xs
        }   
    let xs = s |> Set.toList     
    seq {
        for i = 0 to List.length xs do
            for x in loop i xs -> set x
    }
Run Code Online (Sandbox Code Playgroud)

感谢大家的出色表现.

BLU*_*IXY 8

let rec comb n l =
  match n, l with
  | 0, _  -> [[]]
  | _, [] -> []
  | n, x::xs -> List.map (fun l -> x ::l) (comb (n - 1) xs) @ (comb n xs)

let powerset xs = seq {
    for i = 0 to List.length xs do
      for x in comb i xs -> set x
  }
Run Code Online (Sandbox Code Playgroud)

DEMO

> powerset ["a";"b";"c"] |> Seq.iter (printfn "%A");;
set []
set ["a"]
set ["b"]
set ["c"]
set ["a"; "b"]
set ["a"; "c"]
set ["b"; "c"]
set ["a"; "b"; "c"]
val it : unit = ()
Run Code Online (Sandbox Code Playgroud)

  • 请注意,您也可以使`comb`返回一个序列,如果不枚举整个powerset,则在某些情况下需要较少的计算. (3认同)