Изменения
Нет описания правки
{{Теорема
|statement=
Если между двумя [[Основные определения теории графов|вершинами графа]] существует [[Основные определения теории графов|путь]], то между ними существует простой путь.
|proof=
=== Доказательство построением ===
Возьмём любой из существующих путеймежду нужными нам вершинами: <tex>v_0e_1v_1e_2v_2 ... e_nv_n</tex>.
* Алгоритм:
=== Альтернативное ===
Выберем из всех путей между данными вершинами путь наименьшей длины.
Предположение:
