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

Циклически замкнутый граф (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].

Литература

[Оре]