Точки сочленения. Компоненты вершинной двусвязности: различия между версиями

Материал из Олимпиадное программирование в УлГТУ
Перейти к навигации Перейти к поиску
Строка 37: Строка 37:
 
* [http://neerc.ifmo.ru/wiki/index.php?title=%D0%9F%D0%BE%D1%81%D1%82%D1%80%D0%BE%D0%B5%D0%BD%D0%B8%D0%B5_%D0%BA%D0%BE%D0%BC%D0%BF%D0%BE%D0%BD%D0%B5%D0%BD%D1%82_%D0%B2%D0%B5%D1%80%D1%88%D0%B8%D0%BD%D0%BD%D0%BE%D0%B9_%D0%B4%D0%B2%D1%83%D1%81%D0%B2%D1%8F%D0%B7%D0%BD%D0%BE%D1%81%D1%82%D0%B8 neerc.ifmo.ru/wiki — Построение компонент вершинной двусвязности]
 
* [http://neerc.ifmo.ru/wiki/index.php?title=%D0%9F%D0%BE%D1%81%D1%82%D1%80%D0%BE%D0%B5%D0%BD%D0%B8%D0%B5_%D0%BA%D0%BE%D0%BC%D0%BF%D0%BE%D0%BD%D0%B5%D0%BD%D1%82_%D0%B2%D0%B5%D1%80%D1%88%D0%B8%D0%BD%D0%BD%D0%BE%D0%B9_%D0%B4%D0%B2%D1%83%D1%81%D0%B2%D1%8F%D0%B7%D0%BD%D0%BE%D1%81%D1%82%D0%B8 neerc.ifmo.ru/wiki — Построение компонент вершинной двусвязности]
 
* [http://informatics.mccme.ru/course/view.php?id=6 informatics.mccme.ru — Курс «Алгоритмы на графах» — часть 2]
 
* [http://informatics.mccme.ru/course/view.php?id=6 informatics.mccme.ru — Курс «Алгоритмы на графах» — часть 2]
* [http://ejudge.btty.su/bmstu/addon/docs/articles/moscow2006-dfs.pdf Лахно А. П. Поиск в глубину и его применение]
+
* [http://github.com/petr-kalinin/progtexts/releases/download/v2014.11.01/04_dfs.pdf Калинин П. Поиск в глубину]
 +
* [http://ejudge.btty.su/bmstu/addon/docs/articles/moscow2006-dfs.pdf Лахно А. Поиск в глубину и его применение]
 
* [http://visualgo.net/dfsbfs.html VisuAlgo — Graph Traversal]
 
* [http://visualgo.net/dfsbfs.html VisuAlgo — Graph Traversal]
 
* [http://github.com/indy256/codelibrary/blob/master/java/src/Biconnectivity.java CodeLibrary — Biconnected components, bridges and cut points]
 
* [http://github.com/indy256/codelibrary/blob/master/java/src/Biconnectivity.java CodeLibrary — Biconnected components, bridges and cut points]

Версия 01:59, 1 мая 2015

  • Для каждой вершины v будем подсчитывать время входа tIn[v] и величину tUp[v] — минимальное tIn для некоторой вершины, достижимой из текущего поддерева переходом по одному обратному ребру.
  • Вершина v является точкой сочленения, если у неё имеется хотя бы один потомок u, такой что из поддерева этого потомка в дереве обхода в глубину нет обратных рёбер в предков вершины v (tUp[u] >= tIn[v]).
  • Корень дерева обхода в глубину (parent == -1) является точкой сочленения тогда и только тогда, когда у него более одного непосредственного потомка.
vector<int> g[V_CNT];
bool u[V_CNT];
int tIn[V_CNT], tUp[V_CNT], timer; 

void dfs(int v, int parent = -1) {
    u[v] = 1;
    tUp[v] = tIn[v] = timer++;
    int childrenCount = 0;
    for (int i = 0; i < g[v].size(); i++) {
        if (!u[g[v][i]]) {
            dfs(g[v][i], v);
            childrenCount++;
            tUp[v] = min(tUp[v], tUp[g[v][i]]);
            if (parent != -1 && tUp[g[v][i]] >= tIn[v])
               /* v - точка сочленения */;
        } else if (g[v][i] != parent)
            tUp[v] = min(tUp[v], tIn[g[v][i]]);
    }
    if (parent == -1 && childrenCount > 1)
       /* v - точка сочленения */;
}

for (int i = 0; i < V_CNT; i++)
    u[i] = tIn[i] = tUp[i] = 0;
timer = 0;
for (int i = 0; i < V_CNT; i++)
    if (!u[i])
        dfs(i);

Ссылки