Vertex cycle cover (source code)

= Vertex cycle cover
{wiki}

A <vertex cycle cover> is a collection of cycles whose union contains every vertex of a <graph>; its cycles can overlap. A <cycle cover of a directed graph> additionally requires directed, vertex-disjoint cycles, and a <spanning circuit family> can allow overlaps.