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

Материал из Олимпиадное программирование в УлГТУ
Перейти к навигации Перейти к поиску
Нет описания правки
 
(не показано 6 промежуточных версий этого же участника)
Строка 1: Строка 1:
* Порядок топологической сортировки — порядок убывания времени выхода из вершины.
== TLDR ==
<youtube width="300" height="180">o0P8oNXoA_w</youtube>
 
== Топологическая сортировка через DFS ==
* Порядок топологической сортировки порядок убывания времени выхода из вершины.
* Каждую вершину при выходе из DFS кладём в контейнер, который после переворачиваем (также можно использовать стек).
* Каждую вершину при выходе из DFS кладём в контейнер, который после переворачиваем (также можно использовать стек).
* Время работы O(V + E).


  vector<int> g[V_CNT];
  void dfs(vector<vector<int>> &graph, int v, vector<int> &visited, vector<int> &order) {
bool u[V_CNT];
     visited[v] = 1;
vector<int> order;
     for (int to : graph[v])
         if (!visited[to])
void dfs(int v) {
             dfs(graph, to, visited, order);
     u[v] = 1;
     for (int i = 0; i < g[v].size(); i++)
         if (!u[g[v][i]])
             dfs(g[v][i]);
     order.push_back(v);
     order.push_back(v);
  }
  }
   
   
  for (int i = 0; i < V_CNT; i++)
  for (int v = 0; v < graph.size(); v++)
    u[i] = 0;
     if (!visited[v])
for (int i = 0; i < V_CNT; i++)
         dfs(graph, v, visited, order);
     if (!u[i])
         dfs(i);
  reverse(order.begin(), order.end());
  reverse(order.begin(), order.end());


== Ссылки на задачи ==
== Алгоритм Кана ==
* [http://acm.timus.ru/problem.aspx?space=1&num=1022 Timus #1022 &mdash; Генеалогическое дерево]
* Пока в графе остались вершины, находим любой исток, добавляем его к ответу и удаляем из графа вместе со всеми исходящими рёбрами.
* [http://codeforces.ru/gym/100070/problem/B Codeforces #100070.B &mdash; Топологическая сортировка]
* Данный алгоритм, в отличие от предыдущего, позволяет найти лексикографически минимальную топологическую сортировку.
* Время работы 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 &mdash; Топологическая сортировка]
Теория:
* [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 &mdash; Использование обхода в глубину для топологической сортировки]
:* [http://e-maxx.ru/algo/topological_sort e-maxx.ru Топологическая сортировка]
* [http://brestprog.neocities.org/lections/topsort.html brestprog.neocities.org &mdash; Топологическая сортировка]
:* [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://algorithmica.org/tg/dfs-plus algorithmica.org — Продвинутый DFS]
:* [http://brestprog.by/topics/topsort/ brestprog.by — Топологическая сортировка]
* [http://informatics.mccme.ru/course/view.php?id=6 informatics.mccme.ru &mdash; Курс &laquo;Алгоритмы на графах&raquo; &mdash; часть 2]
:* [http://algorithmica.org/tg/dfs-plus algorithmica.org — Продвинутый DFS]
* [http://github.com/petr-kalinin/progtexts/releases/download/v2014.11.01/04_dfs.pdf Калинин П. Поиск в глубину]
:* [https://usaco.guide/gold/toposort usaco.guide — Topological Sort]
* [http://ejudge.btty.su/bmstu/addon/docs/articles/moscow2006-dfs.pdf Лахно А. Поиск в глубину и его применение]
:* [https://notes.algoprog.ru/dfs/04_3_topsort.html#id2 Калинин П. Топологическая сортировка]
* [http://algs4.cs.princeton.edu/lectures/42DirectedGraphs.pdf algs4.cs.princeton.edu/lectures &mdash; 4.2 Directed Graphs]
:* [https://ejudge.lksh.ru/archive/2014/07/Cprime/stuff/Dfs.pdf Лахно А. Поиск в глубину и его применение]
* [http://visualgo.net/dfsbfs.html VisuAlgo &mdash; Graph Traversal]
:* [https://algs4.cs.princeton.edu/lectures/keynote/42DirectedGraphs.pdf algs4.cs.princeton.edu/lectures 4.2 Directed Graphs]
* [http://github.com/indy256/codelibrary/blob/master/java/src/TopologicalSort.java CodeLibrary &mdash; Topological sorting]
Демонстрация:
:* [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 });
    }
}

Ссылки

Теория:

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

Код:

Задачи: