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

Revision ru2, by Derbent, 2016-11-03 00:09:46

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

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

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

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

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

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

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

History

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