洛谷 1600 [NOIP2016] 天天爱跑步 树链剖分+桶 （暴力+正解）

题目：
https://www.luogu.org/problemnew/show/1600

记得去年我只写了15分，还打错了freopen……；

部分分很良心；

1~5：

暴力lca，暴力统计;
复杂度 : O (n ^ 2);

6~8：

这一部分分已经出卖了正解；
肯定有许多大牛恍然大悟(当然，没有我这个垃圾)；

我们发现对于每一名观察员v，他观察到的玩家i满足：
1. 从左向右：v - i = w[i]；从右向左 : v + i = w[i] ;
2. 存在从i到v或v后面(前面)的点的路线；

通过移项发现，对于每一个w[i] + i 只与i本身有关，而且这是一个定值。

记点i可以做出贡献的点集为V；

当i作为起点时，将V中符合第2条的点答案++即可；

复杂度 : O( n + m );

9~12

Si = 1的情况；
我们可以发现，当且仅当deep[v]=w[v]时，v点的观察员可以看到玩家；

法一：统计v的子树中有多少终点，终点个数即为v的答案；

法二：树上差分，v被经过的次数就是v的答案；

13~16：

Ti = 1 的情况；

当起点i可以对v做贡献时;
deep[i] = deep[v] + w[v];
当且仅当i在v的子树中;

给每个起点打一个标记,然后统计v的子树中i的个数；

统计i时考虑用差分的思想；
令deep[*i]为访问v的子树之前的深度i的个数，deep[i]为访问完v的子树后的深度i的个数；
则v子树中deep[i]深度的节点个数为deep[i] - deep[*i];

100%数据：

大方向：对于一个节点来说，对他有贡献的结点是一定的，也是确定的；
所以我们只需要统计对于某个节点有贡献的节点数就可以了(说的轻巧)；

考虑如何统计;
ps : 自己先拿出一张纸，画上一棵树，然后标上编号；

因为有上有下，不好直接统计，所以考虑拆路线！！！

将S到T的路线拆成S->lca和lca->T;

D为记录答案的桶；

S->lca:
若对i有贡献：

1.deep[s] - deep[i] = w[i];
移项 ：deep[s] = deep[i] + w[i];
2.满足第2条;
3.在i的子树中;

由于deep[i] + w[i] 是个定值;
所以将 deep[i] + w[i] 映射为可以对i做贡献的值(不准确的定义，但可以这么理解)；
即D[deep[i] + w[i]] 的差值为i的答案（差值的定义详见终点为1的做法） ；

lca->T:
记L为S->T的路线长度;
若对k有贡献:
L - w[k] = deep[T] - deep[k];
移项 ：L - deep[T] = w[k] - deep[k];

同理;
可以将L - deep[T] 映射为可以对k做贡献的值；
需要注意的是需要加一个大数，以防止负数下标；

但如果存在路线的起点可以对v做贡献，但是不满足第2条怎么办？

此时这条路线的起点，lca，终点必然都在v的子树中；

所以可以用vector记以一个点为lca的路线的编号；
在回溯时，将不会对”祖先”做贡献，又存在于D中的点减去；

由于拆路线，如果路线对lca有贡献，那lca会被计算了两次，所以此时
需要将lca的次数减一；

80分暴力

#include<iostream>
#include<cstdio>
#include<cstring>
#include<vector>
#include<algorithm>
using namespace std;

const int MAXN=600010;
int n,m,tot,tim;
int fst[MAXN],nxt[MAXN],cdis[MAXN],cnt[MAXN],csum[MAXN];
int deep[MAXN],fa[MAXN],top[MAXN],son[MAXN],siz[MAXN];
int dfn[MAXN],tmp[MAXN];//起点为1; 
int D[MAXN],Mark[MAXN];//终点为1； 
vector<int>V[MAXN],G[MAXN];//一条链;
struct hh {
  int from,to;}ma[MAXN];
struct sh {
  int from,to,lca;}ss[MAXN];

void build(int f,int t)
{
    ma[++tot]=(hh){f,t};
    nxt[tot]=fst[f];
    fst[f]=tot;
    return;
}

void dfs(int x,int f)
{
    siz[x]=1,fa[x]=f;
    deep[x]=deep[f]+1;
    dfn[+