This commit is contained in:
Simon Cruanes 2015-09-07 22:41:57 +02:00
parent dab3ea6052
commit c6e3471ae5

View file

@ -133,7 +133,10 @@ module MakeFull(K : KEY) : S with type key = K.t = struct
| E -> 0
| N (_, _, _, _, w) -> w
(* balancing parameters *)
(* balancing parameters.
We take the parameters from "Balancing weight-balanced trees", as they
are rational and efficient. *)
(* delta=5/2
delta × (weight l + 1) weight r + 1