Теорема Менгера
[6/67%]Из каждого связного мультиграфа можно удалить вершину (вместе со всеми выходящими из нее рёбрами) так, что он останется связным.
Граф или мультиграф называется двусвязным, если он отличен от и остаётся связным после удаления любой вершины.
Частный случай вершинной теоремы Менгера. Любые две различные вершины двусвязного мультиграфа, не соединённые ребром, лежат на некотором несамопересекающемся цикле.
Верно ли, что для любого пути в мультиграфе, имеющем не менее трёх вершин, найдётся другой путь в том же мультиграфе с теми же концами, не пересекающийся с нигде, кроме концов?
Если в мультиграфе есть хотя бы одно ребро и при удалении любого ребра найдётся путь между вершинами и , то в мультиграфе найдутся два пути между вершинами и , не имеющие общих рёбер.
Для любого ребра двусвязного графа , отличного от , хотя бы один из графов и двусвязен.
Для любых двух вершин выпуклого многогранника существуют три непересекающихся (нигде, кроме этих вершин) пути по его рёбрам из одной вершины в другую. (Такие графы называют трёхсвязными.)
Для трёхсвязного графа с ребром (вершины которого — ) граф трёхсвязен тогда и только тогда, когда граф двусвязен.
Теорема Уитни (вершинная). Мультиграф остаётся связным после удаления любых вершин тогда и только тогда, когда любые две его вершины можно соединить путями, пересекающимися только в этих двух вершинах.
Теорема Менгера (вершинная). Если вершины и мультиграфа , не соединённые ребром, остаются в одной компоненте связности после удаления любых других вершин, то и можно соединить путями, пересекающимися только в этих двух вершинах.
Вершины и графа назовём эквивалентными, если существует такая последовательность вершин , что любые две соседние вершины и можно соединить путями, не имеющими общих промежуточных вершин. Тогда любые две эквивалентные вершины можно соединить путями, не имеющими общих рёбер.