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

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

Литература

• Оре О. Теория графов. — М.: Наука, 1968.