Submission #1042405

# Submission time Handle Problem Language Result Execution time Memory
1042405 2024-08-03T03:51:57 Z sleepntsheep Inside information (BOI21_servers) C
50 / 100
3500 ms 28268 KB
/* WHAT IS EXTRA INFORAMZTION GTR RR */

#include <stdio.h>
#include <stdlib.h>

/*
 * For "Q" queries, use LCA + prefix sum on tree ~ 3O(lgn) [for finding lca and almost-lca]
 *
 * Every B queries of any type, do naive dp on tree (reverse edge order)
 * to find answer for "C" queries  ~ O(n)
 *
 * On "C" queries, use cached answer from above and count all edges that appeared after that (by "Q")
 * ~ O(B lgn)
 *
 *
 * Time complexity = O(N^2 / B) + O(N lgn) + O(N B lgn)
 *
 * Let B = sqrt(N / lgN)
 */

#define N 120001
#define B 700

int n, q, pp[N], jj[N], dd[N], up[N], temp, inc[N];

void pus_(int **eh, int *eo, int i, int j) {
    int o = eo[i]++;
    if (0 == o) eh[i] = (int*)malloc(2 * sizeof **eh);
    else if (0 == (o & o - 1)) eh[i] = (int*)realloc(eh[i], 2 * o * sizeof **eh);
    eh[i][o] = j;
}

int *eh[N], *fh[N], eo[N];

void link(int u, int v, int w) {
    pus_(eh, eo, u, v);
    --eo[u];
    pus_(fh, eo, u, w);
    pus_(eh, eo, v, u);
    --eo[v];
    pus_(fh, eo, v, w);
}

void dfs(int u, int p) {
    inc[u] = (up[u] > up[p]) + inc[p];
    for (int j = 0; j < eo[u]; ++j) if (eh[u][j] != p) {
        int v = eh[u][j];
        dd[v] = dd[u] + 1;
        pp[v] = u;
        jj[v] = (dd[u] - dd[jj[u]] == dd[jj[u]] - dd[jj[jj[u]]]) ? jj[jj[u]]: u;
        up[v] = fh[u][j];
        dfs(v, u);
    }
}

int lca(int u, int v) {
    while (dd[u] != dd[v]) {
        if (dd[u] < dd[v]) temp = u, u = v, v = temp;
        u = (dd[jj[u]] >= dd[v]) ? jj[u] : pp[u];
    }
    while (u != v)
        if (jj[u] != jj[v]) u = jj[u], v = jj[v];
        else u = pp[u], v = pp[v];
    return u;
}

int anc(int u, int dep) {
    while (dd[u] > dep)
        u = (dd[jj[u]] >= dep) ? jj[u] : pp[u];
    return u;
}

struct Query {
    char type[2];
    int a, b;
} qq[N * 2];

/* u = data node, v = ask node */
int query_yesno(int u, int v, int time) {
    if (u == v) return 1;
    int a = lca(u, v);
    int va, ua;
    ua = anc(u, dd[a] + 1);
    va = anc(v, dd[a] + 1);

    if (u == a) {
        return inc[v] - inc[va] == dd[v] - dd[va] && up[v] <= time;
    }
    if (v == a) {
        return inc[u] - inc[ua] == 0 && up[ua] <= time;
    }

    return (dd[v] - dd[va] == inc[v] - inc[va]) && (inc[u] - inc[ua] == 0)
        && up[va] > up[ua] && up[v] <= time;
}

int dp[N], comp[N];

void efs(int u, int time, int root) {
    comp[u] = root;
    for (int j = 0; j < eo[u]; ++j)
        if (fh[u][j] <= time && comp[eh[u][j]] == -1)
            efs(eh[u][j], time, root);
}

void build(int ii, int tme) {
    for (int i = 1; i <= n; ++i)
        dp[i] = 1, comp[i] = -1;

    for (int i = ii; i >= 0; --i) {
        if (qq[i].type[0] != 'S')
            continue;

        int x = dp[qq[i].a], y = dp[qq[i].b];
        dp[qq[i].a] += y;
        dp[qq[i].b] += x;
    }

    for (int i = 1; i <= n; ++i)
        if (comp[i] == -1)
            efs(i, tme, i);
}

int counted[N];

int main() {
    scanf("%d%d", &n, &q);

    q = n + q - 1;
    for (int j = 0, i = 0; i < q; ++i) {
        int a, b = 0;
        char *s = qq[i].type;

        scanf(" %s%d", s, &a);
        if (s[0] == 'S') {
            scanf("%d", &b);
            link(a, b, j++);
        } else if (s[0] == 'Q')
            scanf("%d", &b);

        qq[i].a = a, qq[i].b = b;
    }

    up[1] = 1e9;
    pp[1] = jj[1] = 1;
    dfs(1, 1);

    build(-1, -1);
    int at = 0;

    for (int j = 0, i = 0; i < q; ++i) {

        if (qq[i].type[0] == 'S')
            ++j;

        if (i % B == 0) {
            build(i, j);
            at = i + 1;
        }
        if (qq[i].type[0] == 'Q')
            printf(query_yesno(qq[i].b, qq[i].a, j - 1) ? "yes\n": "no\n");
        else if (qq[i].type[0] == 'C') {
            int focus = qq[i].a;
            int addition = 0;
            for (int k = at; k < i; ++k)
                if (qq[k].type[0] == 'S') {
                    int a = qq[k].a, b = qq[k].b;

                    if (counted[a] != i + 1 &&
                            comp[a] != comp[focus] && query_yesno(focus, a, j - 1))
                        ++addition, counted[a] = i + 1;
                    if (counted[b] != i + 1 && 
                            comp[b] != comp[focus] && query_yesno(focus, b, j - 1))
                        ++addition, counted[b] = i + 1;
                }
            printf("%d\n", dp[focus] + addition);
        }

    }
}

Compilation message

servers.c: In function 'pus_':
servers.c:29:26: warning: suggest parentheses around '-' in operand of '&' [-Wparentheses]
   29 |     else if (0 == (o & o - 1)) eh[i] = (int*)realloc(eh[i], 2 * o * sizeof **eh);
      |                        ~~^~~
servers.c: In function 'main':
servers.c:127:5: warning: ignoring return value of 'scanf' declared with attribute 'warn_unused_result' [-Wunused-result]
  127 |     scanf("%d%d", &n, &q);
      |     ^~~~~~~~~~~~~~~~~~~~~
servers.c:134:9: warning: ignoring return value of 'scanf' declared with attribute 'warn_unused_result' [-Wunused-result]
  134 |         scanf(" %s%d", s, &a);
      |         ^~~~~~~~~~~~~~~~~~~~~
servers.c:136:13: warning: ignoring return value of 'scanf' declared with attribute 'warn_unused_result' [-Wunused-result]
  136 |             scanf("%d", &b);
      |             ^~~~~~~~~~~~~~~
servers.c:139:13: warning: ignoring return value of 'scanf' declared with attribute 'warn_unused_result' [-Wunused-result]
  139 |             scanf("%d", &b);
      |             ^~~~~~~~~~~~~~~
# Verdict Execution time Memory Grader output
1 Correct 25 ms 3664 KB Output is correct
2 Correct 44 ms 4688 KB Output is correct
3 Correct 37 ms 3992 KB Output is correct
4 Correct 61 ms 4020 KB Output is correct
5 Correct 61 ms 4352 KB Output is correct
6 Correct 32 ms 4700 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 25 ms 3664 KB Output is correct
2 Correct 44 ms 4688 KB Output is correct
3 Correct 37 ms 3992 KB Output is correct
4 Correct 61 ms 4020 KB Output is correct
5 Correct 61 ms 4352 KB Output is correct
6 Correct 32 ms 4700 KB Output is correct
7 Correct 51 ms 2996 KB Output is correct
8 Incorrect 93 ms 3600 KB Extra information in the output file
9 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 31 ms 3152 KB Output is correct
2 Correct 534 ms 20356 KB Output is correct
3 Correct 482 ms 20304 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 31 ms 3152 KB Output is correct
2 Correct 534 ms 20356 KB Output is correct
3 Correct 482 ms 20304 KB Output is correct
4 Correct 34 ms 2908 KB Output is correct
5 Incorrect 636 ms 20796 KB Extra information in the output file
6 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 25 ms 3676 KB Output is correct
2 Correct 1012 ms 28240 KB Output is correct
3 Correct 838 ms 27984 KB Output is correct
4 Correct 368 ms 27728 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 25 ms 3676 KB Output is correct
2 Correct 1012 ms 28240 KB Output is correct
3 Correct 838 ms 27984 KB Output is correct
4 Correct 368 ms 27728 KB Output is correct
5 Correct 26 ms 2908 KB Output is correct
6 Execution timed out 3572 ms 28084 KB Time limit exceeded
7 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 30 ms 2896 KB Output is correct
2 Correct 318 ms 18480 KB Output is correct
3 Correct 1040 ms 18512 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 30 ms 2896 KB Output is correct
2 Correct 318 ms 18480 KB Output is correct
3 Correct 1040 ms 18512 KB Output is correct
4 Correct 28 ms 2904 KB Output is correct
5 Incorrect 619 ms 18744 KB Extra information in the output file
6 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 25 ms 3528 KB Output is correct
2 Correct 1108 ms 28268 KB Output is correct
3 Correct 989 ms 28048 KB Output is correct
4 Correct 414 ms 25940 KB Output is correct
5 Correct 24 ms 2140 KB Output is correct
6 Correct 312 ms 16544 KB Output is correct
7 Correct 1283 ms 16620 KB Output is correct
8 Correct 1402 ms 17744 KB Output is correct
9 Correct 1193 ms 17732 KB Output is correct
10 Correct 1061 ms 20040 KB Output is correct
11 Correct 1353 ms 19572 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 25 ms 3528 KB Output is correct
2 Correct 1108 ms 28268 KB Output is correct
3 Correct 989 ms 28048 KB Output is correct
4 Correct 414 ms 25940 KB Output is correct
5 Correct 24 ms 2140 KB Output is correct
6 Correct 312 ms 16544 KB Output is correct
7 Correct 1283 ms 16620 KB Output is correct
8 Correct 1402 ms 17744 KB Output is correct
9 Correct 1193 ms 17732 KB Output is correct
10 Correct 1061 ms 20040 KB Output is correct
11 Correct 1353 ms 19572 KB Output is correct
12 Correct 27 ms 2652 KB Output is correct
13 Execution timed out 3585 ms 26172 KB Time limit exceeded
14 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 25 ms 2140 KB Output is correct
2 Correct 51 ms 2684 KB Output is correct
3 Correct 34 ms 3416 KB Output is correct
4 Correct 66 ms 2640 KB Output is correct
5 Correct 62 ms 2832 KB Output is correct
6 Correct 34 ms 2760 KB Output is correct
7 Correct 24 ms 2140 KB Output is correct
8 Correct 505 ms 17856 KB Output is correct
9 Correct 467 ms 17744 KB Output is correct
10 Correct 26 ms 2140 KB Output is correct
11 Correct 834 ms 26192 KB Output is correct
12 Correct 811 ms 26292 KB Output is correct
13 Correct 353 ms 25936 KB Output is correct
14 Correct 24 ms 2140 KB Output is correct
15 Correct 306 ms 16668 KB Output is correct
16 Correct 857 ms 16732 KB Output is correct
17 Correct 1086 ms 17748 KB Output is correct
18 Correct 906 ms 17748 KB Output is correct
19 Correct 895 ms 20064 KB Output is correct
20 Correct 1123 ms 19548 KB Output is correct
21 Correct 484 ms 17684 KB Output is correct
22 Correct 546 ms 17744 KB Output is correct
23 Correct 592 ms 18032 KB Output is correct
24 Correct 648 ms 18004 KB Output is correct
25 Correct 898 ms 19880 KB Output is correct
26 Correct 1377 ms 16908 KB Output is correct
27 Correct 1343 ms 16888 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 25 ms 2140 KB Output is correct
2 Correct 51 ms 2684 KB Output is correct
3 Correct 34 ms 3416 KB Output is correct
4 Correct 66 ms 2640 KB Output is correct
5 Correct 62 ms 2832 KB Output is correct
6 Correct 34 ms 2760 KB Output is correct
7 Correct 24 ms 2140 KB Output is correct
8 Correct 505 ms 17856 KB Output is correct
9 Correct 467 ms 17744 KB Output is correct
10 Correct 26 ms 2140 KB Output is correct
11 Correct 834 ms 26192 KB Output is correct
12 Correct 811 ms 26292 KB Output is correct
13 Correct 353 ms 25936 KB Output is correct
14 Correct 24 ms 2140 KB Output is correct
15 Correct 306 ms 16668 KB Output is correct
16 Correct 857 ms 16732 KB Output is correct
17 Correct 1086 ms 17748 KB Output is correct
18 Correct 906 ms 17748 KB Output is correct
19 Correct 895 ms 20064 KB Output is correct
20 Correct 1123 ms 19548 KB Output is correct
21 Correct 484 ms 17684 KB Output is correct
22 Correct 546 ms 17744 KB Output is correct
23 Correct 592 ms 18032 KB Output is correct
24 Correct 648 ms 18004 KB Output is correct
25 Correct 898 ms 19880 KB Output is correct
26 Correct 1377 ms 16908 KB Output is correct
27 Correct 1343 ms 16888 KB Output is correct
28 Correct 27 ms 2652 KB Output is correct
29 Incorrect 92 ms 2544 KB Extra information in the output file
30 Halted 0 ms 0 KB -