-
Notifications
You must be signed in to change notification settings - Fork 18
/
Copy path2101.cpp
136 lines (124 loc) · 4.01 KB
/
2101.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
using ll = long long;
using ld = long double;
#define ar array
#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 = 2e5 + 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 DSU {
int num; vector<int> par, sza;
void init(int _n) {
num = _n;
par = vector<int>(_n); iota(par.begin(), par.end(), 0);
sza = vector<int>(_n, 1);
}
int find(int u) { return u == par[u] ? u : par[u] = find(par[u]); }
bool same(int u, int v) { return find(u) == find(v); }
bool merge(int u, int v) {
u = find(u), v = find(v);
if (u == v) return false;
if (sza[u] > sza[v]) swap(u, v);
par[u] = v;
sza[v] += sza[u];
num--;
return true;
}
};
int n, m, q, par[MAX_N][MAX_L], dep[MAX_N], mx[MAX_N][MAX_L];
bool vis[MAX_N];
vector<ar<int,2>> adj[MAX_N];
DSU dsu;
void dfs(int u, int p = 0, int c = 0) {
vis[u] = true;
par[u][0] = p;
mx[u][0] = c;
for (int i = 1; i < MAX_L; i++) {
par[u][i] = par[par[u][i - 1]][i - 1];
mx[u][i] = max(mx[u][i - 1], mx[par[u][i - 1]][i - 1]);
}
for (auto [v, w] : adj[u]) {
if (v == p) continue;
dep[v] = dep[u] + 1;
dfs(v, u, w);
}
}
ar<int,2> kthAnc(int u, int k) {
int c = 0;
for (int i = 0; i < MAX_L; i++) {
if (k & (1 << i)) {
c = max(c, mx[u][i]);
u = par[u][i];
}
}
return {u, c};
}
int query(int uu, int v) {
if (dep[uu] < dep[v]) swap(uu, v);
auto [u, c] = kthAnc(uu, dep[uu] - dep[v]);
if (u == v) return c;
for (int i = MAX_L - 1; i >= 0; i--) {
if (par[u][i] != par[v][i]) {
c = max(c, mx[u][i]);
c = max(c, mx[v][i]);
u = par[u][i];
v = par[v][i];
}
}
c = max(c, mx[u][0]);
c = max(c, mx[v][0]);
return c;
}
// Maintain a forest of minimal spanning trees (cost is the time)
// Then for each spanning tree, use binary lifting to find the max cost between u and v
void solve(int tc = 0) {
cin >> n >> m >> q;
dsu.init(n);
for (int i = 0; i < m; i++) {
int u, v; cin >> u >> v;
if (dsu.merge(u, v)) {
adj[u].push_back({v, i + 1});
adj[v].push_back({u, i + 1});
}
}
for (int i = 1; i <= n; i++) {
if (vis[i]) continue;
dfs(i);
}
while (q--) {
int u, v; cin >> u >> v;
if (u == v) {
cout << 0 << "\n";
} else if (dsu.same(u, v)) {
cout << query(u, v) << "\n";
} else {
cout << -1 << "\n";
}
}
}
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);
}
}