Топологическая сортировка: различия между версиями

Материал из Олимпиадное программирование в УлГТУ
Перейти к навигации Перейти к поиску
(Новая страница: «== Ссылки на задачи == * [http://acm.timus.ru/problem.aspx?space=1&num=1022 Timus #1022 — Генеалогическое дерево] Cate…»)
 
Нет описания правки
 
(не показано 17 промежуточных версий этого же участника)
Строка 1: Строка 1:
== Ссылки на задачи ==
== TLDR ==
* [http://acm.timus.ru/problem.aspx?space=1&num=1022 Timus #1022 — Генеалогическое дерево]
<youtube width="300" height="180">o0P8oNXoA_w</youtube>
 
== Топологическая сортировка через DFS ==
* Порядок топологической сортировки — порядок убывания времени выхода из вершины.
* Каждую вершину при выходе из DFS кладём в контейнер, который после переворачиваем (также можно использовать стек).
* Время работы O(V + E).
 
void dfs(vector<vector<int>> &graph, int v, vector<int> &visited, vector<int> &order) {
    visited[v] = 1;
    for (int to : graph[v])
        if (!visited[to])
            dfs(graph, to, visited, order);
    order.push_back(v);
}
for (int v = 0; v < graph.size(); v++)
    if (!visited[v])
        dfs(graph, v, visited, order);
reverse(order.begin(), order.end());
 
== Алгоритм Кана ==
* Пока в графе остались вершины, находим любой исток, добавляем его к ответу и удаляем из графа вместе со всеми исходящими рёбрами.
* Данный алгоритм, в отличие от предыдущего, позволяет найти лексикографически минимальную топологическую сортировку.
* Время работы O(VlogV + E).
 
vector<int> inDegree(graph.size());
for (int v = 0; v < graph.size(); v++)
    for (int to : graph[v])
        inDegree[to]++;
set<pair<int, int>> q;
for (int v = 0; v < graph.size(); v++)
    q.insert({ inDegree[v], v });
vector<int> order;
while (!q.empty()) {
    int v = q.begin()->second;
    q.erase(q.begin());
    order.push_back(v);
    for (int to : graph[v]) {
        q.erase({ inDegree[to], to });
        inDegree[to]--;
        q.insert({ inDegree[to], to });
    }
}
 
== Ссылки ==
Теория:
:* [http://e-maxx.ru/algo/topological_sort e-maxx.ru — Топологическая сортировка]
:* [http://neerc.ifmo.ru/wiki/index.php?title=%D0%98%D1%81%D0%BF%D0%BE%D0%BB%D1%8C%D0%B7%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5_%D0%BE%D0%B1%D1%85%D0%BE%D0%B4%D0%B0_%D0%B2_%D0%B3%D0%BB%D1%83%D0%B1%D0%B8%D0%BD%D1%83_%D0%B4%D0%BB%D1%8F_%D1%82%D0%BE%D0%BF%D0%BE%D0%BB%D0%BE%D0%B3%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%BE%D0%B9_%D1%81%D0%BE%D1%80%D1%82%D0%B8%D1%80%D0%BE%D0%B2%D0%BA%D0%B8 neerc.ifmo.ru/wiki — Использование обхода в глубину для топологической сортировки]
:* [http://brestprog.by/topics/topsort/ brestprog.by — Топологическая сортировка]
:* [http://algorithmica.org/tg/dfs-plus algorithmica.org — Продвинутый DFS]
:* [https://usaco.guide/gold/toposort usaco.guide — Topological Sort]
:* [https://notes.algoprog.ru/dfs/04_3_topsort.html#id2 Калинин П. Топологическая сортировка]
:* [https://ejudge.lksh.ru/archive/2014/07/Cprime/stuff/Dfs.pdf Лахно А. Поиск в глубину и его применение]
:* [https://algs4.cs.princeton.edu/lectures/keynote/42DirectedGraphs.pdf algs4.cs.princeton.edu/lectures — 4.2 Directed Graphs]
Демонстрация:
:* [https://visualgo.net/en/dfsbfs VisuAlgo — Graph Traversal]
Код:
:* [https://github.com/indy256/codelibrary/blob/master/cpp/graphs/dfs/topological_sort.cpp codelibrary/cpp/graphs/dfs/topological_sort.cpp]
:* [https://github.com/kevin-wayne/algs4/blob/master/src/main/java/edu/princeton/cs/algs4/Topological.java algs4/Topological.java]
Задачи:
:* [http://acm.timus.ru/problem.aspx?space=1&num=1022 Timus #1022 Генеалогическое дерево]
:* [http://codeforces.ru/gym/100070/problem/B Codeforces #100070.B — Топологическая сортировка]
:* [https://onlinejudge.org/index.php?option=com_onlinejudge&Itemid=8&category=24&page=show_problem&problem=2001 UVa #11060 — Beverages]
 


[[Category:Поиск в глубину и его приложения]]
[[Category:Поиск в глубину и его приложения]]

Текущая версия от 15:16, 24 мая 2023

TLDR

Топологическая сортировка через DFS

  • Порядок топологической сортировки — порядок убывания времени выхода из вершины.
  • Каждую вершину при выходе из DFS кладём в контейнер, который после переворачиваем (также можно использовать стек).
  • Время работы O(V + E).
void dfs(vector<vector<int>> &graph, int v, vector<int> &visited, vector<int> &order) {
    visited[v] = 1;
    for (int to : graph[v])
        if (!visited[to])
            dfs(graph, to, visited, order);
    order.push_back(v);
}

for (int v = 0; v < graph.size(); v++)
    if (!visited[v])
        dfs(graph, v, visited, order);
reverse(order.begin(), order.end());

Алгоритм Кана

  • Пока в графе остались вершины, находим любой исток, добавляем его к ответу и удаляем из графа вместе со всеми исходящими рёбрами.
  • Данный алгоритм, в отличие от предыдущего, позволяет найти лексикографически минимальную топологическую сортировку.
  • Время работы O(VlogV + E).
vector<int> inDegree(graph.size());
for (int v = 0; v < graph.size(); v++)
    for (int to : graph[v])
        inDegree[to]++;

set<pair<int, int>> q;
for (int v = 0; v < graph.size(); v++)
    q.insert({ inDegree[v], v });

vector<int> order;
while (!q.empty()) {
    int v = q.begin()->second;
    q.erase(q.begin());

    order.push_back(v);

    for (int to : graph[v]) {
        q.erase({ inDegree[to], to });
        inDegree[to]--;
        q.insert({ inDegree[to], to });
    }
}

Ссылки

Теория:

Демонстрация:

Код:

Задачи: