Циклически замкнутый граф

Циклически замкнутый граф (Circuit closed graph) - Если [math]\displaystyle{ L }[/math] - множество циклически-реберно связных вершин в [math]\displaystyle{ G }[/math] и [math]\displaystyle{ G(L) }[/math] - граф, порожденный [math]\displaystyle{ L }[/math], то [math]\displaystyle{ G(L) }[/math] - циклически замкнутый граф. Граф [math]\displaystyle{ G(L) }[/math] является циклически замкнутым графом тогда и только тогда, когда любой простой цикл, имеющий общую с [math]\displaystyle{ L }[/math] вершину, принадлежит [math]\displaystyle{ L(G) }[/math].

Литература

[Оре]