Codeforces 803G Periodic RMQ Problem 线段树

Periodic RMQ Problem

动态开点线段树直接搞， 我把它分成两部分， 一部分是原来树上的， 一部分是后来染上去的，两个部分取最小值。

感觉有点难写。。

#include<bits/stdc++.h>
#define LL long long
#define fi first
#define se second
#define mk make_pair
#define PLL pair<LL, LL>
#define PLI pair<LL, int>
#define PII pair<int, int>
#define SZ(x) ((int)x.size())
#define ull unsigned long long

using namespace std;

const int N = 2e5 + ;
const int inf = 0x3f3f3f3f;
const LL INF = 0x3f3f3f3f3f3f3f3f;
const int mod = 1e9 + ;
const double eps = 1e-;
const double PI = acos(-);

int Log[N];
int MIN = inf;
struct ST {
    int dp[N][], ty;
    void build(int n, int b[], int _ty) {
        ty = _ty;
        for(int i = -(Log[]=-); i < N; i++)
        Log[i] = Log[i - ] + ((i & (i - )) == );
        for(int i = ; i <= n; i++) dp[i][] = ty * b[i];
        for(int j = ; j <= Log[n]; j++)
            for(int i = ; i + ( << j) -  <= n; i++)
                dp[i][j] = max(dp[i][j - ], dp[i + ( << (j - ))][j - ]);
    }
    int query(int x, int y) {
        int k = Log[y - x + ];
        return ty * max(dp[x][k], dp[y - ( << k) + ][k]);
    }
} rmq;

int n, k, q, a[N];

#define lson l, mid, a[x].ls
#define rson mid + 1, r, a[x].rs
namespace SGT1 {
    int tot, Rt;
    struct Node {
        Node() {
            mn = inf;
            ls = rs = ;
            lazy = inf;
        }
        int mn, ls, rs, lazy;
    } a[N * ];
    inline void pull(int x) {
        a[x].mn = min(a[a[x].ls].mn, a[a[x].rs].mn);
    }
    inline void push(int x) {
        if(a[x].lazy < inf) {
            if(!a[x].ls) a[x].ls = ++tot;
            if(!a[x].rs) a[x].rs = ++tot;
            int lazy = a[x].lazy, l = a[x].ls, r = a[x].rs;
            a[l].mn = lazy;
            a[r].mn = lazy;
            a[l].lazy = lazy;
            a[r].lazy = lazy;
            a[x].lazy = inf;
        }
    }
    void update(int L, int R, int val, int l, int r, int& x) {
        if(!x) x = ++tot;
        if(l >= L && r <= R) {
            a[x].mn = val;
            a[x].lazy = val;
            return;
        }
        push(x);
        int mid = l + r >> ;
        if(L <= mid) update(L, R, val, lson);
        if(R > mid)  update(L, R, val, rson);
        pull(x);
    }
    int query(int L, int R, int l, int r, int x) {
        if(l >= L && r <= R) return a[x].mn;
        push(x);
        int mid = l + r >> ;
        if(R <= mid) return query(L, R, lson);
        else if(L > mid) return query(L, R, rson);
        else return min(query(L, R, lson), query(L, R, rson));
    }
}

namespace SGT2 {
    int tot, Rt;
    struct Node {
        Node() {
            ls = rs = ;
            mn = inf;
            vis = false;
        }
        int mn, ls, rs;
        bool vis;
    } a[N * ];
    void update(int L, int R, int l, int r, int& x) {
        if(!x) {
            x = ++tot;
            if(r - l +  >= n) a[x].mn = MIN;
            else {
                int be = (l - ) % n + ;
                int ed = be + (r - l);
                a[x].mn = rmq.query(be, ed);
            }
        }
        if(a[x].vis) return;
        if(l >= L && r <= R) {
            a[x].mn = inf;
            a[x].vis = true;
            return;
        }
        int mid = l + r >> ;
        if(R <= mid) {
            update(L, R, lson);
            if(!a[x].rs) {
                a[x].rs = ++tot;
                if(r - mid >= n) {
                    a[a[x].rs].mn = MIN;
                } else {
                    int be = (mid) % n + ;
                    int ed = be + (r - mid) - ;
                    a[a[x].rs].mn = rmq.query(be, ed);
                }
            }
        } else if(L > mid) {
            update(L, R, rson);
            if(!a[x].ls) {
                a[x].ls = ++tot;
                if(mid - l +  >= n) {
                    a[a[x].ls].mn = MIN;
                } else {
                    int be = (l - ) % n + ;
                    int ed = be + (mid - l);
                    a[a[x].ls].mn = rmq.query(be, ed);
                }
            }
        } else {
            update(L, R, lson);
            update(L, R, rson);
        }
        a[x].mn = min(a[a[x].ls].mn, a[a[x].rs].mn);
    }
    int query(int L, int R, int l, int r, int& x) {
        if(!x) {
            x = ++tot;
            if(r - l +  >= n) a[x].mn = MIN;
            else {
                int be = (l - ) % n + ;
                int ed = be + (r - l);
                a[x].mn = rmq.query(be, ed);
            }
        }
        if(a[x].vis) return inf;
        if(l >= L && r <= R) return a[x].mn;
        int mid = l + r >> ;
        if(R <= mid) return query(L, R, lson);
        else if(L > mid) return query(L, R, rson);
        else return min(query(L, R, lson), query(L, R, rson));
    }
}

int main() {
    scanf("%d%d", &n, &k);
    for(int i = ; i <= n; i++) {
        scanf("%d", &a[i]);
        a[i + n] = a[i];
        MIN = min(MIN, a[i]);
    }
    rmq.build( * n, a, -);
    scanf("%d", &q);
    while(q--) {
        int op; scanf("%d", &op);
        if(op == ) {
            int L, R, x;
            scanf("%d%d%d", &L, &R, &x);
            SGT1::update(L, R, x, , n * k, SGT1::Rt);
            SGT2::update(L, R, , n * k, SGT2::Rt);
        } else {
            int L, R;
            scanf("%d%d", &L, &R);
            printf("%d\n", min(SGT1::query(L, R, , n * k, SGT1::Rt), SGT2::query(L, R, , n * k, SGT2::Rt)));
        }
    }
    return ;
}

/*
*/

简化

#include<bits/stdc++.h>
#define LL long long
#define fi first
#define se second
#define mk make_pair
#define PLL pair<LL, LL>
#define PLI pair<LL, int>
#define PII pair<int, int>
#define SZ(x) ((int)x.size())
#define ull unsigned long long

using namespace std;

const int N = 2e5 + ;
const int inf = 0x3f3f3f3f;
const LL INF = 0x3f3f3f3f3f3f3f3f;
const int mod = 1e9 + ;
const double eps = 1e-;
const double PI = acos(-);

int Log[N];
int MIN = inf;
struct ST {
    int dp[N][], ty;
    void build(int n, int b[], int _ty) {
        ty = _ty;
        for(int i = -(Log[]=-); i < N; i++)
        Log[i] = Log[i - ] + ((i & (i - )) == );
        for(int i = ; i <= n; i++) dp[i][] = ty * b[i];
        for(int j = ; j <= Log[n]; j++)
            for(int i = ; i + ( << j) -  <= n; i++)
                dp[i][j] = max(dp[i][j - ], dp[i + ( << (j - ))][j - ]);
    }
    int query(int x, int y) {
        int k = Log[y - x + ];
        return ty * max(dp[x][k], dp[y - ( << k) + ][k]);
    }
} rmq;

int n, k, q, a[N];

inline int getVal(int l, int r) {
    if(r - l +  >= n) return MIN;
    int be = (l - ) % n + ;
    int ed = be + (r - l);
    return rmq.query(be, ed);
}

#define lson l, mid, a[x].ls
#define rson mid + 1, r, a[x].rs
namespace SGT {
    int tot, Rt;
    struct Node {
        Node() {
            mn = inf;
            ls = rs = ;
            lazy = inf;
        }
        int mn, ls, rs, lazy;
    } a[N * ];
    inline void pull(int x) {
        a[x].mn = min(a[a[x].ls].mn, a[a[x].rs].mn);
    }
    inline void push(int x, int l, int r) {
        int mid = l + r >> ;
        if(!a[x].ls) {
            a[x].ls = ++tot;
            a[a[x].ls].mn = getVal(l, mid);
        }
        if(!a[x].rs) {
            a[x].rs = ++tot;
            a[a[x].rs].mn = getVal(mid + , r);
        }
        if(a[x].lazy < inf) {
            int lazy = a[x].lazy, l = a[x].ls, r = a[x].rs;
            a[l].mn = lazy;
            a[r].mn = lazy;
            a[l].lazy = lazy;
            a[r].lazy = lazy;
            a[x].lazy = inf;
        }
    }
    void update(int L, int R, int val, int l, int r, int& x) {
        if(!x) x = ++tot;
        if(l >= L && r <= R) {
            a[x].mn = val;
            a[x].lazy = val;
            return;
        }
        push(x, l, r);
        int mid = l + r >> ;
        if(L <= mid) update(L, R, val, lson);
        if(R > mid)  update(L, R, val, rson);
        pull(x);
    }
    int query(int L, int R, int l, int r, int x) {
        if(l >= L && r <= R) {
            if(!x) return getVal(l, r);
            return a[x].mn;
        }
        push(x, l, r);
        int mid = l + r >> ;
        if(R <= mid) return query(L, R, lson);
        else if(L > mid) return query(L, R, rson);
        else return min(query(L, R, lson), query(L, R, rson));
    }
}

int main() {
    scanf("%d%d", &n, &k);
    for(int i = ; i <= n; i++) {
        scanf("%d", &a[i]);
        a[i + n] = a[i];
        MIN = min(MIN, a[i]);
    }
    rmq.build( * n, a, -);
    scanf("%d", &q);
    while(q--) {
        int op; scanf("%d", &op);
        if(op == ) {
            int L, R, x;
            scanf("%d%d%d", &L, &R, &x);
            SGT::update(L, R, x, , n * k, SGT::Rt);
        } else {
            int L, R;
            scanf("%d%d", &L, &R);
            printf("%d\n", SGT::query(L, R, , n * k, SGT::Rt));
        }
    }
    return ;
}

/*
*/

指针

#include<bits/stdc++.h>
#define LL long long
#define fi first
#define se second
#define mk make_pair
#define PLL pair<LL, LL>
#define PLI pair<LL, int>
#define PII pair<int, int>
#define SZ(x) ((int)x.size())
#define ull unsigned long long

using namespace std;

const int N = 2e5 + ;
const int inf = 0x3f3f3f3f;
const LL INF = 0x3f3f3f3f3f3f3f3f;
const int mod = 1e9 + ;
const double eps = 1e-;
const double PI = acos(-);

int Log[N];
int MIN = inf;
struct ST {
    int dp[N][], ty;
    void build(int n, int b[], int _ty) {
        ty = _ty;
        for(int i = -(Log[]=-); i < N; i++)
        Log[i] = Log[i - ] + ((i & (i - )) == );
        for(int i = ; i <= n; i++) dp[i][] = ty * b[i];
        for(int j = ; j <= Log[n]; j++)
            for(int i = ; i + ( << j) -  <= n; i++)
                dp[i][j] = max(dp[i][j - ], dp[i + ( << (j - ))][j - ]);
    }
    int query(int x, int y) {
        int k = Log[y - x + ];
        return ty * max(dp[x][k], dp[y - ( << k) + ][k]);
    }
} rmq;

int n, k, q, a[N];

inline int getVal(int l, int r) {
    if(r - l +  >= n) return MIN;
    int be = (l - ) % n + ;
    int ed = be + (r - l);
    return rmq.query(be, ed);
}

struct Node {
    Node* ls, *rs;
    int mn, lazy;
    Node(int l, int r) {
        ls = rs = NULL;
        mn = getVal(l, r);
        lazy = -;
    }
};

#define lson l, mid, rt->ls
#define rson mid + 1, r, rt->rs

inline void pull(Node* rt) {
    rt->mn = min(rt->ls->mn, rt->rs->mn);
}
inline void push(Node* rt, int l, int r) {
    int mid = l + r >> ;
    if(!rt->ls) rt->ls = new Node(l, mid);
    if(!rt->rs) rt->rs = new Node(mid + , r);
    if(rt->lazy != -) {
        rt->ls->mn = rt->ls->lazy = rt->lazy;
        rt->rs->mn = rt->rs->lazy = rt->lazy;
        rt->lazy = -;
    }
}

void update(int L, int R, int val, int l, int r, Node* rt) {
    if(R < l || L > r) return;
    if(l >= L && r <= R) {
        rt->mn = rt->lazy = val;
        return;
    }
    push(rt, l, r);
    int mid = l + r >> ;
    update(L, R, val, lson);
    update(L, R, val, rson);
    pull(rt);
}

int query(int L, int R, int l, int r, Node* rt) {
    if(R < l || L > r) return inf;
    if(l >= L && r <= R) {
        if(rt) return rt->mn;
        else return getVal(l, r);
    }
    push(rt, l, r);
    int mid = l + r >> ;
    return min(query(L, R, lson), query(L, R, rson));
}

int main() {
    scanf("%d%d", &n, &k);
    for(int i = ; i <= n; i++) {
        scanf("%d", &a[i]);
        a[i + n] = a[i];
        MIN = min(MIN, a[i]);
    }
    rmq.build( * n, a, -);
    Node* Rt = new Node(, n * k);
    scanf("%d", &q);
    while(q--) {
        int op; scanf("%d", &op);
        if(op == ) {
            int L, R, x;
            scanf("%d%d%d", &L, &R, &x);
            update(L, R, x, , n * k, Rt);
        } else {
            int L, R;
            scanf("%d%d", &L, &R);
            printf("%d\n", query(L, R, , n * k, Rt));
        }
    }
    return ;
}

/*
*/