BZOJ3626LCA

3626: [LNOI2014]LCA

Time Limit: 10 Sec Memory Limit: 128 MB

Submit: 1374 Solved: 503

Description

给出一个n个节点的有根树（编号为0到n-1，根节点为0）。一个点的深度定义为这个节点到根的距离+1。

设dep[i]表示点i的深度，LCA(i,j)表示i与j的最近公共祖先。

有q次询问，每次询问给出l r z，求sigma_{l<=i<=r}dep[LCA(i,z)]。

（即，求在[l,r]区间内的每个节点i与z的最近公共祖先的深度之和）

Input

第一行2个整数n q。

接下来n-1行，分别表示点1到点n-1的父节点编号。

接下来q行，每行3个整数l r z。

Output

输出q行，每行表示一个询问的答案。每个答案对201314取模输出

Sample Input

5 2

0

0

1

1

1 4 3

1 4 2

Sample Output

8

5

HINT

共5组数据，n与q的规模分别为10000,20000,30000,40000,50000。

Source

数据已加强 by saffah

这道题是之前留下的坑。。今天填上。。

自己yy的想法复杂度高得不要不要的。。可以T得飞起。。

于是%了一下清华爷gconeice的题解。。

显然，暴力求解的复杂度是无法承受的。

考虑这样的一种暴力，我们把 z 到根上的点全部打标记，对于 l 到 r 之间的点，向上搜索到第一个有标记的点求出它的深度统计答案。观察到，深度其实就是上面有几个已标记了的点（包括自身）。所以，我们不妨把 z 到根的路径上的点全部 +1，对于 l 到 r 之间的点询问他们到根路径上的点权和。仔细观察上面的暴力不难发现，实际上这个操作具有叠加性，且可逆。也就是说我们可以对于 l 到 r 之间的点 i，将 i 到根的路径上的点全部 +1, 转而询问 z 到根的路径上的点（包括自身）的权值和就是这个询问的答案。把询问差分下，也就是用 [1, r] − [1, l − 1] 来计算答案，那么现在我们就有一个明显的解法。从 0 到 n − 1 依次插入点 i，即将 i 到根的路径上的点全部+1。离线询问答案即可。我们现在需要一个数据结构来维护路径加和路径求和，显然树链剖分或LCT 均可以完成这个任务。树链剖分的复杂度为 O((n + q)· log n · log n)，LCT的复杂度为 O((n + q)· log n)，均可以完成任务。至此，题目已经被我们完美解决。

树链剖分+差分思想。。

果然是一道好题。。

做idea很好的题可以涨姿势。。

P.S.如果你仔细看struct后面的东西会发现一些喜闻乐见的事。。

附上本蒟蒻的代码：

#include<cstdio>
#include<iostream>
#include<cmath>
#include<cstring>
#include<algorithm>
using namespace std;
#define mod 201314
#define MAXN 50001
int n,m,cnt,sz,h[MAXN],father[MAXN][16],pos[MAXN],belong[MAXN],deep[MAXN],size[MAXN];
bool vis[MAXN];
struct will
{
int to,next;
}edge[MAXN];
struct with
{
int z,ans1,ans2;
}q[MAXN];
struct kx
{
int num,p;
bool flag;
}a[MAXN<<1];
struct forever
{
int l,r,sum,delta,size;
}node[MAXN<<2];
bool operator < (kx a,kx b)
{
return a.p<b.p;
}

int read()
{
int w=0,c=1; char ch=getchar();
while (ch<'0' || ch>'9')
{
if (ch=='-') c=-1;
ch=getchar();
}
while (ch>='0' && ch<='9')
w=w*10+ch-'0',ch=getchar();
return w*c;
}

void add(int u,int v)
{
cnt++,edge[cnt].next=h[u],h[u]=cnt,edge[cnt].to=v;
}

void dfs1(int x)
{
int i;
size[x]=1,vis[x]=true;
for (i=1;i<=15;i++)
{
if (deep[x]<(1<<i)) break;
father[x][i]=father[father[x][i-1]][i-1];
}
for (i=h[x];i;i=edge[i].next)
{
if (vis[edge[i].to]) continue;
deep[edge[i].to]=deep[x]+1,father[edge[i].to][0]=x;
dfs1(edge[i].to),size[x]+=size[edge[i].to];
}
}

void dfs2(int x,int chain)
{
int k=n,i;
pos[x]=++sz,belong[x]=chain;
for (i=h[x];i;i=edge[i].next)
if (deep[edge[i].to]>deep[x] && size[edge[i].to]>size[k])
k=edge[i].to;
if (k!=n) dfs2(k,chain);
for (i=h[x];i;i=edge[i].next)
if (deep[edge[i].to]>deep[x] && k!=edge[i].to)
dfs2(edge[i].to,edge[i].to);
}

void pushdown(int s)
{
if (node[s].l==node[s].r || !node[s].delta) return;
int delta=node[s].delta;node[s].delta=0;
node[s*2].sum=node[s*2].sum+node[s*2].size*delta;
node[s*2+1].sum=node[s*2+1].sum+node[s*2+1].size*delta;
node[s*2].delta=node[s*2].delta+delta;
node[s*2+1].delta=node[s*2+1].delta+delta;
}

void build(int s,int l,int r)
{
node[s].l=l,node[s].r=r,node[s].size=r-l+1;
if (l==r) return;
build(s*2,l,(l+r)/2),build(s*2+1,(l+r)/2+1,r);
}

void update(int s,int x,int y)
{
pushdown(s);
int l=node[s].l,r=node[s].r;
if (l==x && y==r)
{
node[s].delta++,node[s].sum+=node[s].size;
return;
}
int mid=(l+r)/2;
if (y<=mid) update(s*2,x,y);
else if (x>mid) update(s*2+1,x,y);
else update(s*2,x,mid),update(s*2+1,mid+1,y);
node[s].sum=node[s*2].sum+node[s*2+1].sum;
}

void solveupdate(int x,int f)
{
while (belong[x]!=belong[f])
{
update(1,pos[belong[x]],pos[x]);
x=father[belong[x]][0];
}
update(1,pos[f],pos[x]);
}

int query(int s,int x,int y)
{
pushdown(s);
int l=node[s].l,r=node[s].r;
if (l==x && y==r) return node[s].sum;
int mid=(l+r)/2;
if (y<=mid) return query(s*2,x,y);
else if (x>mid) return query(s*2+1,x,y);
else return query(s*2,x,mid)+query(s*2+1,mid+1,y);
}

int solvequery(int x,int f)
{
int sum=0;
while (belong[x]!=belong[f])
{
sum+=query(1,pos[belong[x]],pos[x]);
sum%=mod;
x=father[belong[x]][0];
}
sum+=query(1,pos[f],pos[x]),sum%=mod;
return sum;
}

int main()
{
int i,x,tot=0,l,r,t,now;
memset(node,0,sizeof(node));
n=read(),m=read();
for (i=1;i<n;i++) x=read(),add(x,i);
for (i=1;i<=m;i++)
{
l=read(),r=read(),q[i].z=read();
a[++tot].p=l-1,a[tot].num=i,a[tot].flag=false;
a[++tot].p=r,a[tot].num=i,a[tot].flag=true;
}
build(1,1,n);
sort(a+1,a+tot+1);
dfs1(0),dfs2(0,0);
now=-1;
for (i=1;i<=tot;i++)
{
while (now<a[i].p)
now++,solveupdate(now,0);
t=a[i].num;
if (!a[i].flag) q[t].ans1=solvequery(q[t].z,0);
else q[t].ans2=solvequery(q[t].z,0);
}
for (i=1;i<=m;i++)
printf("%d\n",(q[i].ans2-q[i].ans1+mod)%mod);
return 0;
}