Использование обхода в глубину для поиска цикла — различия между версиями
(→С++) |
(→Постановка задачи) |
||
Строка 1: | Строка 1: | ||
= Постановка задачи = | = Постановка задачи = | ||
− | Пусть дан ориентированный граф без петель и кратных рёбер. Требуется проверить наличие цикла в этом графе. | + | Пусть дан [[ориентированный граф|ориентированный граф]] без петель и кратных рёбер. Требуется проверить наличие [[Основные определения теории графов|цикла]] в этом графе. |
− | Решим эту задачу с помощью поиска в глубину за O (M). | + | Решим эту задачу с помощью [[Обход в глубину, цвета вершин|поиска в глубину]] за O (M). |
= Алгоритм = | = Алгоритм = |
Версия 03:06, 10 ноября 2010
Содержание
Постановка задачи
Пусть дан ориентированный граф без петель и кратных рёбер. Требуется проверить наличие цикла в этом графе.
Решим эту задачу с помощью поиска в глубину за O (M).
Алгоритм
Произведём серию поисков в глубину в графе. Т.е. из каждой вершины, в которую мы ещё ни разу не приходили, запустим поиск в глубину, который при входе в вершину будет красить её в серый цвет, а при выходе - в чёрный. И если поиск в глубину пытается пойти в серую вершину, то это означает, что мы нашли цикл.
Сам цикл можно восстановить проходом по массиву предков.
Реализация
Здесь приведена реализация алгоритма на С++.
С++
vector < vector<int> > graph; vector<int> color; void dfs(int index) { color[index] = 1; // красит вершину в серый цвет for (vector<int>::iterator i = graph[index].begin(); i != graph[index].end(); ++i) { if ( color[*i] == 0 ) dfs(*i); if ( color[*i] == 1 ) print(); // вывод ответа } color[index] = 2; // красит вершину в черный цвет }