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

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

.pdf
Скачиваний:
38
Добавлен:
13.03.2016
Размер:
1.4 Mб
Скачать

Определение и основные свойства двусвязных графов

Доказательство необходимости

Возьмем цикл C, проходящий через v è w

Расин О.В.

Двусвязные графы

 

 

Определение и основные свойства двусвязных графов

Доказательство необходимости

Возьмем цикл C, проходящий через v è w

Из вершины vt 1 существует простая цепь (vt 1;u)-öåïü P10, íå проходящая через w

Расин О.В.

Двусвязные графы

 

 

Определение и основные свойства двусвязных графов

Доказательство необходимости

Возьмем цикл C, проходящий через v è w

Из вершины vt 1 существует простая цепь (vt 1;u)-öåïü P10, íå проходящая через w (в противном случае все (vt 1;u)-öåïè

проходят через w,

Расин О.В.

Двусвязные графы

 

 

Определение и основные свойства двусвязных графов

Доказательство необходимости

Возьмем цикл C, проходящий через v è w

Из вершины vt 1 существует простая цепь (vt 1;u)-öåïü P10, íå проходящая через w (в противном случае все (vt 1;u)-öåïè

проходят через w, но в этом случае w точка сочленения,

Расин О.В.

Двусвязные графы

 

 

Определение и основные свойства двусвязных графов

Доказательство необходимости

Возьмем цикл C, проходящий через v è w

Из вершины vt 1 существует простая цепь (vt 1;u)-öåïü P10, íå проходящая через w (в противном случае все (vt 1;u)-öåïè

проходят через w, но в этом случае w точка сочленения, что противоречит двусвязности)

Расин О.В.

Двусвязные графы

 

 

Определение и основные свойства двусвязных графов

Доказательство необходимости

Возьмем цикл C, проходящий через v è w

Из вершины vt 1 существует простая цепь (vt 1;u)-öåïü P10, íå проходящая через w (в противном случае все (vt 1;u)-öåïè

проходят через w, но в этом случае w точка сочленения, что противоречит двусвязности)

Пусть w1 первая вершина P10 (считая от vt 1), принадлежащая C (не исключен случай w1 = u)

Расин О.В.

Двусвязные графы

 

 

Определение и основные свойства двусвязных графов

Доказательство необходимости

Возьмем цикл C, проходящий через v è w

Из вершины vt 1 существует простая цепь (vt 1;u)-öåïü P10, íå проходящая через w (в противном случае все (vt 1;u)-öåïè

проходят через w, но в этом случае w точка сочленения, что противоречит двусвязности)

Пусть w1 первая вершина P10

(считая от vt 1),

принадлежащая C (не исключен случай w1 = u)

 

P1

 

 

P0 между v

è w

P2

 

 

 

Обозначим через P1 участок цепи

w1

 

 

1

t 1

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u

w vt-1

P

v

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Расин О.В.

Двусвязные графы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение и основные свойства двусвязных графов

Доказательство необходимости

Возьмем цикл C, проходящий через v è w

Из вершины vt 1 существует простая цепь (vt 1;u)-öåïü P10, íå проходящая через w (в противном случае все (vt 1;u)-öåïè

проходят через w, но в этом случае w точка сочленения, что противоречит двусвязности)

Пусть w1 первая вершина P10 (считая от vt 1),

 

принадлежащая C (не исключен случай w1 = u)

 

 

P1

 

 

P0

между v

è w

P2

 

 

 

Обозначим через P1 участок цепи

w1

 

 

1

 

t 1

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u

 

 

 

Пусть P2 участок цикла Ñ между u

 

w vt-1

P

v

è w1, не содержащий w

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Расин О.В.

 

Двусвязные графы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение и основные свойства двусвязных графов

Доказательство необходимости

Возьмем цикл C, проходящий через v è w

Из вершины vt 1 существует простая цепь (vt 1;u)-öåïü P10, íå проходящая через w (в противном случае все (vt 1;u)-öåïè

проходят через w, но в этом случае w точка сочленения, что противоречит двусвязности)

Пусть w1 первая вершина P10 (считая от vt 1),

 

принадлежащая C (не исключен случай w1 = u)

 

 

 

 

 

 

 

 

 

 

 

 

P1

 

 

P0

между v

è w

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P2

 

 

 

Обозначим через P1 участок цепи

w1

 

 

1

 

t 1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u

 

 

 

Пусть P2 участок цикла Ñ между u

 

w vt-1

P

v

è w1, не содержащий w

 

 

 

 

 

 

 

 

 

 

 

 

P3

участок цикла Ñ между

u

è

w

,

 

 

P3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

не содержащий w1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Расин О.В.

 

Двусвязные графы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение и основные свойства двусвязных графов

Доказательство необходимости

Возьмем цикл C, проходящий через v è w

Из вершины vt 1 существует простая цепь (vt 1;u)-öåïü P10, íå проходящая через w (в противном случае все (vt 1;u)-öåïè

проходят через w, но в этом случае w точка сочленения, что противоречит двусвязности)

Пусть w1 первая вершина P10 (считая от vt 1),

 

принадлежащая C (не исключен случай w1 = u)

 

 

 

 

 

 

 

 

 

 

 

 

P1

 

 

P0

между v

è w

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P2

 

 

 

Обозначим через P1 участок цепи

w1

 

 

1

 

t 1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u

 

 

 

Пусть P2 участок цикла Ñ между u

 

w vt-1

P

v

è w1, не содержащий w

 

 

 

 

 

 

 

 

 

 

 

 

P3

участок цикла Ñ между

u

è

w

,

 

 

P3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

не содержащий w1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Расин О.В.

 

Двусвязные графы