QOJ.ac

QOJ

ID题目提交者结果用时内存语言文件大小提交时间测评时间
#177712#7103. Red Black TreeshshAC ✓1736ms55964kbC++172.7kb2023-09-13 11:01:552023-09-13 11:01:55

Judging History

你现在查看的是最新测评结果

  • [2023-09-13 11:01:55]
  • 评测
  • 测评结果:AC
  • 用时:1736ms
  • 内存:55964kb
  • [2023-09-13 11:01:55]
  • 提交

answer

#include <iostream>
#include <vector>
#include <tuple>
#include <algorithm>
#include <cassert>
#include <cmath>
using namespace std;
#define int long long
const int inf = 1e18;
using i2 = pair<int, int>;
using i3 = tuple<int, int, int>;
const int N = 1e5 + 1;
const int K = 20;
int n, m, q, T, d[N], D[N], R[N], I[N], O[2 * N], E[N], st[2 * N][K];
bool r[N];
vector<i2> G[N];
void dfs(int x, int p) {
    O[E[x] = I[x] = T++] = x;
    d[x] = d[p] + 1;
    R[x] = R[p] + r[x];
    for (auto [y, w] : G[x]) if (y != p) {
        D[y] = !r[y] * (D[x] + w);
        dfs(y, x);
        O[I[x] = T++] = x;
    }
}
int mn(int x, int y) { return d[x] < d[y] ? x : y; }
int lg(int i) {
    return i ? __builtin_clzll(1) - __builtin_clzll(i) : -1;
}
int lca(int u, int v) {
    int l = I[u], r = I[v];
    if (l > r) swap(l, r);
    int k = lg(r - l + 1);
    int lca = mn(st[l][k], st[r - (1 << k) + 1][k]);
    assert(E[lca] <= I[u] && I[u] <= I[lca]);
    assert(E[lca] <= I[v] && I[v] <= I[lca]);
    return lca;
}
bool ck(vector<int>& q, int k) {
    int L = 0;
    for (int x : q) if (D[x] > k) {
        L = L ? lca(L, x) : x;
    }
    if (L) {
        for (int x : q) if (D[x] > k) {
            assert(E[L] <= I[x] <= I[L]);
            if (R[x] - R[L] || D[x] - D[L] > k) return false;
        }
    }
    return true;
}
signed main() {
    cin.tie(0)->sync_with_stdio(0);
    int t;
    cin >> t;
    while (t--) {
        T = 0;
        cin >> n >> m >> q;
        for (int i = 1; i <= n; i++) {
            G[i].clear();
            r[i] = false;
        }
        for (int i = 0; i < m; i++) {
            int x; cin >> x;
            r[x] = true;
        }
        for (int i = 1; i < n; i++) {
            int u, v, w;
            cin >> u >> v >> w;
            G[u].push_back({v, w});
            G[v].push_back({u, w});
        }
        dfs(1, R[0] = 0);
        for (int i = 0; i < m; i++) assert(D[r[i]] == 0);
        assert(T == 2 * n - 1);
        for (int i = 0; i < T; i++) st[i][0] = O[i];
        for (int k = 1; k < K; k++) {
            for (int i = 0; i + (1 << k) <= T; i++) {
                st[i][k] = mn(st[i][k - 1], st[i + (1 << (k - 1))][k - 1]);
                // if (int j = i + (1 << (k - 1)); j < T) upd(st[i][k], st[j][k - 1]);
            }
        }
        while (q--) {
            int k; cin >> k;
            vector<int> v(k);
            for (int& x : v) cin >> x;
            int x = 1e14;
            for (int d = x; d > 0; d /= 2) {
                while (x - d >= 0 && ck(v, x - d)) x -= d;
            }
            cout << x << endl;
        }
        // for (int i = 0; i < T; i++) cout << O[i] << " ";
    }
    return 0;
}

这程序好像有点Bug,我给组数据试试?

详细

Test #1:

score: 100
Accepted
time: 3ms
memory: 13104kb

input:

2
12 2 4
1 9
1 2 1
2 3 4
3 4 3
3 5 2
2 6 2
6 7 1
6 8 2
2 9 5
9 10 2
9 11 3
1 12 10
3 3 7 8
4 4 5 7 8
4 7 8 10 11
3 4 5 12
3 2 3
1 2
1 2 1
1 3 1
1 1
2 1 2
3 1 2 3

output:

4
5
3
8
0
0
0

result:

ok 7 lines

Test #2:

score: 0
Accepted
time: 1736ms
memory: 55964kb

input:

522
26 1 3
1
1 4 276455
18 6 49344056
18 25 58172365
19 9 12014251
2 1 15079181
17 1 50011746
8 9 2413085
23 24 23767115
22 2 26151339
26 21 50183935
17 14 16892041
9 26 53389093
1 20 62299200
24 18 56114328
11 2 50160143
6 26 14430542
16 7 32574577
3 16 59227555
3 15 8795685
4 12 5801074
5 20 57457...

output:

148616264
148616264
0
319801028
319801028
255904892
317070839
1265145897
1265145897
1072765445
667742619
455103436
285643094
285643094
285643094
317919339
0
785245841
691421476
605409472
479058444
371688030
303203698
493383271
919185207
910180170
919185207
121535083
181713164
181713164
181713164
181...

result:

ok 577632 lines

Extra Test:

score: 0
Extra Test Passed