. . . "Examine a DAG and identify p dominating nodes, i.e. the nodes having the largest number of successors, where p is the number of red pebbles." .