Теорема о существовании простого пути в случае существования пути — различия между версиями
Строка 1: | Строка 1: | ||
==Теорема о существовании простого пути в случае существования пути== | ==Теорема о существовании простого пути в случае существования пути== | ||
+ | [[Файл:Simple way.png|thumb|250px|center|Ориентированный граф. <font color=#ED1C24>Красным</font> выделен вершинно-простой путь. <font color=#3771c8ff>Синим</font> {{---}} реберно-простой путь.]] | ||
{{Теорема | {{Теорема | ||
|statement= | |statement= | ||
Строка 14: | Строка 15: | ||
Тогда в нём содержатся две одинаковые вершины <tex>v_i = v_j</tex>, <tex>i < j</tex>. Удалим из исходного пути отрезок от <tex>e_{i+1}</tex> до <tex>v_j</tex>, включительно. Конечная последовательность также будет путём от <tex>v_0</tex> до <tex>v_n</tex> и станет короче исходной. Получено противоречие с условием: взятый нами путь оказался не кратчайшим. Значит, предположение неверно, выбранный путь {{---}} простой. | Тогда в нём содержатся две одинаковые вершины <tex>v_i = v_j</tex>, <tex>i < j</tex>. Удалим из исходного пути отрезок от <tex>e_{i+1}</tex> до <tex>v_j</tex>, включительно. Конечная последовательность также будет путём от <tex>v_0</tex> до <tex>v_n</tex> и станет короче исходной. Получено противоречие с условием: взятый нами путь оказался не кратчайшим. Значит, предположение неверно, выбранный путь {{---}} простой. | ||
}} | }} | ||
− | |||
== Замечания == | == Замечания == | ||
* Так как вершинно-простой путь всегда является рёберно-простым, данная теорема справедлива и для рёберно-простого пути. | * Так как вершинно-простой путь всегда является рёберно-простым, данная теорема справедлива и для рёберно-простого пути. |
Версия 20:43, 16 октября 2016
Содержание
Теорема о существовании простого пути в случае существования пути
Теорема: | ||
Доказательство: | ||
Конструктивное доказательствоРассмотрим путь: между вершинами и . Возьмем — вершина на данном пути. Если она лежит на данном пути более одного раза, то она принадлежит какому-то (не обязательно простому) циклу . Удалим этот цикл. Получившаяся последовательность вершин и рёбер графа останется путём , но не будет содержать найденный цикл. Начнём процесс с вершины и будем повторять его каждый раз для следующей вершины нового пути, пока не дойдём до последней. По построению, получившийся путь будет содержать каждую из вершин графа не более одного раза, а значит, будет вершинно-простым.Неконструктивное доказательствоВыберем из всех путей между данными вершинами путь наименьшей длины.
| ||
Замечания
- Так как вершинно-простой путь всегда является рёберно-простым, данная теорема справедлива и для рёберно-простого пути.
- Теорема может быть сформулирована как для ориентированного, так и для неориентированного графа.