Доминирующее множество вершин S диграфа D=(V,E) – такое подмножество вершин, что для любой вершины wÎV-S существует такая вершина vÎS, что {v,w}ÎE.
2.11.4. Независимое множество вершин
Независимое множество вершин диграфа D=(V,E) – подмножество его вершин, в котором никакие две вершины не смежны между собой.