Доминирующее множество диграфа

Вершина v диграфа доминирует над вершиной u, если имеется дуга из вершины v в вершину u. Множество вершин S V называется:

· in доминирующим, если любая не находящаяся в S вершина доминируема любой вершиной из S;

· out доминирующим, если любая вершина множества S доминируема некоторой вершиной, не входящей во множество S.