血压游戏【科大讯飞杯G题】【虚树】

题目链接

---

  一开始的时候，我往长链剖分上去写，但是写不好，最后写成了当只有一条链的时候是的惨案了。

  然后，开始想别的想法了，于是想（偷窥）到了虚树的做法。

  因为，我们可以发现，一个点，向上影响的时候，只有同等深度的才会同时起作用，只要不是同等深度的时候，那么他们的时间就会是错开的，所以，我们可以对深度来进行处理。

只有发生这种情况的时候，x和y才会同时影响一个结点，不然的话，在相互不影响的直接向上路径上的产生的贡献就是：

  这里的指的是到x结点时候的此时刻的松鼠的数量，因为v在上升的过程中，松鼠要打架，会一只只的挂掉，而且挂掉的数量恰好就是深度差。

  而，有多个点会同时抵达u点的时候，又是怎样的一种情况呢？

  如图，我们假设前面已经计算过了前面所有该时刻到达u点的值，现在算v点，那么就应该是

  那么，我们这样子算出了到达各个点的同一时刻上的松鼠的数量，那么时刻实际上就是与深度有关的，所以，我们用一个vector存储深度，然后每次处理同一深度到达S点时候所能送来的松鼠的数量，就是变相的求出了每个时刻到S点的松鼠数量了。

  于是，我们可以用虚树来解决这个问题了，别忘了最开始的时候就要往栈中push进去S结点，为了方便计算。

  然后，虚树的复杂度为，所以总的时间复杂度为。

  我这里用了欧拉序+RMQ求LCA的方式，因为这样预处理时候是的，但是查询时候是的。

#include <iostream>
#include <cstdio>
#include <cmath>
#include <string>
#include <cstring>
#include <algorithm>
#include <limits>
#include <vector>
#include <stack>
#include <queue>
#include <set>
#include <map>
#include <bitset>
//#include <unordered_map>
//#include <unordered_set>
#define lowbit(x) ( x&(-x) )
#define pi 3.141592653589793
#define e 2.718281828459045
#define INF 0x3f3f3f3f
#define Big_INF 0x3f3f3f3f3f3f3f3f
#define eps 1e-8
#define HalF (l + r)>>1
#define lsn rt<<1
#define rsn rt<<1|1
#define Lson lsn, l, mid
#define Rson rsn, mid+1, r
#define QL Lson, ql, qr
#define QR Rson, ql, qr
#define myself rt, l, r
#define MP(a, b) make_pair(a, b)
using namespace std;
typedef unsigned long long ull;
typedef unsigned int uit;
typedef long long ll;
const int maxN = 2e5 + 7;
int N, S, LOG_2[maxN << 1], _UP;
ll a[maxN], ans = 0;
struct Graph
{
    int head[maxN], cnt;
    struct Eddge
    {
        int nex, to;
        Eddge(int a=-1, int b=0):nex(a), to(b) {}
    } edge[maxN << 1];
    inline void addEddge(int u, int v)
    {
        edge[cnt] = Eddge(head[u], v);
        head[u] = cnt++;
    }
    inline void _add(int u, int v) { addEddge(u, v); addEddge(v, u); }
    void clear() { cnt = 0; for(int i=1; i<=N; i++) head[i] = -1; }
} Old, Now;
vector<int> vt[maxN];
struct Grand_Father
{
    int deep[maxN], euler[maxN << 1], Esiz, rid[maxN], dfn[maxN], tot;
    void dfs(int u, int fa)
    {
        deep[u] = deep[fa] + 1; rid[u] = Esiz + 1; dfn[u] = ++tot; _UP = max(_UP, deep[u]); vt[deep[u]].push_back(u);
        for(int i=Old.head[u], v; ~i; i=Old.edge[i].nex)
        {
            v = Old.edge[i].to;
            if(v == fa) continue;
            euler[++Esiz] = u;
            dfs(v, u);
        }
        euler[++Esiz] = u;
    }
    int mn[maxN << 1][20];
    inline void RMQ_Init()
    {
        for(int i=1; i<=Esiz; i++) mn[i][0] = euler[i];
        for(int j=1; (1 << j) <= Esiz; j++)
        {
            for(int i=1; i + (1 << j) - 1 <= Esiz; i++)
            {
                if(deep[mn[i][j - 1]] < deep[mn[i + (1 << (j - 1))][j - 1]]) mn[i][j] = mn[i][j - 1];
                else mn[i][j] = mn[i + (1 << (j - 1))][j - 1];
            }
        }
    }
    inline int Rmq(int l, int r)
    {
        int det = r - l + 1, kk = LOG_2[det];
        if(deep[mn[l][kk]] <= deep[mn[r - (1 << kk) + 1][kk]]) return mn[l][kk];
        else return mn[r - (1 << kk) + 1][kk];
    }
    inline int _LCA(int u, int v)
    {
        int l = rid[u], r = rid[v];
        if(l > r) swap(l, r);
        return Rmq(l, r);
    }
} A_lca;
inline bool cmp(int e1, int e2) { return A_lca.dfn[e1] < A_lca.dfn[e2]; }
int Stap[maxN], Stop;
ll dp[maxN];
inline void Insert(int u)
{
    if(Stop <= 1) { Stap[++Stop] = u; return; }
    int lca = A_lca._LCA(u, Stap[Stop]);
    while(Stop > 1 && A_lca.dfn[lca] <= A_lca.dfn[Stap[Stop - 1]])
    {
        if(dp[Stap[Stop]]) dp[Stap[Stop - 1]] += max(1LL, dp[Stap[Stop]] - (A_lca.deep[Stap[Stop]] - A_lca.deep[Stap[Stop - 1]]));
        dp[Stap[Stop]] = 0;
        Stop--;
    }
    if(lca ^ Stap[Stop])
    {
        if(dp[Stap[Stop]]) dp[lca] += max(1LL, dp[Stap[Stop]] - (A_lca.deep[Stap[Stop]] - A_lca.deep[lca]));
        dp[Stap[Stop]] = 0;
        Stap[Stop] = lca;
    }
    Stap[++Stop] = u;
}
inline void init()
{
    Old.clear(); Now.clear(); A_lca.tot = 0;
    for(int i = 1, j = 2, k = 0; i <= (N << 1); i++)
    {
        if(i == j) { j <<= 1; k++; }
        LOG_2[i] = k;
    }
}
int main()
{
    scanf("%d%d", &N, &S);
    init();
    for(int i=1; i<=N; i++) scanf("%lld", &a[i]);
    for(int i=1, u, v; i<N; i++)
    {
        scanf("%d%d", &u, &v);
        Old._add(u, v);
    }
    A_lca.dfs(S, 0);
    A_lca.RMQ_Init();
    for(int i=_UP, len, id; i>1; i--)
    {
        sort(vt[i].begin(), vt[i].end(), cmp);
        len = (int)vt[i].size();
        Stap[Stop = 1] = S; dp[S] = 0;
        for(int j=0; j<len; j++)
        {
            id = vt[i][j];
            dp[id] = a[id];
            Insert(id);
        }
        while(Stop > 1)
        {
            if(dp[Stap[Stop]]) dp[Stap[Stop - 1]] += max(1LL, dp[Stap[Stop]] - (A_lca.deep[Stap[Stop]] - A_lca.deep[Stap[Stop - 1]]));
            dp[Stap[Stop]] = 0;
            Stop--;
        }
        if(dp[S]) ans += max(1LL, dp[S] - 1);
    }
    if(a[S]) ans += max(1LL, a[S] - 1);
    printf("%lld\n", ans);
    return 0;
}