Star forest (source code)

= Star forest

A <forest> whose <connected components of a graph> are <star graphs>. In an inclusion-minimal <edge cover>, every <edge> has at least one endpoint of <vertex degree> one, forcing this structure with no <isolated vertex>.