Module MaximalCardinalitySearch.I
Parameters
Signature
val mcsm : Gr.t -> (int * Gr.V.t) list * edgelist
mcsm g
return a tuple(o, e)
where o is a perfect elimination order ofg'
whereg'
is the triangulatione
applied tog
.
val triangulate : Gr.t -> unit
triangulate g
triangulatesg
using the MCS-M algorithm