Partitioning the arcs of a digraph into a star forest of the underlying graph with prescribed orientation properties
A star in an undirected graph is a tree in which at most one vertex has degree larger than one. A star forest is a collection of vertex disjoint stars. An out-star (in-star) in a digraph D is a star in the underlying undirected graph of D such that all edges are directed out of (into) the center. The problem of partitioning the edges of the underlying graph of a digraph D into two star forests F-0 and F-1 is known to be NP-complete. On the other hand, with the additional requirement for F-0 and F-1 to be forests of out-stars the problem becomes polynomial (via an easy reduction to 2-SAT). In this article we settle the complexity of problems lying in between these two problems. Namely, we study the complexity of the related problems where we require each F-i to be a forest of stars in the underlying sense and require (in different problems) that in D, F-i is either a forest of out-stars, in-stars, out- or in-stars or just stars in the underlying sense. (C) 2012 Elsevier B.V. All rights reserved.
2-sat np-completeness proof star arboricity