Abstract
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 F0 and F1 is known to be NP-complete. On the other hand, with the additional requirement for F0 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 Fi 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.
| Original language | English |
|---|---|
| Pages (from-to) | 13-20 |
| Number of pages | 8 |
| Journal | Theoretical Computer Science |
| Volume | 475 |
| DOIs | |
| Publication status | Published - 4 Mar 2013 |
| Externally published | Yes |
Keywords
- 2-SAT
- NP-completeness proof
- Star arboricity
ASJC Scopus subject areas
- Theoretical Computer Science
- General Computer Science