The in-neighborhood, I(v), of a vertex v in a digraph D=(V, A) is v together with the set of all vertices sending an arc to v, i.e., vertices u such that (u, v) # A. A subset of V is called dominating if it meets I(v) for every v # V. (To avoid confusion, it must be noted that some authors require in the definition meeting every out-neighborhood.) A set of vertices is called independent if no t...