pseudoforest

undirected graph in which every connected component has at most one cycle