bzoj3251: 树上三角形

题目链接：bzoj3251
题意：有根树，支持两种操作，询问从u->v的简单路径上是否存在三个点权可以构成三角形，单点修改点权。
暑假多校的时候就见过这个斐波那契性质。
两边之和大于第三边，显然这是个很套路的东西，这个性质就是斐波那契性质，而斐波那契数列至多在五十项左右的时候炸int，故若简单路径长度大于50，那么必然有解，否则暴力check即可。

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int maxn=1e5+7;
const int ci=18;
int fa[maxn][20];
int w[maxn];
int dep[maxn];
vector<int> G[maxn];
void dfs(int u,int last){
    dep[u]=dep[last]+1;
    fa[u][0]=last;
    for(int i=1;i<=ci;++i)
        fa[u][i]=fa[fa[u][i-1]][i-1];
    for(int i=0;i<G[u].size();++i){
        int v=G[u][i];
        dfs(v,u);
    }
}

int LCA(int x,int y){
    if(dep[x]<dep[y]) swap(x,y);
    for(int i=ci;i>=0;--i)
        if(dep[fa[x][i]]>=dep[y]) x=fa[x][i];
    if(x==y) return x;
    for(int i=ci;i>=0;--i)
        if(fa[x][i]!=fa[y][i]) x=fa[x][i],y=fa[y][i];
    return fa[x][0];
}

vector<int> V;
bool check(ll x,ll y,ll z){
    return z+y>x&&x-z<y;
}
bool check(int x,int y){
    int lca=LCA(x,y);
    //cout<<x<<" "<<y<<" "<<lca<<endl;
    if(dep[x]-dep[lca]+dep[y]-dep[lca]+1>=50) return 1;
    V.clear();
    while(x!=lca){
        V.push_back(w[x]);
        x=fa[x][0];
    }
    while(y!=lca){
        V.push_back(w[y]);
        y=fa[y][0];
    }
    V.push_back(w[lca]);

    sort(V.begin(),V.end());
    for(int i=V.size()-1;i>=2;--i)
        if(check(V[i],V[i-1],V[i-2])) return 1;
    return 0;
}

int main(){
    int u,v,n,q,id;
    scanf("%d%d",&n,&q);
    for(int i=1;i<=n;++i) scanf("%d",&w[i]);
    for(int i=1;i<n;++i){
        scanf("%d%d",&u,&v);
        G[u].push_back(v);
    }
    dfs(1,0);
    while(q--){
        scanf("%d%d%d",&id,&u,&v);
        if(id==0) printf("%s\n",(check(u,v)?"Y":"N"));
        else w[u]=v;
    }

    return 0;
}