Использование обхода в глубину для поиска цикла — различия между версиями
(→С++) |
(→Постановка задачи) |
||
| Строка 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; // красит вершину в черный цвет
}