[THUPC2018]弗雷兹的玩具商店（线段树，背包）

最近状态有点颓，刷刷水题找找自信。

首先每次询问就是完全背包。可以 $O(m^2)$。

由于每个物品都可以用无数次，所以对于价格相同的物品，我们只用考虑愉悦度最高的。

直接上线段树。$val[i]$ 表示这个区间中价格为 $i$ 的物品中最大的愉悦度。如果没有这样的物品就是 -INF。

询问就把这个区间的所有 $val$ 取出来，做个完全背包就好了。

两种修改操作用个标记随便搞搞。分别是区间的每个数组平移，和区间加。

复杂度 $O(nm\log n+q(m^2+\log n))$。

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int maxn=,INF=1e9;
#define lson o<<1,l,mid
#define rson o<<1|1,mid+1,r
#define FOR(i,a,b) for(int i=(a);i<=(b);i++)
#define ROF(i,a,b) for(int i=(a);i>=(b);i--)
#define MEM(x,v) memset(x,v,sizeof(x))
inline int read(){
    char ch=getchar();int x=,f=;
    while(ch<'' || ch>'') f|=ch=='-',ch=getchar();
    while(ch>='' && ch<='') x=x*+ch-'',ch=getchar();
    return f?-x:x;
}
int n,m,q,c[maxn],v[maxn],tmp[],ctag[maxn*],vtag[maxn*];
ll f[];
struct node{
    int val[];
    bool vis[];
    node operator+(const node &nd)const{
        node ans;
        ans.val[]=-INF;
        FOR(i,,m) ans.val[i]=max(val[i],nd.val[i]);
        return ans;
    }
}seg[maxn*];
inline void setc(int o,int v){
    FOR(i,,m) tmp[(i+v-)%m+]=seg[o].val[i];
    FOR(i,,m) seg[o].val[i]=tmp[i];
    ctag[o]=(ctag[o]+v)%m;
}
inline void setv(int o,int v){
    FOR(i,,m) seg[o].val[i]+=v;
    vtag[o]+=v;
}
inline void pushdown(int o){
    if(ctag[o]){
        setc(o<<,ctag[o]);
        setc(o<<|,ctag[o]);
        ctag[o]=;
    }
    if(vtag[o]){
        setv(o<<,vtag[o]);
        setv(o<<|,vtag[o]);
        vtag[o]=;
    }
}
void build(int o,int l,int r){
    if(l==r){
        FOR(i,,m) seg[o].val[i]=-INF;
        seg[o].val[c[l]]=v[l];
        return;
    }
    int mid=(l+r)>>;
    build(lson);build(rson);
    seg[o]=seg[o<<]+seg[o<<|];
}
void updatec(int o,int l,int r,int ql,int qr,int v){
    if(l>=ql && r<=qr) return void(setc(o,v));
    pushdown(o);
    int mid=(l+r)>>;
    if(mid>=ql) updatec(lson,ql,qr,v);
    if(mid<qr) updatec(rson,ql,qr,v);
    seg[o]=seg[o<<]+seg[o<<|];
}
void updatev(int o,int l,int r,int ql,int qr,int v){
    if(l>=ql && r<=qr) return void(setv(o,v));
    pushdown(o);
    int mid=(l+r)>>;
    if(mid>=ql) updatev(lson,ql,qr,v);
    if(mid<qr) updatev(rson,ql,qr,v);
    seg[o]=seg[o<<]+seg[o<<|];
}
node query(int o,int l,int r,int ql,int qr){
    if(l>=ql && r<=qr) return seg[o];
    pushdown(o);
    int mid=(l+r)>>;
    if(mid<ql) return query(rson,ql,qr);
    if(mid>=qr) return query(lson,ql,qr);
    return query(lson,ql,qr)+query(rson,ql,qr);
}
int main(){
    n=read();m=read();
    FOR(i,,n) c[i]=read();
    FOR(i,,n) v[i]=read();
    build(,,n);
    q=read();
    while(q--){
        int op=read(),l=read(),r=read();
        if(op==) updatec(,,n,l,r,read());
        else if(op==) updatev(,,n,l,r,read());
        else{
            node ans=query(,,n,l,r);
            FOR(i,,m) f[i]=;
            FOR(i,,m) FOR(j,,i) f[i]=max(f[i],f[i-j]+max(,ans.val[j]));
            ll s1=,s2=;
            FOR(i,,m) s1+=f[i],s2^=f[i];
            printf("%lld %lld\n",s1,s2);
        }
    }
}