Модуль графа

Модуль графа (Module of a graph) - подмножество [math]\displaystyle{ V' }[/math] вершин графа [math]\displaystyle{ G }[/math] такое, что для [math]\displaystyle{ y \in V \setminus V' }[/math] и [math]\displaystyle{ u,v \in V' }[/math] либо ребра [math]\displaystyle{ (u, y) }[/math] и [math]\displaystyle{ (v,y) }[/math] оба принадлежат [math]\displaystyle{ E }[/math], либо оба не принадлежат [math]\displaystyle{ E }[/math]. Другими словами, модуль --- это такое подмножество вершин, которые смежны с одним и тем же множеством вершин вне модуля.

Литература

[WG'95]