Теория Графов 5
.pdfОпределение и основные свойства двусвязных графов
Доказательство необходимости
Возьмем цикл 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 |
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
Расин О.В. |
|
Двусвязные графы |
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|