База графа, доминирующие множества в графе.
Базой графа G(X,F) называется такое множество вершин из которого достижима любая вершина, и является минимальным(нельзя искл. ни одной без потери свойства). Чтобы найти базовое множество составим табличку, где по вертикали располагаются вершины(i), а по горизонтали тоже(j). * будет означать, что j вершина достижима за любое количество шагов из i вершины.Составим ЛФП: 
. После раскрытия скобок получим базовое множество.
Доминирующее множество вершин графа – такое множество, что для любой вершины не принадлежащей этому множество существует дуга ведущая к вершине принадлежащей этому множеству. Находится аналогично базовому, только * ставятся в табличке если
j вершина достижима за 1 шаг из i вершины.
