题解
显然树形 (dp) 一波
然后套路的运用标题
(Code)
#include<cstdio>
#include<iostream>
#define ls (p << 1)
#define rs (ls | 1)
using namespace std;
typedef long long LL;
const int N = 1e5 + 5;
const LL INF = 0x3f3f3f3f3f3f3f3f;
int n, m, a[N];
LL f[N][2], g[N][2];
int h[N];
struct edge{int to, nxt;}e[N << 1];
inline void add(int x, int y)
{
static int tot = 0;
e[++tot] = edge{y, h[x]}, h[x] = tot;
}
int dfn[N], siz[N], top[N], bot[N], son[N], fa[N];
void dfs1(int x)
{
siz[x] = 1, f[x][1] = a[x];
for(register int i = h[x]; i; i = e[i].nxt)
{
int v = e[i].to;
if (v == fa[x]) continue;
fa[v] = x, dfs1(v), siz[x] += siz[v];
if (siz[v] > siz[son[x]]) son[x] = v;
f[x][0] += max(f[v][0], f[v][1]), f[x][1] += f[v][0];
}
}
void dfs2(int x)
{
static int dfc = 0;
dfn[x] = ++dfc, g[x][1] = a[x];
if (son[x]) top[son[x]] = top[x], dfs2(son[x]);
else bot[top[x]] = dfn[x];
for(register int i = h[x]; i; i = e[i].nxt)
{
int v = e[i].to;
if (v == fa[x] || v == son[x]) continue;
top[v] = v, g[x][0] += max(f[v][0], f[v][1]), g[x][1] += f[v][0];
dfs2(v);
}
}
struct Matrix{
LL a[2][2];
inline Matrix(){a[0][0] = a[1][0] = a[0][1] = a[1][1] = -INF;}
inline Matrix operator*(const Matrix &b)
{
Matrix c;
for(register int i = 0; i < 2; i++)
for(register int j = 0; j < 2; j++)
for(register int k = 0; k < 2; k++)
c.a[i][j] = max(c.a[i][j], a[i][k] + b.a[k][j]);
return c;
}
}seg[N << 2];
inline Matrix I()
{
Matrix c;
c.a[0][0] = c.a[1][1] = 0, c.a[0][1] = c.a[1][0] = -INF;
return c;
}
inline Matrix Node(LL g0, LL g1)
{
Matrix c;
c.a[0][0] = c.a[0][1] = g0, c.a[1][0] = g1, c.a[1][1] = -INF;
return c;
}
void update(int p, int l, int r, int x, Matrix v)
{
if (l == r) return void(seg[p] = v);
int mid = (l + r) >> 1;
if (x <= mid) update(ls, l, mid, x, v);
else update(rs, mid + 1, r, x, v);
seg[p] = seg[ls] * seg[rs];
}
Matrix query(int p, int l, int r, int tl, int tr)
{
if (tl <= l && r <= tr) return seg[p];
int mid = (l + r) >> 1;
Matrix ret = I();
if (tl <= mid) ret = query(ls, l, mid, tl, tr);
if (tr > mid) ret = ret * query(rs, mid + 1, r, tl, tr);
return ret;
}
inline void change(int x)
{
while (x)
{
update(1, 1, n, dfn[x], Node(g[x][0], g[x][1])), x = top[x];
Matrix ret = query(1, 1, n, dfn[x], bot[x]);
g[fa[x]][0] -= max(f[x][0], f[x][1]), g[fa[x]][1] -= f[x][0];
f[x][0] = ret.a[0][0], f[x][1] = ret.a[1][0];
g[fa[x]][0] += max(f[x][0], f[x][1]), g[fa[x]][1] += f[x][0];
x = fa[x];
}
}
int main()
{
freopen("P4719.in", "r", stdin);
freopen("P4719.out", "w", stdout);
scanf("%d%d", &n, &m);
for(register int i = 1; i <= n; i++) scanf("%d", a + i);
for(register int i = 1, u, v; i < n; i++) scanf("%d%d", &u, &v), add(u, v), add(v, u);
dfs1(1), top[1] = 1, dfs2(1);
for(register int i = 1; i <= n; i++) update(1, 1, n, dfn[i], Node(g[i][0], g[i][1]));
for(register int i = 1, x, y; i <= m; i++)
{
scanf("%d%d", &x, &y);
g[x][1] += y - a[x], a[x] = y, change(x);
printf("%lld
", max(f[1][0], f[1][1]) < 0 ? 0 : max(f[1][0], f[1][1]));
}
}