Given a graph G = (V,E), let P be a partition of V . We say that P is dominating if, for each part P of P, the set V \ P is a dominating set in G (equivalently, if every vertex has a neighbour of a different colour from its own). We say that P is acyclic if for any parts P, P ′ of P, the bipartite subgraph G[P, P ′] consisting of the edges between P and P ′ in P contains no cycles. The acyclic ...