Кограница графа

Кограница графа (Coboundary of a graph) - кограница некоторой его 0-цепи; кограница набора вершин [math]\displaystyle{ U }[/math] есть множество всех ребер, соединяющих вершины из [math]\displaystyle{ U }[/math] с вершинами, не входящими в [math]\displaystyle{ U }[/math]. Очевидно, что каждая кограница есть разрез. Всякий коцикл является минимальной ненулевой кограницей. Множество всех кограниц графа называется пространством коциклов графа.

Литература

[Харари]