summaryrefslogtreecommitdiff
path: root/graph/pushRelabel.cpp
blob: 182fa122ad67c238af9963212b89a91a2068a520 (plain)
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
struct PushRelabel {
	vector<vector<long long>> capacitie, flow;
	vector<long long> excess;
	vector<int> height, seen, list;
	int n;

	PushRelabel(int n) {
		this->n = n;
		capacities.assign(n, vector<long long>(n));
		flow.assign(n, vector<long long>(n));
		excess.assign(n, 0);
		height.assign(n, 0);
		seen.assign(n, 0);
		list.assign(n - 2, 0);
	}

	inline void addEdge(int u, int v, long long c) {capacities[u][v] += c;}

	void push(int u, int v) {
		long long send = min(excess[u], capacities[u][v] - flow[u][v]);
		flow[u][v] += send; flow[v][u] -= send;
		excess[u] -= send; excess[v] += send;
	}

	void relabel(int u) {
		int minHeight = INT_INF;
		for (int v = 0; v < n; v++) {
			if (capacities[u][v] - flow[u][v] > 0) {
				minHeight = min(minHeight, height[v]);
				height[u] = minHeight + 1;
	}}}

	void discharge(int u) {
		while (excess[u] > 0) {
			if (seen[u] < n) {
				int v = seen[u];
				if (capacities[u][v] - flow[u][v] > 0 && height[u] > height[v]) {
					push(u, v);
				} else seen[u]++;
			} else {
				relabel(u);
				seen[u] = 0;
	}}}

	void moveToFront(int u) {
		int temp = list[u];
		for (int i = u; i > 0; i--) list[i] = list[i - 1];
		list[0] = temp;
	}

	long long maxFlow(int source, int target) {
		for (int i = 0, p = 0; i < n; i++)
			if (i != source && i != target) list[p++] = i;

		height[source] = n;
		excess[source] = INF;
		for (int i = 0; i < n; i++) push(source, i);

		int p = 0;
		while (p < n - 2) {
			int u = list[p], oldHeight = height[u];
			discharge(u);
			if (height[u] > oldHeight) {
				moveToFront(p);
				p = 0;
			} else p++;
		}

		long long maxflow = 0;
		for (int i = 0; i < n; i++) maxflow += flow[source][i];
		return maxflow;
	}
};