「2018山东一轮集训」 Tree-LMLPHP

为什么出题人这么毒瘤啊??!!一个分块还要带log的题非要出成n<=2*1e5。。。。。。。

为了卡过最后两个点我做了无数常数优化,包括但不限于:把所有线段树改成 存差分的树状数组;把树剖求LCA的极小的log优化成rmq O(1)求LCA;根据测试情况手动调整siz的大小;

但就是死也卡不过去,算了算了QWQ

(常规套路,先把1设成根建有根树)

这个题的主要思路就是 对节点的下标分块,设 f[i][j] 为 第i个块内所有点到点j的距离和,然后看如何快速的动态维护这个玩意。。。。

发现改动一条边权的时候,只有两个点分别位于这条边两侧的时候才会对它们之间的dis有影响。

我们设p为边端点中更深的那个,那么也就是一个在p子树内,一个在子树外的才有影响。。。。

于是我们对每个块开一个vector记录一下这个块内的点的dfs序集合,排完序之后就可以之间O(log)的查询某个块在一棵子树内/外的点数了。。。

因为f[][]的第一维比较小,所以我们可以暴力枚举第一维,然后对第二维进行快速的修改。。。。。这时候发现第二维如果是存dfs序的话会更加方便(子树内可以直接进行区间修改),所以就改成下标代表dfs序啦。。。

对于整块整块的一些点到某个点的距离,用上述方法就行啦。。。可以发现都是区间修改单点查询,所以用差分的树状数组可以快(可能还不止)4倍常数哦。。。

查询零散的点对(i,j)之间的距离的话更加简单。。可以动态维护dis[i]表示i到根的距离(发现也是区间修改单点查询,所以可以类似上述整块的方法处理),答案就是dis[i]+dis[j]-2*dis[LCA(i,j)]。。。

可能说起来不是很多吧qwq?但是要写一辈子啊QWQWQWQ。。。。

(我美好的下午就这么没了QWQ)

话说我把树剖求LCA改成rmq之后反而更慢了QWQ,这是什么鬼啊。。。。

/*
inside : b * derta
outside : a * derta all -> a * derta
inside -> (b-a) * derta
*/
#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<algorithm>
#include<cmath>
#include<vector>
#include<iostream>
#define ll long long
using namespace std;
#define pb push_back
const int maxn=200003,N=205; inline int read(){
int x=0; char ch=getchar();
for(;!isdigit(ch);ch=getchar());
for(;isdigit(ch);ch=getchar()) x=x*10+ch-'0';
return x;
} void W(ll x){ if(x>=10) W(x/10); putchar(x%10+'0');} int n,m,T,dep[maxn],siz[maxn],cl[maxn];
int F[maxn],dc,dfn[maxn],dy[maxn],son[maxn];
int bl[maxn],num,val[maxn*2],uu,vv,ww;
int hd[maxn],ne[maxn*2],to[maxn*2];
ll ans=0,f[N][maxn];
vector<int> id[N];
char s[10]; void add(const int &x,const int &y,const int &z){
to[++num]=y,ne[num]=hd[x],hd[x]=num,val[num]=z;
} void update(const int &T,int x,const int &y){ for(;x<=n;x+=x&-x) f[T][x]+=(ll)y;}
ll query(const int &T,int x){ ll an=0; for(;x;x-=x&-x) an+=(ll)f[T][x]; return an;} void Fdfs(int x,int fa){
F[x]=fa,siz[x]=1;
for(int i=hd[x];i;i=ne[i]) if(to[i]!=fa){
dep[to[i]]=dep[x]+1,Fdfs(to[i],x),siz[x]+=siz[to[i]];
if(!son[x]||siz[to[i]]>siz[son[x]]) son[x]=to[i];
}
} void Sdfs(int x,int tp){
dfn[x]=++dc,dy[dc]=x,cl[x]=tp; if(!son[x]) return; Sdfs(son[x],tp); for(int i=hd[x];i;i=ne[i])
if(to[i]!=F[x]&&to[i]!=son[x]) Sdfs(to[i],to[i]);
} inline int LCA(int a,int b){
while(cl[a]!=cl[b]){
if(dep[cl[a]]>dep[cl[b]]) a=F[cl[a]];
else b=F[cl[b]];
}
return dep[a]>dep[b]?b:a;
} inline int Get(int T,int x){
return upper_bound(id[T].begin(),id[T].end(),x)-id[T].begin();
} inline void Maintain(int o,int derta){
int p=to[o*2-1];
if(dep[p]<dep[to[o<<1]]) p=to[o<<1]; update(0,dfn[p],derta),update(0,dfn[p]+siz[p],-derta); for(int i=1,a,b;i<=200;i++) if(id[i].size()){
a=Get(i,dfn[p]+siz[p]-1)-Get(i,dfn[p]-1),b=id[i].size()-a;
update(i,1,a*derta),update(i,dfn[p],(b-a)*derta),update(i,dfn[p]+siz[p],(a-b)*derta);
}
} inline ll calc(int qz,int p){
ll an=0; for(int i=1;i<bl[qz];i++) an+=query(i,dfn[p]); for(int i=qz;i;i--){
an+=query(0,dfn[i])+query(0,dfn[p])-2ll*query(0,dfn[LCA(p,i)]);
if(bl[i]!=bl[i-1]) break;
} return an;
} inline void prework(){
Fdfs(1,0),Sdfs(1,1); for(int i=1;i<=n;i++){
bl[i]=(i-1)/1000+1;
id[bl[i]].pb(dfn[i]);
}
for(int i=1;i<=200;i++) sort(id[i].begin(),id[i].end()); for(int i=1;i<n;i++) Maintain(i,val[i<<1]);
} inline void solve(){
const int ha=n; while(m--){
scanf("%s",s);
if(s[0]=='m'){
uu=read(),vv=read();
if(T) uu^=ans,vv^=ans; Maintain(uu,vv-val[uu<<1]),val[uu<<1]=vv;
}
else{
uu=read(),vv=read(),ww=read();
if(T) uu^=ans,vv^=ans,ww^=ans; ans=calc(vv,ww)-calc(uu-1,ww); W(ans),puts(""),ans%=ha;
}
}
} int main(){
// freopen("tree.in","r",stdin);
// freopen("tree.out","w",stdout); n=read(),m=read(),T=read(); for(int i=1;i<n;i++){
uu=read(),vv=read(),ww=read();
add(uu,vv,ww),add(vv,uu,ww);
} prework(); solve(); return 0;
}
05-26 07:15