This submission is migrated from previous version of oj.uz, which used different machine for grading. This submission may have different result if resubmitted.
#include <bits/stdc++.h>
using namespace std;
using ll = long long;
const int inf = 1e9 + 7;
const ll infll = 1e18;
template<typename T>
istream &operator>>(istream &is, vector<T> &a) {
for (auto &i : a) {
is >> i;
}
return is;
}
struct Edge {
int to, w;
};
vector<int> d;
struct BinaryJumps {
static const int lg = 17;
vector<vector<int>> up;
vector<vector<int>> dp;
BinaryJumps() {}
BinaryJumps(int n) {
up.resize(lg, vector<int>(n, -1));
dp.resize(lg, vector<int>(n, inf));
}
void add_leaf(int v, int p, int w) {
up[0][v] = p;
dp[0][v] = w;
for (int i = 1; i < lg; ++i) {
if (up[i - 1][v] != -1) {
up[i][v] = up[i - 1][up[i - 1][v]];
dp[i][v] = min(dp[i - 1][v], dp[i - 1][up[i - 1][v]]);
}
}
}
int la(int v, const function<bool(int)> &func) {
int ans = inf;
for (int i = lg - 1; i >= 0; --i) {
if (up[i][v] == -1) {
continue;
}
if (func(up[i][v])) {
ans = min(ans, dp[i][v]);
v = up[i][v];
}
}
return ans;
}
};
vector<vector<Edge>> g;
BinaryJumps tr;
vector<int> dp;
vector<int> tin, tout;
int timer = 0;
void dfs1(int v, int p = -1) {
tin[v] = timer++;
for (auto [u, w] : g[v]) {
if (u != p) {
d[u] = d[v] + w;
dfs1(u, v);
dp[v] = min(dp[v], dp[u] + w);
}
}
tout[v] = timer;
}
void dfs2(int v, int p = -1) {
if (dp[v] < inf) {
dp[v] -= d[v];
}
for (auto [u, w] : g[v]) {
if (u != p) {
tr.add_leaf(u, v, dp[v]);
dfs2(u, v);
}
}
}
bool is_anc(int p, int v) {
return tin[p] <= tin[v] && tout[v] <= tout[p];
}
int32_t main() {
#ifdef LOCAL
freopen("/tmp/input.txt", "r", stdin);
#else
ios::sync_with_stdio(false);
cin.tie(nullptr);
#endif
int n, s, q, e;
cin >> n >> s >> q >> e;
--e;
g.resize(n);
vector<array<int, 3>> edg(n - 1);
for (int i = 0; i < n - 1; ++i) {
int u, v, w;
cin >> u >> v >> w;
--u, --v;
g[u].push_back({v, w});
g[v].push_back({u, w});
edg[i] = {u, v, w};
}
dp.resize(n, inf);
for (int i = 0; i < s; ++i) {
int v;
cin >> v;
--v;
dp[v] = 0;
}
d.resize(n);
tin.resize(n);
tout.resize(n);
dfs1(e);
tr = BinaryJumps(n);
dfs2(e);
while (q--) {
int i, v;
cin >> i >> v;
--i, --v;
auto [a, b, c] = edg[i];
if (d[a] > d[b]) {
swap(a, b);
}
if (!is_anc(b, v)) {
cout << "escaped\n";
continue;
}
int ans = min(dp[v], tr.la(v, [&](int u) {
return !is_anc(u, a);
}));
if (ans == inf) {
cout << "oo\n";
} else {
cout << ans + d[v] << "\n";
}
}
return 0;
}
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |