Периферийный цикл - Википедия - Peripheral cycle

На этом графе красный треугольник, образованный вершинами 1, 2 и 5, представляет собой периферийный цикл: четыре оставшихся ребра образуют один мост. Однако пятиугольник 1–2–3–4–5 не является периферийным, так как два оставшихся ребра образуют два отдельных мостика.

В теория графов, а периферический цикл (или же периферийная цепь) в неориентированный граф Интуитивно это цикл, который не отделяет какую-либо часть графа от других частей. Периферийные циклы (или, как их изначально называли, периферийные полигоны, поскольку Тутт называл циклы "многоугольниками") впервые были изучены Тутт (1963), и играют важную роль в характеристике планарные графы и в создании велосипедные пространства неплоских графов.^[1]

Определения

Периферический цикл ${ displaystyle C}$ в графике ${ displaystyle G}$ можно формально определить одним из нескольких эквивалентных способов:

• ${ displaystyle C}$ периферийный, если это простой цикл в связный граф со свойством, что для каждых двух ребер ${ displaystyle e_ {1}}$ и ${ displaystyle e_ {2}}$ в ${ Displaystyle G setminus C}$, существует путь в ${ displaystyle G}$ что начинается с ${ displaystyle e_ {1}}$, заканчивается на ${ displaystyle e_ {2}}$, и не имеет внутренних вершин, принадлежащих ${ displaystyle C}$.^[2]
• ${ displaystyle C}$ периферийный, если это индуцированный цикл со свойством, что подграф ${ Displaystyle G setminus C}$ образованный удалением ребер и вершин ${ displaystyle C}$ подключен.^[3]
• Если ${ displaystyle C}$ любой подграф ${ displaystyle G}$, а мост^[4] из ${ displaystyle C}$ минимальный подграф ${ displaystyle B}$ из ${ displaystyle G}$ который не пересекается ребром с ${ displaystyle C}$ и у этого есть свойство, что все его точки присоединения (вершины, смежные с ребрами в обоих ${ displaystyle B}$ и ${ Displaystyle G setminus B}$) принадлежать ${ displaystyle C}$.^[5] Простой цикл ${ displaystyle C}$ является периферийным, если у него ровно один мост.^[6]

Эквивалентность этих определений нетрудно увидеть: связный подграф ${ Displaystyle G setminus C}$ (вместе с краями, связывающими его с ${ displaystyle C}$), или аккорд цикла, который вызывает его сбой, должен в любом случае быть мостом, а также должен быть класс эквивалентности из бинарное отношение на ребрах, в которых два ребра связаны, если они являются концами пути без внутренних вершин в ${ displaystyle C}$.^[7]

Характеристики

Периферийные циклы появляются в теории многогранные графы, то есть, 3-вершинно-связанный планарные графы. Для каждого плоского графа ${ displaystyle G}$, и каждое плоское вложение ${ displaystyle G}$, грани вложения, являющиеся индуцированными циклами, должны быть периферийными циклами. В многогранном графе все грани являются периферийными циклами, а каждый периферийный цикл - гранью.^[8] Из этого факта следует, что (с точностью до комбинаторной эквивалентности, выбора внешней грани и ориентации плоскости) каждый многогранный граф имеет единственное плоское вложение.^[9]

В плоских графах велосипедное пространство порождается гранями, но в неплоских графах периферийные циклы играют аналогичную роль: для каждого конечного графа с 3-вершинной связью пространство циклов порождается периферийными циклами.^[10] Результат также можно распространить на локально конечные, но бесконечные графы.^[11] В частности, отсюда следует, что 3-связные графы гарантированно содержат периферийные циклы. Существуют двухсвязные графы, не содержащие периферийных циклов (например, полный двудольный граф ${ displaystyle K_ {2,4}}$, для которого каждый цикл имеет два моста), но если двусвязный граф имеет минимальную степень три, то он содержит хотя бы один периферийный цикл.^[12]

Периферийные циклы в 3-связных графах могут быть вычислены за линейное время и используются для разработки тестов на планарность.^[13]Они также были распространены на более общее понятие неразложимых разложений уха. В некоторых алгоритмах проверки планарности графов полезно найти цикл, который не является периферийным, чтобы разбить проблему на более мелкие подзадачи. В двусвязном графе звание цепи меньше трех (например, график цикла или же тета-график ) каждый цикл является периферийным, но каждый двусвязный граф с рангом схемы три или более имеет непериферийный цикл, который можно найти за линейное время.^[14]

Обобщая хордовые графы, Сеймур и Уивер (1984) определить задушенный граф быть графом, в котором каждый периферийный цикл представляет собой треугольник. Они характеризуют эти графики как кликовые суммы хордовых графов и максимальные планарные графы.^[15]

Связанные понятия

Периферийные циклы также называются неразрывными циклами,^[2] но этот термин неоднозначен, так как он также использовался для двух связанных, но различных концепций: простых циклов, удаление которых отключило бы оставшийся граф,^[16] и циклы топологически вложенный граф таким образом, чтобы разрезание по циклу не отключало поверхность, на которую встроен граф.^[17]

В матроиды, неразрывной схемой называется схема матроида (то есть минимального зависимого множества) такая, что удаление схема оставляет подключенный матроид меньшего размера (то есть, который не может быть записан как прямая сумма матроидов).^[18] Они аналогичны периферийным циклам, но не одинаковы даже в графические матроиды (матроиды, схемы которых являются простыми циклами графа). Например, в полный двудольный граф ${ displaystyle K_ {2,3}}$, каждый цикл является периферийным (у него только один мост, двухреберный путь), но графический матроид, образованный этим мостом, не подключен, поэтому никакая схема графического матроида ${ displaystyle K_ {2,3}}$ не разделяет.

Рекомендации