logo
лекции по МОТС / ДИСКРЕТНАЯ МАТЕМАТИКА Графы

10.1.1. Циклы и коциклы

Цикл может входить только в одну компоненту связности графа, поэтому далее без ограничения общности граф считается связным. Цикл (простой) рассматри­вается как множество ребер.

Разрезом связного графа называется множество ребер, удаление которых делает граф несвязным. Простым разрезом называется минимальный разрез, то есть такой, никакое собственное подмножество которого разрезом не является.

В этом параграфе рассматриваются только простые циклы и разрезы, далее слово «простые» опускается. Между циклами и разрезами существует определенная двойственность, поэтому разрезы иногда называют коциклами.

ЗАМЕЧАНИЕ -

Поскольку рассматриваются только простые циклы и коциклы, они могут считаться имен­ но множествами, а не последовательностями ребер.

ОТСТУПЛЕНИЕ -

Чем больше в графе циклов, тем труднее его разрезать. В дереве, напротив, каждое ребро само по себе является разрезом.