-
Notifications
You must be signed in to change notification settings - Fork 18
/
Copy path1695.cpp
136 lines (121 loc) · 4.21 KB
/
1695.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
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
#include <bits/stdc++.h>
using namespace std;
#define print_op(...) ostream& operator<<(ostream& out, const __VA_ARGS__& u)
template<typename A, typename B> print_op(pair<A, B>) { return out << "(" << u.first << ", " << u.second << ")"; }
template<typename T_container, typename T = typename enable_if<!is_same<T_container, string>::value, typename T_container::value_type>::type> print_op(T_container) { out << "{"; string sep; for (const T &x : u) out << sep << x, sep = ", "; return out << "}"; }
template<typename T> void dbg_out(string s, T x) {cerr << "\033[1;35m" << s << "\033[0;32m = \033[33m" << x << "\033[0m\n";}
template<typename T, typename... Args> void dbg_out(string s, T x, Args... args) {for (int i=0, b=0; i<(int)s.size(); i++) if (s[i] == '(' || s[i] == '{') b++; else
if (s[i] == ')' || s[i] == '}') b--; else if (s[i] == ',' && b == 0) {cerr << "\033[1;35m" << s.substr(0, i) << "\033[0;32m = \033[33m" << x << "\033[31m | "; dbg_out(s.substr(s.find_first_not_of(' ', i + 1)), args...); break;}}
#ifdef LOCAL
#define dbg(...) dbg_out(#__VA_ARGS__, __VA_ARGS__)
#else
#define dbg(...)
#endif
#define ar array
#define ll long long
#define ld long double
#define sz(x) ((int)x.size())
#define rep(i, a, b) for (int i = (int)(a); i < (int)(b); i++)
#define all(a) (a).begin(), (a).end()
const int MAX_N = 1e5 + 5;
const int MAX_L = 20;
const int MAX_C = 26;
const ll MOD = 1e9 + 7;
const ll INF = 1e9;
const ld EPS = 1e-9;
struct Edge {
int u, v;
long long cap, flow;
Edge(int _u, int _v, long long _cap) : u(_u), v(_v), cap(_cap), flow(0) {}
};
struct Dinic {
int n, m, s, t;
vector<int> level, ptr;
vector<Edge> edges;
vector<vector<int>> adj;
Dinic(int _n, int _s, int _t) : n(_n), m(0), s(_s), t(_t), level(n), ptr(n), adj(n) {}
void addEdge(int u, int v, long long cap, long long rcap = 0) {
edges.emplace_back(u, v, cap);
edges.emplace_back(v, u, rcap);
adj[u].push_back(m++);
adj[v].push_back(m++);
}
bool bfs() {
fill(level.begin(), level.end(), -1);
queue<int> q;
level[s] = 0;
q.push(s);
while (!q.empty()) {
int u = q.front();
q.pop();
for (int e : adj[u])
if (edges[e].flow < edges[e].cap && level[edges[e].v] == -1) {
level[edges[e].v] = level[u] + 1;
q.push(edges[e].v);
}
}
return level[t] != -1;
}
long long dfs(int u, long long f) {
if (f == 0 || u == t)
return f;
while (ptr[u] < (int) adj[u].size()) {
int e = adj[u][ptr[u]], v = edges[e].v;
long long nf;
if (level[u] + 1 == level[v] && edges[e].flow < edges[e].cap && (nf = dfs(v, min(f, edges[e].cap - edges[e].flow))) > 0) {
edges[e].flow += nf;
edges[e^1].flow -= nf;
return nf;
}
ptr[u]++;
}
return 0;
}
long long maxFlow(long long limit = LLONG_MAX) {
long long ret = 0;
while (limit > 0 && bfs()) {
fill(ptr.begin(), ptr.end(), 0);
while (long long f = dfs(s, limit)) {
ret += f;
limit -= f;
}
}
return ret;
}
void minCut() {
ll mf = maxFlow();
cout << mf << "\n";
vector<bool> vis(n);
function<void(int)> dfsCut = [&](int u) {
vis[u] = true;
for (int e : adj[u]) {
auto [_, v, cap, flow] = edges[e];
if (!vis[v] && cap > flow) dfsCut(v);
}
};
dfsCut(s);
for (auto [u, v, cap, flow] : edges) {
if (vis[u] != vis[v] && cap == flow) {
cout << u + 1 << " " << v + 1 << "\n";
}
}
}
};
void solve(int tc = 0) {
int n, m; cin >> n >> m;
Dinic dn(n, 0, n - 1);
for (int i = 0; i < m; i++) {
int u, v; cin >> u >> v; u--; v--;
dn.addEdge(u, v, 1, 1);
}
dn.minCut();
}
signed main() {
ios_base::sync_with_stdio(false); cin.tie(NULL);
int tc = 1;
// cin >> tc;
for (int t = 1; t <= tc; t++) {
// cout << "Case #" << t << ": ";
solve(t);
}
}