О компонентах двусвязности

Правка ru2, от Derbent, 2016-11-03 00:09:46

В процессе решения задач возникло пару вопросов.

1) Как я понял, компонента рёберной двусвязности — это связный граф, в котором любые две вершины лежат на рёберно простом цикле. Мне кажется, что отсутствие мостов — это признак рёберной двусвязности графа, но доказать или опровергнуть это я не могу.

2) Пусть есть 3 произвольные вершины A, B, C (Некоторые буквы могут обозначать одну и ту же вершину). Правда ли что в компоненте рёберной двусвязности всегда существуют не пересекающиеся по рёбрам пути AB и AC?

3) Компонента вершинной двусвязности — это связный граф, в котором любые два ребра лежат на вершинно простом цикле. Является ли истиной, что отсутствие мостов и точек сочленения — это признак вершинной двусвязности графа? Если да, то почему?

Всё что я нашёл по этой теме — тык, тык

UPD. Доказательство первого факта оказалось простым, но почему-то догадался не сразу. В ссылке выше есть доказательство транзитивности двусвязности двух вершин (вершины называются двусвязными, если есть хотя-бы два, не пересекающихся по рёбрам, пути, соединяющие эти вершины). Так как для любых двух, соединённых ребром, вершин верно, что они двусвязны (так как нет мостов), то по свойству транзитивности это верно для любых пар вершин.

Теги двусвязные компоненты, рёберная двусвязность, вершинная двусвязность, графы

История

 
 
 
 
Правки
 
 
  Rev. Язык Кто Когда Δ Комментарий
ru3 Русский Derbent 2016-11-03 13:26:18 294 Мелкая правка: 'ого факта ниже.\n\nНадею' -> 'ого факта в комментариях.\n\nНадею'
ru2 Русский Derbent 2016-11-03 00:09:46 444
ru1 Русский Derbent 2016-11-02 19:53:14 1310 Первая редакция (опубликовано)