Стабильное множество вершин

Стабильное множество вершин (Stable vertex set) — подмножество [math]\displaystyle{ X' \subseteq X }[/math] вершин графа [math]\displaystyle{ \,L = (X,U) }[/math] такое, что любая вершина [math]\displaystyle{ y \in X \setminus X' }[/math] либо смежна со всеми вершинами из [math]\displaystyle{ \,X' }[/math], либо не смежна ни с одной из них.