-
Notifications
You must be signed in to change notification settings - Fork 0
/
sov_dinic.cpp
103 lines (101 loc) · 2.62 KB
/
sov_dinic.cpp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
#include <bits/stdc++.h>
using namespace std;
#define int long long
const int MAXN = 5e4 + 10;
const int MAXM = 3e5 + 10;
const int INF = LONG_LONG_MAX;
int head[MAXN], ver[MAXM], nxt[MAXM], edge[MAXM], d[MAXM];
int n, m, s, t, tot = 1, maxflow;
queue<int> q;
void add(const int &x, const int &y, const int &z)
{
ver[++tot] = y;
edge[tot] = z;
nxt[tot] = head[x];
head[x] = tot;
}
bool bfs()
{
// 初始化距离数组
memset(d, 0, sizeof(d));
// 将队列q中的元素全部弹出
while (q.size())
q.pop();
// 将起点s压入队列q
q.push(s);
// 距离数组d中s的距离设置为1
d[s] = 1;
// 当队列q不为空时,循环
while (q.size())
{
// 取出队列q中的第一个元素
int x = q.front();
// 将该元素弹出队列q
q.pop();
// 遍历x的边
for (int i = head[x]; i; i = nxt[i])
{
// 如果该边的边权不为0,且距离数组d中该边的距离为0
if (edge[i] && !d[ver[i]])
{
// 将该边的终点压入队列q
q.push(ver[i]);
// 将该边的距离设置为x的距离加1
d[ver[i]] = d[x] + 1;
// 如果该边的终点是终点t,返回true
if (ver[i] == t)
return 1;
}
}
}
// 如果遍历完所有的边,没有找到终点t,返回false
return 0;
}
int dinic(int x, int flow)
{
// 如果已经到达汇点,则返回已经流过的水量
if (x == t)
return flow;
// 剩余水量
int rest = flow, k;
// 遍历x的边
for (int i = head[x]; i && rest; i = nxt[i])
{
// 如果该边的容量大于0,且源点为x,汇点为ver[i]
if (edge[i] && d[ver[i]] == d[x] + 1)
{
// 调用dinic函数,计算从ver[i]到汇点的最大流
k = dinic(ver[i], min(rest, edge[i]));
// 如果最大流为0,则将源点d[ver[i]]置为0
if (!k)
d[ver[i]] = 0;
// 更新边的容量
edge[i] -= k;
edge[i ^ 1] += k;
// 更新剩余水量
rest -= k;
}
}
// 返回已经流过的水量
return flow - rest;
}
signed main()
{
cin >> n >> m;
cin >> s >> t;
tot = 1;
for (int i = 1; i <= m; i++)
{
int x, y, c;
cin >> x >> y >> c;
add(x, y, c);
add(y, x, 0);
}
int flow = 0;
while (bfs())
{
while (flow = dinic(s, INF))
maxflow += flow;
}
cout << maxflow << endl;
}