Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Теория Графов 4

.pdf
Скачиваний:
20
Добавлен:
13.03.2016
Размер:
998.45 Кб
Скачать

Деревья

Доказательство (3))(4)

2) Покажем единственность простой цепи

î/ï Пусть найдутся вершины u è v, между которыми есть две различные простые цепи P1 è P2.

u

x y

P2

 

P1 z

v

 

На рис. изображена иллюстрация к доказательству цепь P1 изображена идущей по прямой, а цепь P2 изображена участками кривых линий (на участке от u äî x öåïü P2 совпадает с P1)

Расин О.В. Деревья

Деревья

Доказательство (3))(4)

2) Покажем единственность простой цепи

î/ï Пусть найдутся вершины u è v, между которыми есть две различные простые цепи P1 è P2.

u

x y

P2

 

P1 z

v

 

На рис. изображена иллюстрация к доказательству цепь P1 изображена идущей по прямой, а цепь P2 изображена участками кривых линий (на участке от u äî x öåïü P2 совпадает с P1)

Для доказательства будут важны участки цепей от u äî z

Расин О.В. Деревья

Деревья

Доказательство (3))(4)

2) Покажем единственность простой цепи

î/ï Пусть найдутся вершины u è v, между которыми есть две различные простые цепи P1 è P2.

u

x y

P2

 

P1 z

v

 

На рис. изображена иллюстрация к доказательству цепь P1 изображена идущей по прямой, а цепь P2 изображена участками кривых линий (на участке от u äî x öåïü P2 совпадает с P1)

Для доказательства будут важны участки цепей от u äî z

Пусть x последняя общая вершина начальных участков цепей (случай u = x не исключен)

Расин О.В. Деревья

Деревья

Доказательство (3))(4)

2) Покажем единственность простой цепи

î/ï Пусть найдутся вершины u è v, между которыми есть две различные простые цепи P1 è P2.

u

x y

P2

 

P1 z

v

 

На рис. изображена иллюстрация к доказательству цепь P1 изображена идущей по прямой, а цепь P2 изображена участками кривых линий (на участке от u äî x öåïü P2 совпадает с P1)

Для доказательства будут важны участки цепей от u äî z

Пусть x последняя общая вершина начальных участков цепей (случай u = x не исключен)

ßñíî, ÷òî x 6= v (иначе P1 = P2)

Расин О.В. Деревья

Деревья

Доказательство (3))(4)

Расин О.В. Деревья

Деревья

Доказательство (3))(4)

u

x y

P2

 

P1 z

v

 

Расин О.В. Деревья

Деревья

Доказательство (3))(4)

u

x y

P2

 

P1 z

v

 

Пусть z следующая после x общая вершина для цепей P1 è P2

Расин О.В. Деревья

Деревья

Доказательство (3))(4)

u

x y

P2

 

P1 z

v

 

Пусть z следующая после x общая вершина для цепей P1 è P2 (такая вершина есть, в крайнем случае z = v)

Расин О.В. Деревья

Деревья

Доказательство (3))(4)

u

x y

P2

 

P1 z

v

 

Пусть z следующая после x общая вершина для цепей P1 è P2 (такая вершина есть, в крайнем случае z = v)

Между вершинами x è z по крайней мере на одной из цепей есть вершина y 6= x; z

Расин О.В. Деревья

Деревья

Доказательство (3))(4)

u

x y

P2

 

P1 z

v

 

Пусть z следующая после x общая вершина для цепей P1 è P2 (такая вершина есть, в крайнем случае z = v)

Между вершинами x è z по крайней мере на одной из цепей есть вершина y 6= x; z (в противном случае есть ребро

xz 2 P1 \P2, что противоречит выбору x)

Расин О.В. Деревья