题目
有三个操作：
- \(change \ u \ v \ a \ b\) : \(u\)到\(v\)路径上的点点权加上\(a+k*b\)，\(k\)为第几个点，\(u\)为第0个点。
- \(query \ u \ v\) : 询问\(u\)到\(v\)路径上的点权和。
- \(roll \ w\) : 回到第\(w\)个\(change\)之后的状态。
强制在线。
分析
会写树剖啦！会写树剖啦！会写树剖啦！
当时没怎么看这题，一直在写前面的计算几何。其实这题也很简单，轻重链剖分加主席树即可。关键在于如何解决加上点权和查询的操作。我们发现加上的点权是一个等差数列。
开始之考虑一个标记，\(a\)和\(b\)，那么如果一个区间是\([l,r]\)，那么区间和为：
\[a * (r-l+1)+\frac {b*(r-l)*(r-l+1)}{2}
\]
\]
我们发现，标记的运算只和\(l\)和\(r\)有关，并且同一个区间是一样的，于是对于每个区间，它的\(a\)和\(b\)可以直接累加，标记不下传。
写主席树的时候，可以给每个点打个标记，看看这个点是不是这一个时间点的，如果不是才新建。之前可持久化并查集也是一样的。
代码
#include<cstdio>
#include<cstdlib>
#include<algorithm>
#include<cctype>
#define open(x) (((x)+ans)%n+1)
#define F(x) for (giant i=h[x],v=e[i].v;i;i=e[i].nxt,v=e[i].v)
using namespace std;
typedef long long giant;
giant read() {
giant x=0,f=1;
char c=getchar();
for (;!isdigit(c);c=getchar()) if (c=='-') f=-1;
for (;isdigit(c);c=getchar()) x=x*10+c-'0';
return x*f;
}
const giant maxn=1e5+10;
const giant maxj=18;
const giant nlogn=1<<23;
giant n,last;
giant ans=0,total=0;
struct edge {
giant v,nxt;
} e[maxn<<1];
giant h[maxn],tot=0,tim=0,root[maxn];
void add(giant u,giant v) {
e[++tot]=(edge){v,h[u]};
h[u]=tot;
}
giant top[maxn],size[maxn],son[maxn],first[maxn],second[maxn],dfn=0;
giant dep[maxn],father[maxn][maxj];
giant tic[nlogn],tt=0;
struct node {
giant lc,rc,ta,tb,sum;
} t[nlogn];
giant lca(giant x,giant y) {
if (dep[x]<dep[y]) swap(x,y);
for (giant j=maxj-1;j>=0;--j) if (dep[father[x][j]]>=dep[y]) x=father[x][j];
if (x==y) return x;
for (giant j=maxj-1;j>=0;--j) if (father[x][j]!=father[y][j]) x=father[x][j],y=father[y][j];
return father[x][0];
}
void dfs(giant x,giant fa) {
size[x]=1;
dep[x]=dep[fa]+1;
father[x][0]=fa;
giant ma=0,&id=son[x];
F(x) if (v!=fa) {
dfs(v,x);
size[x]+=size[v];
if (size[v]>ma) ma=size[v],id=v;
}
}
void build(giant x,giant fa,giant tp) {
if (!x) return;
first[x]=++dfn;
top[x]=tp;
build(son[x],x,tp);
F(x) if (v!=fa && v!=son[x]) build(v,x,v);
second[x]=dfn;
}
void modify(giant &x,giant rt,giant L,giant R,giant l,giant r,giant thea,giant theb) {
if (tic[x]!=tim) x=++tt,tic[x]=tim,t[x]=t[rt];
if (L==l && R==r) {
t[x].ta+=thea;
t[x].tb+=theb;
t[x].sum+=(R-L)*(R-L+1)/2*theb+(R-L+1)*thea;
return;
}
giant mid=(L+R)>>1;
if (r<=mid) modify(t[x].lc,t[rt].lc,L,mid,l,r,thea,theb); else
if (l>mid) modify(t[x].rc,t[rt].rc,mid+1,R,l,r,thea,theb); else {
modify(t[x].lc,t[rt].lc,L,mid,l,mid,thea,theb);
modify(t[x].rc,t[rt].rc,mid+1,R,mid+1,r,thea+(mid-l+1)*theb,theb);
}
t[x].sum=t[t[x].lc].sum+t[t[x].rc].sum+(R-L)*(R-L+1)/2*t[x].tb+(R-L+1)*t[x].ta;
}
giant query(giant x,giant L,giant R,giant l,giant r) {
if (L==l && R==r) return t[x].sum;
giant len=r-l;
giant ret=(2*t[x].ta+(l+r-L*2)*t[x].tb)*(r-l+1)/2;
giant mid=(L+R)>>1;
if (r<=mid) ret+=query(t[x].lc,L,mid,l,r); else
if (l>mid) ret+=query(t[x].rc,mid+1,R,l,r); else {
ret+=query(t[x].lc,L,mid,l,mid);
ret+=query(t[x].rc,mid+1,R,mid+1,r);
}
return ret;
}
giant jump(giant x,giant y) {
for (giant j=0;j<maxj;++j) if (y&(1<<j)) x=father[x][j];
return x;
}
void change(giant u,giant v,giant a,giant b) {
giant l=lca(u,v),utl=dep[u]-dep[l],x;
for (x=u;dep[top[x]]>dep[l];x=father[top[x]][0]) {
giant thea=a+b*(dep[u]-dep[top[x]]);
giant theb=-b;
modify(root[tim],last,1,n,first[top[x]],first[x],thea,theb);
}
if (dep[x]>=dep[l]) {
giant thea=a+b*(dep[u]-dep[l]);
giant theb=-b;
modify(root[tim],last,1,n,first[l],first[x],thea,theb);
}
for (x=v;dep[top[x]]>dep[l];x=father[top[x]][0]) {
giant thea=a+b*(utl+dep[top[x]]-dep[l]);
giant theb=b;
modify(root[tim],last,1,n,first[top[x]],first[x],thea,theb);
}
if (dep[x]>dep[l]) {
giant tmp=jump(x,dep[x]-dep[l]-1);
giant thea=a+b*(utl+dep[tmp]-dep[l]);
giant theb=b;
modify(root[tim],last,1,n,first[tmp],first[x],thea,theb);
}
giant thea=a+utl*b,theb=-b;
}
giant ask(giant u,giant v) {
giant l=lca(u,v),x,ret=0;
for (x=u;dep[top[x]]>dep[l];x=father[top[x]][0]) {
ret+=query(last,1,n,first[top[x]],first[x]);
}
if (dep[x]>=dep[l]) {
ret+=query(last,1,n,first[l],first[x]);
}
for (x=v;dep[top[x]]>dep[l];x=father[top[x]][0]) {
ret+=query(last,1,n,first[top[x]],first[x]);
}
if (dep[x]>dep[l]) {
int tmp=jump(x,dep[x]-dep[l]-1);
ret+=query(last,1,n,first[tmp],first[x]);
}
return ret;
}
void print(giant x) {
if (!x) {
puts("0");
return;
}
static char s[20];
int tot=0;
while (x) s[++tot]=x%10+'0',x/=10;
while (tot--) putchar(s[tot+1]);
puts("");
}
int main() {
#ifndef ONLINE_JUDGE
freopen("test.in","r",stdin);
freopen("my.out","w",stdout);
#endif
n=read();
giant m=read();
for (giant i=1;i<n;++i) {
giant u=read(),v=read();
add(u,v),add(v,u);
}
dfs(1,0);
build(1,0,1);
for (giant j=1;j<maxj;++j) for (giant i=1;i<=n;++i) father[i][j]=father[father[i][j-1]][j-1];
int test=0;
while (m--) {
static char o[10];
scanf("%s",o);
if (o[0]=='c') {
giant u=open(read()),v=open(read());
giant a=read(),b=read();
++total,++tim;
root[tim]=last;
change(u,v,a,b);
last=root[tim];
} else if (o[0]=='q') {
giant u=open(read()),v=open(read());
ans=ask(u,v);
print(ans);
} else if (o[0]=='r') {
last=root[(read()+ans)%(total+1)];
}
}
}