E025. Depth-first search
Источник: e-maxx.ru/algo, страница PDF 85.
Это один из основных 算法ов на 图ах. В результате поиска в глубину находится лексико图ически первый путь в 图е. 算法 работает за O (N+M).
Applications 算法а
● Поиск любого пути в 图е.
● Поиск лексико图ически первого пути в 图е.
● Проверка, является ли одна vertex дерева предком другой:
В начале и конце итерации поиска в глубину будет запоминать "время" захода и 输出а в каждой вершине. Теперь за O (1) можно find ответ: vertex i является предком вершины j тогда и только тогда, когда starti < startj и endi > endj.
● 题目 LCA (Lowest common ancestor).
● Topological sorting:
Запускаем серию поисков в глубину, чтобы обойти все вершины 图а. Отсортируем вершины по времени 输出а по убыванию - это и будет ответом.
● Проверка 图а на ацикличность и нахождение цикла
● Поиск компонент сильной связности:
Сначала делаем топологическую сортировку, потом транспонируем 图 и проводим снова серию поисков в глубину в порядке, определяемом топологической сортировкой. Каждое 树 поиска - сильносвязная компонента.
● Поиск мостов:
Сначала превращаем 图 в ориентированный, делая серию поисков в глубину, и ориентируя каждое edge так, как мы пытались по нему пройти. Затем находим сильносвязные компоненты. Мостами являются те рёбра, концы которых принадлежат разным сильносвязным компонентам.
实现
vector < vector<int> > g; // 图
int n; // number вершин
vector<int> color; // цвет вершины (0, 1, или 2)
vector<int> time_in, time_out; // "времена" захода и 输出а из вершины
int dfs_timer = 0; // "таймер" для определения времён
void dfs (int v) {
time_in[v] = dfs_timer++;
color[v] = 1;
for (vector<int>::iterator i=g[v].begin(); i!=g[v].end(); ++i)
if (color[*i] == 0)
dfs (*i);
color[v] = 2;
time_out[v] = dfs_timer++;
} Это наиболее общий код. Во многих случаях времена захода и 输出а из вершины не важны, так же как и не важны цвета вершин (но тогда надо будет ввести аналогичный по смыслу булевский 数组 used). Вот наиболее простая 实现:
vector < vector<int> > g; // 图
int n; // number вершин
vector<char> used;
void dfs (int v) {
used[v] = true;
for (vector<int>::iterator i=g[v].begin(); i!=g[v].end(); ++i)
if (!used[*i])
dfs (*i);
}
C# 解法
自动草稿,提交前请检查using System;
using System.Collections.Generic;
using System.Linq;
public static class AlgorithmDraft
{
// Auto-generated C# draft from the original e-maxx C/C++ listing. Review before production use.
vector < List<int> > g; // граф
int n; // число вершин
List<int> color; // цвет вершины (0, 1, или 2)
List<int> time_in, time_out; // "времена" захода и выхода из вершины
int dfs_timer = 0; // "таймер" для определения времён
void dfs (int v) {
time_in[v] = dfs_timer++;
color[v] = 1;
for (List<int>::iterator i=g[v].begin(); i!=g[v].end(); ++i)
if (color[*i] == 0)
dfs (*i);
color[v] = 2;
time_out[v] = dfs_timer++;
}
vector < List<int> > g; // граф
int n; // число вершин
List<char> used;
void dfs (int v) {
used[v] = true;
for (List<int>::iterator i=g[v].begin(); i!=g[v].end(); ++i)
if (!used[*i])
dfs (*i);
}
}
C++ 解法
匹配/原始vector < vector<int> > g; // граф
int n; // число вершин
vector<int> color; // цвет вершины (0, 1, или 2)
vector<int> time_in, time_out; // "времена" захода и выхода из вершины
int dfs_timer = 0; // "таймер" для определения времён
void dfs (int v) {
time_in[v] = dfs_timer++;
color[v] = 1;
for (vector<int>::iterator i=g[v].begin(); i!=g[v].end(); ++i)
if (color[*i] == 0)
dfs (*i);
color[v] = 2;
time_out[v] = dfs_timer++;
}
vector < vector<int> > g; // граф
int n; // число вершин
vector<char> used;
void dfs (int v) {
used[v] = true;
for (vector<int>::iterator i=g[v].begin(); i!=g[v].end(); ++i)
if (!used[*i])
dfs (*i);
}
Java 解法
自动草稿,提交前请检查import java.util.*;
import java.math.*;
public class AlgorithmDraft {
// Auto-generated Java draft from the original e-maxx C/C++ listing. Review before production use.
vector < ArrayList<Integer> > g; // граф
int n; // число вершин
ArrayList<Integer> color; // цвет вершины (0, 1, или 2)
ArrayList<Integer> time_in, time_out; // "времена" захода и выхода из вершины
int dfs_timer = 0; // "таймер" для определения времён
void dfs (int v) {
time_in[v] = dfs_timer++;
color[v] = 1;
for (ArrayList<Integer>::iterator i=g[v].begin(); i!=g[v].end(); ++i)
if (color[*i] == 0)
dfs (*i);
color[v] = 2;
time_out[v] = dfs_timer++;
}
vector < ArrayList<Integer> > g; // граф
int n; // число вершин
ArrayList<Character> used;
void dfs (int v) {
used[v] = true;
for (ArrayList<Integer>::iterator i=g[v].begin(); i!=g[v].end(); ++i)
if (!used[*i])
dfs (*i);
}
}
Материал разбит как 算法ическая 题目: изучить постановку, понять асимптотику и реализовать 算法 на выбранном языке.
Vacancies for this task
活跃职位 with overlapping task tags are 已显示.