Изменения
Нет описания правки
Рассмотрим вершины <tex> u </tex> и <tex> v </tex>.
<tex> S </tex> разделяет <tex> u </tex> и <tex> v </tex>, если <tex> u, v </tex> принадлежат разным компонентам связности графа <tex> G \smallsetminus S </tex>, который получается удалением элементов множества S из G.
Отсюда справедливы следующие утверждения:
* Наименьшее число вершин, разделяющих две несмежные вершины <tex> u </tex> и <tex> v </tex>, равно наибольшему числу простых путей, не имеющих общих вершин, соединяющих <tex> u </tex> и <tex> v </tex>.