jzoj 6273. 2019.8.4【NOIP提高组A】欠钱 (money)

Description

详见OJ

Solution

看了(0.5h)的题目，最后才大概明白了题目内容。
大概是求一条链的最小值，但不知道有没有还钱以后边是否还存在。
然后就没打了。
正解是倍增+并查集。
并查集得出(x)的祖宗以及深度，便于判断两个点是否在同一棵树以及深度。
由于强制在线，我们更新的时候可以直接更新，但不用更新完。
在查询的时候我们再对需要的更新（用递归更新）即可。
（真的不想说什么，感觉这题在这套题里是最水的，可惜考场没看懂题意）

Code

#include <cstdio>
#include <cstring>
#define N 100010
#define mem(x, a) memset(x, a, sizeof x)
#define fo(x, a, b) for (int x = a; x <= b; x++)
#define fd(x, a, b) for (int x = a; x >= b; x--)
#define min(x, y) (x < y ? x : y)
#define max(x, y) (x > y ? x : y)
using namespace std;
int n, m, opt, a, b, c, ans = 0;
int fa[N][18], mi[N][18], mx[N], fat[N][2];

inline int read()
{
    int x = 0; char c = getchar();
    while (c < '0' || c > '9') c = getchar();
    while (c >= '0' && c <= '9') x = (x << 1) + (x << 3) + (c ^ 48), c = getchar();
    return x;
}

int gf(int x)
{
    int getfa = 0;
    if (fat[x][0] == x) return x;
    getfa = gf(fat[x][0]);
    fat[x][1] += fat[fat[x][0]][1];
    return fat[x][0] = getfa;
}

void dfs(int x, int y)
{
    if (mx[x] >= y) return;
    fo(i, mx[x] + 1, y)
    {
        dfs(fa[x][i - 1], i - 1);
        fa[x][i] = fa[fa[x][i - 1]][i - 1];
        mi[x][i] = min(mi[x][i - 1], mi[fa[x][i - 1]][i - 1]);
    }
    mx[x] = y;
}

void LCA(int x, int y)
{
    ans = 1e6;
    for (int i = 0, cha = fat[x][1] - fat[y][1]; cha; cha >>= 1, i++)
        if (cha & 1) dfs(x, i), ans = min(ans, mi[x][i]), x = fa[x][i];
    if (x != y) ans = 0;
}

int main()
{
    freopen("money.in", "r", stdin);
    freopen("money.out", "w", stdout);
    n = read(), m = read();
    fo(i, 1, n) fat[i][0] = i;
    while (m--)
    {
        opt = read(), a = read(), b = read();
        a = (a + ans) % n + 1; b = (b + ans) % n + 1;
        if (opt == 0)
        {
            c = read();
            c = (c + ans) % n + 1;
            fa[a][0] = b, mi[a][0] = c;
            fat[a][0] = b, fat[a][1] = 1;
        }
        else
        {
            if (gf(a) != gf(b) || fat[a][1] <= fat[b][1]) ans = 0;
            else LCA(a, b);
            printf("%d
", ans);
        }
    }
    return 0;
}