Алгоритм Эдмондса-Карпа: различия между версиями
Перейти к навигации
Перейти к поиску
Ctrlalt (обсуждение | вклад) (→Ссылки) |
Ctrlalt (обсуждение | вклад) Нет описания правки |
||
Строка 4: | Строка 4: | ||
#include <queue> | #include <queue> | ||
using namespace std; | using namespace std; | ||
class Edge { | |||
int a, b, | int a, b, capacity, flow; | ||
Edge(int a, int b, int | public: | ||
int other(int v) { | Edge(int a, int b, int capacity) : a(a), b(b), capacity(capacity), flow(0) {} | ||
int other(int v) const { | |||
return v == a ? b : a; | return v == a ? b : a; | ||
} | } | ||
int | int capacityTo(int v) const { | ||
return v == b ? | return v == b ? capacity - flow : flow; | ||
} | } | ||
void addFlowTo(int v, int f) { | void addFlowTo(int v, int f) { | ||
Строка 18: | Строка 19: | ||
} | } | ||
}; | }; | ||
vector<Edge> edges; | |||
class Graph { | |||
vector<Edge> edges; | |||
vector< vector<int> > g; | |||
vector<bool> used; | |||
vector<int> edgeTo; | |||
void bfs(int v) { | |||
queue<int> q; | |||
used[v] = 1; | |||
q.push(v); | |||
while (!q.empty()) { | |||
v = q.front(); | |||
q.pop(); | |||
for (int i = 0; i < g[v].size(); i++) { | |||
int e = g[v][i], to = edges[e].other(v); | |||
if (!used[to] && edges[e].capacityTo(to)) { | |||
edgeTo[to] = e; | |||
used[to] = 1; | |||
q.push(to); | |||
} | |||
} | } | ||
} | } | ||
} | } | ||
return 0; | bool hasPath(int from, int to) { | ||
} | fill(used.begin(), used.end(), 0); | ||
bfs(from); | |||
return used[to]; | |||
} | |||
int bottleneckCapacity(int from, int to) { | |||
int bCapacity = 1 << 30; | |||
for (int v = to; v != from; v = edges[edgeTo[v]].other(v)) | |||
bCapacity = min(bCapacity, edges[edgeTo[v]].capacityTo(v)); | |||
return bCapacity; | |||
} | |||
void addFlow(int from, int to, int flow) { | |||
for (int v = to; v != from; v = edges[edgeTo[v]].other(v)) | |||
edges[edgeTo[v]].addFlowTo(v, flow); | |||
} | |||
public: | |||
Graph(int verticesCount) { | |||
g.resize(verticesCount); | |||
used.resize(verticesCount); | |||
edgeTo.resize(verticesCount); | |||
} | |||
void addEdge(int from, int to, int capacity) { | |||
edges.push_back(Edge(from, to, capacity)); | |||
g[from].push_back(edges.size() - 1); | |||
g[to].push_back(edges.size() - 1); | |||
} | |||
long long maxFlow(int from, int to) { | |||
long long flow = 0; | |||
while (hasPath(from, to)) { | |||
int deltaFlow = bottleneckCapacity(from, to); | |||
addFlow(from, to, deltaFlow); | |||
flow += deltaFlow; | |||
} | |||
return flow; | |||
} | |||
}; | |||
int main() { | int main() { | ||
int n, m; | |||
scanf("%d%d", &n, &m); | scanf("%d%d", &n, &m); | ||
int a, b, | Graph g(n); | ||
int a, b, c; | |||
for (int i = 0; i < m; i++) { | for (int i = 0; i < m; i++) { | ||
scanf("%d%d%d", &a, &b, & | scanf("%d%d%d", &a, &b, &c); | ||
g.addEdge(a - 1, b - 1, c); | |||
} | } | ||
printf("% | |||
printf("%lld", g.maxFlow(0, n - 1)); | |||
} | } | ||
== Ссылки == | == Ссылки == | ||
* [http://algs4.cs.princeton.edu/lectures/64MaxFlow.pdf algs4.cs.princeton.edu/lectures — 6.4 Maximum Flow] | Теория: | ||
* [http://e-maxx.ru/algo/edmonds_karp e-maxx.ru — Алгоритм Эдмондса-Карпа нахождения максимального потока за O (NM^2)] | :* [http://algs4.cs.princeton.edu/lectures/64MaxFlow.pdf algs4.cs.princeton.edu/lectures — 6.4 Maximum Flow] | ||
* [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://e-maxx.ru/algo/edmonds_karp e-maxx.ru — Алгоритм Эдмондса-Карпа нахождения максимального потока за O (NM^2)] | ||
* [http:// | :* [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://github.com/indy256/codelibrary/blob/master/java/src/MaxFlowEdmondsKarp.java CodeLibrary — Maximum flow. Edmonds-Karp algorithm in O(min(E^2 * V, E * FLOW))] | Демонстрация: | ||
* [http:// | :* [http://visualgo.net/maxflow.html VisuAlgo — Network Flow] | ||
Код: | |||
:* [http://github.com/indy256/codelibrary/blob/master/java/src/MaxFlowEdmondsKarp.java CodeLibrary — Maximum flow. Edmonds-Karp algorithm in O(min(E^2 * V, E * FLOW))] | |||
:* algs4.cs.princeton.edu/code — [http://algs4.cs.princeton.edu/code/edu/princeton/cs/algs4/FlowEdge.java.html FlowEdge], [http://algs4.cs.princeton.edu/code/edu/princeton/cs/algs4/FlowNetwork.java.html FlowNetwork], [http://algs4.cs.princeton.edu/code/edu/princeton/cs/algs4/FordFulkerson.java.html FordFulkerson] (несмотря на название, используется алгоритм Эдмондса-Карпа) | |||
Задачи: | |||
:* [http://informatics.mccme.ru/course/view.php?id=6 informatics.mccme.ru — Курс «Алгоритмы на графах» — часть 9] | |||
:* [[:Категория:Задачи: Максимальный поток|Задачи: Максимальный поток]] | |||
[[Category: Максимальный поток]] | [[Category: Максимальный поток]] |
Версия от 19:58, 24 июля 2016
#include <stdio.h> #include <algorithm> #include <vector> #include <queue> using namespace std; class Edge { int a, b, capacity, flow; public: Edge(int a, int b, int capacity) : a(a), b(b), capacity(capacity), flow(0) {} int other(int v) const { return v == a ? b : a; } int capacityTo(int v) const { return v == b ? capacity - flow : flow; } void addFlowTo(int v, int f) { flow += (v == b ? f : -f); } }; class Graph { vector<Edge> edges; vector< vector<int> > g; vector<bool> used; vector<int> edgeTo; void bfs(int v) { queue<int> q; used[v] = 1; q.push(v); while (!q.empty()) { v = q.front(); q.pop(); for (int i = 0; i < g[v].size(); i++) { int e = g[v][i], to = edges[e].other(v); if (!used[to] && edges[e].capacityTo(to)) { edgeTo[to] = e; used[to] = 1; q.push(to); } } } } bool hasPath(int from, int to) { fill(used.begin(), used.end(), 0); bfs(from); return used[to]; } int bottleneckCapacity(int from, int to) { int bCapacity = 1 << 30; for (int v = to; v != from; v = edges[edgeTo[v]].other(v)) bCapacity = min(bCapacity, edges[edgeTo[v]].capacityTo(v)); return bCapacity; } void addFlow(int from, int to, int flow) { for (int v = to; v != from; v = edges[edgeTo[v]].other(v)) edges[edgeTo[v]].addFlowTo(v, flow); } public: Graph(int verticesCount) { g.resize(verticesCount); used.resize(verticesCount); edgeTo.resize(verticesCount); } void addEdge(int from, int to, int capacity) { edges.push_back(Edge(from, to, capacity)); g[from].push_back(edges.size() - 1); g[to].push_back(edges.size() - 1); } long long maxFlow(int from, int to) { long long flow = 0; while (hasPath(from, to)) { int deltaFlow = bottleneckCapacity(from, to); addFlow(from, to, deltaFlow); flow += deltaFlow; } return flow; } }; int main() { int n, m; scanf("%d%d", &n, &m); Graph g(n); int a, b, c; for (int i = 0; i < m; i++) { scanf("%d%d%d", &a, &b, &c); g.addEdge(a - 1, b - 1, c); } printf("%lld", g.maxFlow(0, n - 1)); }
Ссылки
Теория:
Демонстрация:
Код:
- CodeLibrary — Maximum flow. Edmonds-Karp algorithm in O(min(E^2 * V, E * FLOW))
- algs4.cs.princeton.edu/code — FlowEdge, FlowNetwork, FordFulkerson (несмотря на название, используется алгоритм Эдмондса-Карпа)
Задачи: