Изменения

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

Эйлеровость графов

11 байт добавлено, 23:55, 13 октября 2010
Нет описания правки
==Эйлеров путь==
{{Определение|definition=
[[Основные определения теории графов|Путь]] <tex>p</tex> <tex>u_0 -> \rightarrow u_0u_1 -> \rightarrow u_1 -> \rightarrow u_1u_2 -> \rightarrow ...-> \rightarrow u</tex><sub><tex>k-1</tex></sub> <tex>u_k -> \rightarrow u_k</tex> в [[Основные определения теории графов|графе]] <tex>G = (V, E)</tex>
называется ''Эйлеровым'', если содержит все [[Основные определения теории графов|ребра]] <tex>G</tex>, причем каждое - только один раз. <br/>
}}
==Эйлеров цикл==
{{Определение|definition=
[[Основные определения теории графов|Цикл]] <tex>p</tex> <tex>u_0 -> \rightarrow u_0u_1 -> \rightarrow u_1 -> \rightarrow u_1u_2 -> \rightarrow ...-> \rightarrow u_ku_0-> \rightarrow u_0</tex> в графе <tex>G = (V, E)</tex>
называется ''Эйлеровым'', если содержит все ребра <tex>G</tex>, причем каждое - только один раз. <br/>
}}
===Критерий Эйлеровости===
{{Определение|definition=
Неориентированный граф назовем почти связным, если все его [[Отношение_связности,_компоненты_связности|компоненты связности]], кроме, быть может, одной, имеют размер 1.<br/>
Ориентированный граф назовем почти связным, если все его [[Отношение_связности,_компоненты_связности|компоненты слабой связности]], кроме, быть может, одной, имеют размер 1.
}}
====[[Основные определения теории графов|Неориентированный граф]]====
{{Теорема
|statement=
Неориентированный почти связный <ref name = "almost">Неориентированный граф назовем почти связным, если все его [[Отношение_связности,_компоненты_связности|компоненты связности]], кроме, быть может, одной, имеют размер 1.<br/>Ориентированный граф назовем почти связным, если все его [[Отношение_связности,_компоненты_связности|компоненты слабой связности]], кроме, быть может, одной, имеют размер 1.</ref> граф <tex>G = (V, E)</tex> является Эйлеровым тогда и только тогда, когда не содержит вершин нечетной [[Основные определения теории графов|степени]].<br/>
|
proof=
}}
'''Следствие'''<br/>
Неориентированный почти связный<ref name = "almost"/> граф <tex>G = (V, E)</tex> является полуэйлеровым тогда и только тогда, когда содержит ровно две вершины нечетной степени.<br/>
====[[Основные определения теории графов|Ориентированный граф]]====
{{Теорема
|statement=
Ориентированный почти связный<ref name = "almost"/> граф <tex>G = (V, E) </tex> является Эйлеровым тогда и только тогда, когда входная степень любой вершины равна ее выходной степени.<br/>
|proof=
Аналогично неориентированному графу.
<br/>
'''Следствие'''<br/>
Ориентированный почти связный<ref name = "almost"/> граф <tex>G = (V, E)</tex> является полуэйлеровым тогда и только тогда, когда содержит ровно одну вершину, [[Основные_определения_теории_графов|входная степень]] которой на единицу больше [[Основные_определения_теории_графов|выходной]], и ровно одну вершину, выходная степень которой на единицу больше входной.<br/> == Примечания ==<references/>
==Источники==
1. Ф.Харари. Теория графов. Москва, издательство "Едиториал УРСС". 2003 г.
105
правок

Навигация