Алгоритм Эдмондса-Карпа: различия между версиями

Материал из Олимпиадное программирование в УлГТУ
Перейти к навигации Перейти к поиску
Нет описания правки
Нет описания правки
 
(не показаны 2 промежуточные версии этого же участника)
Строка 1: Строка 1:
  class Graph {
  class Graph {
     struct Edge {
     struct Edge {
         int a, b, capacity, flow;
         int a, b, capacity, flow = 0;
   
   
         Edge(int a, int b, int capacity) :
         Edge(int a, int b, int capacity) :
             a(a), b(b), capacity(capacity), flow(0) {}
             a(a), b(b), capacity(capacity) {}
   
   
         int other(int v) const {
         int other(int v) const {
             return v == a ? b : a;
             return v == b ? a : b;
         }
         }
   
   
Строка 14: Строка 14:
         }
         }
   
   
         void addFlowTo(int v, int f) {
         void addFlowTo(int v, int deltaFlow) {
             flow += (v == b ? f : -f);
             flow += (v == b ? deltaFlow : -deltaFlow);
         }
         }
     };
     };
   
   
     vector<Edge> edges;
     vector<Edge> edges;
     vector<vector<int>> g;
     vector<vector<int>> graph;
     vector<bool> visited;
     vector<int> visited, edgeTo;
    vector<int> edgeTo;
   
   
     void bfs(int v) {
     bool hasPath(int start, int finish) {
        visited.assign(graph.size(), 0);
        edgeTo.assign(graph.size(), -1);
         queue<int> q;
         queue<int> q;
         visited[v] = 1;
         q.push(v);
         visited[start] = 1;
         q.push(start);
         while (!q.empty()) {
         while (!q.empty()) {
             v = q.front();
             int v = q.front();
             q.pop();
             q.pop();
             for (int e : g[v]) {
                 int to = edges[e].other(v);
             for (int edgeIndex : graph[v]) {
                 if (!visited[to] && edges[e].capacityTo(to)) {
                 int to = edges[edgeIndex].other(v);
                    edgeTo[to] = e;
                 if (!visited[to] && edges[edgeIndex].capacityTo(to)) {
                     visited[to] = 1;
                     visited[to] = 1;
                    edgeTo[to] = edgeIndex;
                     q.push(to);
                     q.push(to);
                 }
                 }
             }
             }
         }
         }
    }
   
   
    bool hasPath(int from, int to) {
         return visited[finish];
        fill(visited.begin(), visited.end(), 0);
        bfs(from);
         return visited[to];
     }
     }
   
   
     int bottleneckCapacity(int from, int to) {
     int getMinCapacity(int start, int finish) {
         int bCapacity = 1e9;
         int minCapacity = 1e9;
         for (int v = to; v != from; v = edges[edgeTo[v]].other(v))
         for (int v = finish; v != start; v = edges[edgeTo[v]].other(v))
             bCapacity = min(bCapacity, edges[edgeTo[v]].capacityTo(v));
             minCapacity = min(minCapacity, edges[edgeTo[v]].capacityTo(v));
         return bCapacity;
         return minCapacity;
     }
     }
   
   
     void addFlow(int from, int to, int flow) {
     void addFlow(int start, int finish, int deltaFlow) {
         for (int v = to; v != from; v = edges[edgeTo[v]].other(v))
         for (int v = finish; v != start; v = edges[edgeTo[v]].other(v))
             edges[edgeTo[v]].addFlowTo(v, flow);
             edges[edgeTo[v]].addFlowTo(v, deltaFlow);
     }
     }
   
   
  public:
  public:
     Graph(int vertexCount) {
     Graph(int vertexCount) : graph(vertexCount) {}
        g.resize(vertexCount);
        visited.resize(vertexCount);
        edgeTo.resize(vertexCount);
    }
   
   
     void addEdge(int from, int to, int capacity) {
     void addEdge(int from, int to, int capacity) {
         edges.push_back(Edge(from, to, capacity));
         edges.push_back(Edge(from, to, capacity));
         g[from].push_back(edges.size() - 1);
         graph[from].push_back(edges.size() - 1);
         g[to].push_back(edges.size() - 1);
         graph[to].push_back(edges.size() - 1);
     }
     }
   
   
     long long maxFlow(int from, int to) {
     long long maxFlow(int start, int finish) {
         long long flow = 0;
         long long flow = 0;
         while (hasPath(from, to)) {
         while (hasPath(start, finish)) {
             int deltaFlow = bottleneckCapacity(from, to);
             int deltaFlow = getMinCapacity(start, finish);
             addFlow(from, to, deltaFlow);
             addFlow(start, finish, deltaFlow);
             flow += deltaFlow;
             flow += deltaFlow;
         }
         }
Строка 90: Строка 86:
* [http://neerc.ifmo.ru/wiki/index.php?title=%D0%90%D0%BB%D0%BE%D1%80%D0%B8%D1%82%D0%BC_%D0%AD%D0%B4%D0%BC%D0%BE%D0%BD%D0%B4%D1%81%D0%B0-%D0%9A%D0%B0%D1%80%D0%BF%D0%B0 neerc.ifmo.ru/wiki — Алгоритм Эдмондса-Карпа]
* [http://neerc.ifmo.ru/wiki/index.php?title=%D0%90%D0%BB%D0%BE%D1%80%D0%B8%D1%82%D0%BC_%D0%AD%D0%B4%D0%BC%D0%BE%D0%BD%D0%B4%D1%81%D0%B0-%D0%9A%D0%B0%D1%80%D0%BF%D0%B0 neerc.ifmo.ru/wiki — Алгоритм Эдмондса-Карпа]
* [http://brilliant.org/wiki/edmonds-karp-algorithm Brilliant.org — Edmonds-Karp Algorithm]
* [http://brilliant.org/wiki/edmonds-karp-algorithm Brilliant.org — Edmonds-Karp Algorithm]
* [https://codeforces.com/blog/entry/145343 codeforces.com — Worst-Case Graphs for Maximum Flow Algorithms]
Демонстрация:
Демонстрация:
* [https://visualgo.net/en/maxflow VisuAlgo — Network Flow]
* [https://visualgo.net/en/maxflow VisuAlgo — Network Flow]

Текущая версия от 19:47, 22 октября 2025

class Graph {
    struct Edge {
        int a, b, capacity, flow = 0;

        Edge(int a, int b, int capacity) :
            a(a), b(b), capacity(capacity) {}

        int other(int v) const {
            return v == b ? a : b;
        }

        int capacityTo(int v) const {
            return v == b ? capacity - flow : flow;
        }

        void addFlowTo(int v, int deltaFlow) {
            flow += (v == b ? deltaFlow : -deltaFlow);
        }
    };

    vector<Edge> edges;
    vector<vector<int>> graph;
    vector<int> visited, edgeTo;

    bool hasPath(int start, int finish) {
        visited.assign(graph.size(), 0);
        edgeTo.assign(graph.size(), -1);
        queue<int> q;

        visited[start] = 1;
        q.push(start);

        while (!q.empty()) {
            int v = q.front();
            q.pop();

            for (int edgeIndex : graph[v]) {
                int to = edges[edgeIndex].other(v);
                if (!visited[to] && edges[edgeIndex].capacityTo(to)) {
                    visited[to] = 1;
                    edgeTo[to] = edgeIndex;
                    q.push(to);
                }
            }
        }

        return visited[finish];
    }

    int getMinCapacity(int start, int finish) {
        int minCapacity = 1e9;
        for (int v = finish; v != start; v = edges[edgeTo[v]].other(v))
            minCapacity = min(minCapacity, edges[edgeTo[v]].capacityTo(v));
        return minCapacity;
    }

    void addFlow(int start, int finish, int deltaFlow) {
        for (int v = finish; v != start; v = edges[edgeTo[v]].other(v))
            edges[edgeTo[v]].addFlowTo(v, deltaFlow);
    }

public:
    Graph(int vertexCount) : graph(vertexCount) {}

    void addEdge(int from, int to, int capacity) {
        edges.push_back(Edge(from, to, capacity));
        graph[from].push_back(edges.size() - 1);
        graph[to].push_back(edges.size() - 1);
    }

    long long maxFlow(int start, int finish) {
        long long flow = 0;
        while (hasPath(start, finish)) {
            int deltaFlow = getMinCapacity(start, finish);
            addFlow(start, finish, deltaFlow);
            flow += deltaFlow;
        }
        return flow;
    }
};

Ссылки

Теория:

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

Код:

Задачи: