Внешне устойчивое множество

Внешне устойчивым множеством Т вершин графа G называется такое множество его вершин, что для каждой вершины x_i, не входящей в множество Т, существует дуга, исходящая из некоторой вершины множества Т и заходящая в вершину x_i.

К задачам, которые решаются с помощью внешней устойчивости, относятся задачи о покрытиях: пусть имеется множество объектов. На этом множестве определить минимальное по мощности подмножество, которое держит под контролем все остальные элементы множества.

Задан граф. Определите все возможные внешне устойчивые подмножества вершин графа:

T₁ = {X₁, X₄, X₆}

T₂ = {X₁, X₄}

T₃ = {X₃, X₅, X₆}

Внешне устойчивое множество вершин графа называется минимальным, если оно не содержит в качестве подмножеств другое внешне устойчивое множество.