Редактирование: Рёберный граф

Перейти к: навигация, поиск

Внимание! Вы не авторизовались на сайте. Ваш IP-адрес будет публично видимым, если вы будете вносить любые правки. Если вы войдёте или создадите учётную запись, правки вместо этого будут связаны с вашим именем пользователя, а также у вас появятся другие преимущества.

Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия Ваш текст
Строка 29: Строка 29:
 
}}
 
}}
 
{{Утверждение
 
{{Утверждение
|id=euler_gam
 
 
|statement=Если граф <tex>G</tex> {{---}} [[Эйлеров_цикл,_Эйлеров_путь,_Эйлеровы_графы,_Эйлеровость_орграфов#euler_graph|Эйлеров граф]], то его рёберный граф является [[Гамильтоновы_графы#hamiltonian_graph|Гамильтоновым графом]].
 
|statement=Если граф <tex>G</tex> {{---}} [[Эйлеров_цикл,_Эйлеров_путь,_Эйлеровы_графы,_Эйлеровость_орграфов#euler_graph|Эйлеров граф]], то его рёберный граф является [[Гамильтоновы_графы#hamiltonian_graph|Гамильтоновым графом]].
 
|proof=Рассмотрим Эйлеров путь <tex>e_{i_1},v_{k_1},e_{i_2},\dots,v_{k_{n-1}},e_{i_n}</tex> в исходном графе <tex>G</tex>. Составим из вершин реберного графа <tex>L(G)</tex> последовательность <tex>v_{j_1},\dots,v_{j_n}</tex>, поcтавив в соответсвие ребру <tex>e_{i_k}</tex> вершину <tex>v_{j_k}</tex>. Так как два подряд идущих ребра <tex>e_{i_k},e_{i_{k+1}}</tex> из исходного пути смежны, то из определения реберного графа следует, что сответствующие подряд идущие вершины в получившейся последовательности <tex>v_{j_k},v_{j_{k+1}}</tex> смежны. Следовательно мы получили Гамильтонов путь <tex>v_{j_1},e_{t_1},\dots,e_{t_{n-1}},v_{j_n}</tex> в реберном графе <tex>L(G)</tex>. Доказательство для циклов аналогично.
 
|proof=Рассмотрим Эйлеров путь <tex>e_{i_1},v_{k_1},e_{i_2},\dots,v_{k_{n-1}},e_{i_n}</tex> в исходном графе <tex>G</tex>. Составим из вершин реберного графа <tex>L(G)</tex> последовательность <tex>v_{j_1},\dots,v_{j_n}</tex>, поcтавив в соответсвие ребру <tex>e_{i_k}</tex> вершину <tex>v_{j_k}</tex>. Так как два подряд идущих ребра <tex>e_{i_k},e_{i_{k+1}}</tex> из исходного пути смежны, то из определения реберного графа следует, что сответствующие подряд идущие вершины в получившейся последовательности <tex>v_{j_k},v_{j_{k+1}}</tex> смежны. Следовательно мы получили Гамильтонов путь <tex>v_{j_1},e_{t_1},\dots,e_{t_{n-1}},v_{j_n}</tex> в реберном графе <tex>L(G)</tex>. Доказательство для циклов аналогично.

Пожалуйста, учтите, что любой ваш вклад в проект «Викиконспекты» может быть отредактирован или удалён другими участниками. Если вы не хотите, чтобы кто-либо изменял ваши тексты, не помещайте их сюда.
Вы также подтверждаете, что являетесь автором вносимых дополнений, или скопировали их из источника, допускающего свободное распространение и изменение своего содержимого (см. Викиконспекты:Авторские права). НЕ РАЗМЕЩАЙТЕ БЕЗ РАЗРЕШЕНИЯ ОХРАНЯЕМЫЕ АВТОРСКИМ ПРАВОМ МАТЕРИАЛЫ!

Чтобы изменить эту страницу, пожалуйста, ответьте на приведённый ниже вопрос (подробнее):

Отменить | Справка по редактированию (в новом окне)