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

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


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


Строка 26: Строка 25:
* Время работы O(VlogV + E).
* Время работы O(VlogV + E).


  vector<vector<int>> graph(vertexCount);
  vector<int> inDegree(graph.size());
  for (int v = 0; v < graph.size(); v++)
vector<int> inDegree(vertexCount);
  for (int v = 0; v < vertexCount; v++)
     for (int to : graph[v])
     for (int to : graph[v])
         inDegree[to]++;
         inDegree[to]++;
   
   
  set<pair<int, int>> q;
  set<pair<int, int>> q;
  for (int v = 0; v < vertexCount; v++)
  for (int v = 0; v < graph.size(); v++)
     q.insert({ inDegree[v], v });
     q.insert({ inDegree[v], v });
   
   
Строка 59: Строка 56:
:* [https://usaco.guide/gold/toposort usaco.guide — Topological Sort]
:* [https://usaco.guide/gold/toposort usaco.guide — Topological Sort]
:* [https://notes.algoprog.ru/dfs/04_3_topsort.html#id2 Калинин П. Топологическая сортировка]
:* [https://notes.algoprog.ru/dfs/04_3_topsort.html#id2 Калинин П. Топологическая сортировка]
:* [https://archive.lksh.ru/2014/july/Cprime/stuff/Dfs.pdf Лахно А. Поиск в глубину и его применение]
:* [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://algs4.cs.princeton.edu/lectures/keynote/42DirectedGraphs.pdf algs4.cs.princeton.edu/lectures — 4.2 Directed Graphs]
Демонстрация:
Демонстрация:
Строка 65: Строка 62:
Код:
Код:
:* [https://github.com/indy256/codelibrary/blob/master/cpp/graphs/dfs/topological_sort.cpp codelibrary/cpp/graphs/dfs/topological_sort.cpp]
:* [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]
:* [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://acm.timus.ru/problem.aspx?space=1&num=1022 Timus #1022 — Генеалогическое дерево]

Текущая версия от 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 });
    }
}

Ссылки

Теория:

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

Код:

Задачи: