Spanning circuit family
= Spanning circuit family
A spanning circuit family is a collection of <directed cycles> whose union contains every vertex of the <directed graph>. Different circuits may overlap. This is distinct from a <cycle cover of a directed graph>, which requires vertex-disjoint cycles.