给出一棵$N$个节点的无根树,节点$i$有权值$v_i$。现在有$M$次操作,操作有如下两种:

$1\ x\ y$ 将节点$x$的权值$v_x$修改为$y$

$2$ 选择一个联通块(也可以不选择),使得点权和最大。输出这个点权和

树剖==

考虑先做一次DP,$f_x$表示在以$x$为根的子树中,选择$x$的情况下的最大联通块和,那么$f_x=v_x+\sum\limits_{u\in son_x}\max(f_u,0)$($v_x$表示点$x$的权值)

然后树剖,每一个点的权值设为$f_x-f_{heavy_x}$($heavy_x$表示点$x$的重儿子),然后可以发现,对于一条重链所代表的区间,求最大子段和就是这条链上所有点的最大答案

为了避免不同重链之间互相影响,我们可以在重链之间加上一个空节点,权值为$-\infty$

考虑修改,修改一个点只会影响它沿重链往上跳时经过的(重链顶端节点的父亲节点),所以我们只需要修改重链顶端的父亲节点就好了

#include<stdio.h>
typedef long long ll;
const ll inf=1000000000ll;
ll max(ll a,ll b){return a>b?a:b;}
struct zt{
	ll s,ms,ls,rs;
}f[400010];
zt merge(zt l,zt r){
	zt c;
	c.s=l.s+r.s;
	c.ls=max(l.ls,l.s+r.ls);
	c.rs=max(r.rs,r.s+l.rs);
	c.ms=max(max(l.ms,r.ms),l.rs+r.ls);
	return c;
}
void pushup(int x){f[x]=merge(f[x<<1],f[x<<1|1]);}
ll p[200010];
void build(int l,int r,int x){
	if(l==r){
		f[x].s=p[l];
		f[x].ms=f[x].ls=f[x].rs=max(p[l],0);
		return;
	}
	int mid=(l+r)>>1;
	build(l,mid,x<<1);
	build(mid+1,r,x<<1|1);
	pushup(x);
}
void modify(int p,ll v,int l,int r,int x){
	if(l==r){
		f[x].s+=v;
		f[x].ms=f[x].ls=f[x].rs=max(f[x].s,0);
		return;
	}
	int mid=(l+r)>>1;
	if(p<=mid)
		modify(p,v,l,mid,x<<1);
	else
		modify(p,v,mid+1,r,x<<1|1);
	pushup(x);
}
zt query(int L,int R,int l,int r,int x){
	if(L<=l&&r<=R)return f[x];
	int mid=(l+r)>>1;
	if(R<=mid)return query(L,R,l,mid,x<<1);
	if(L>mid)return query(L,R,mid+1,r,x<<1|1);
	return merge(query(L,R,l,mid,x<<1),query(L,R,mid+1,r,x<<1|1));
}
int h[100010],nex[200010],to[200010],v[100010],fa[100010],siz[100010],son[100010],bl[100010],pos[100010],M;
ll dp[100010];
void add(int a,int b){
	M++;
	to[M]=b;
	nex[M]=h[a];
	h[a]=M;
}
void dfs(int x){
	int i,mx=0,k=0;
	siz[x]=1;
	dp[x]=v[x];
	for(i=h[x];i;i=nex[i]){
		if(to[i]!=fa[x]){
			fa[to[i]]=x;
			dfs(to[i]);
			dp[x]+=max(dp[to[i]],0);
			siz[x]+=siz[to[i]];
			if(siz[to[i]]>mx){
				mx=siz[to[i]];
				k=to[i];
			}
		}
	}
	son[x]=k;
}
void dfs(int x,int chain){
	pos[x]=++M;
	bl[x]=chain;
	if(son[x]){
		dp[x]-=max(dp[son[x]],0);
		dfs(son[x],chain);
	}
	p[pos[x]]=dp[x];
	for(int i=h[x];i;i=nex[i]){
		if(to[i]!=fa[x]&&to[i]!=son[x]){
			M++;
			p[M]=-inf;
			dfs(to[i],to[i]);
		}
	}
}
void modify(int x,ll d){
	d-=v[x];
	v[x]+=d;
	ll t1,t2;
	while(x){
		t1=query(pos[bl[x]],M,1,M,1).ls;
		modify(pos[x],d,1,M,1);
		t2=query(pos[bl[x]],M,1,M,1).ls;
		d=t2-t1;
		x=fa[bl[x]];
	}
}
int main(){
	int n,m,i,x,y;
	scanf("%d%d",&n,&m);
	for(i=1;i<=n;i++)scanf("%d",v+i);
	for(i=1;i<n;i++){
		scanf("%d%d",&x,&y);
		add(x,y);
		add(y,x);
	}
	dfs(1);
	M=0;
	dfs(1,1);
	build(1,M,1);
	while(m--){
		scanf("%d",&i);
		if(i==1){
			scanf("%d%d",&x,&y);
			modify(x,y);
		}else
			printf("%d\n",f[1].ms);
	}
}

[xsy1294]sub的更多相关文章

  1. 【XSY1294】sub 树链剖分

    题目描述 给你一棵\(n\)个点的无根树,节点\(i\)有权值\(v_i\).现在有\(m\)次操作,操作有如下两种: \(1~x~y\):把\(v_x\)改成\(y\). \(2\):选择一个连通块 ...

随机推荐

  1. webstorm vue cli 热更新不起作用解决办法

    在网上搜到的:原因是(webstorm默认保存在临时文件)  连接  1.打开设置 2.把 System Settings => Synchornization => 最后一项勾去掉

  2. JavaScript的相等(==)与全等(===)

    有段代码如下: view source   print? 1 if (![] == []) { 2     //Code 3 } ![] == [],true or false? 我们都知道,ECMA ...

  3. 你是否彻底了解margin属性?

    写css,你少不了与margin打交道.你真的了解margin吗?你知道margin有什么特性吗?你知道什么是垂直外边距合并?margin在块元素.内联元素中的区别?什么时候该用padding而不是m ...

  4. Vim使用小记(一)常用操作

    By francis_hao    Sep 22,2016 vim的功能自然不止如此,这里只是把日常使用频率较高的记录下来,若想了解vim的全部功能可查阅其帮助手册:help,或者查询指定命令的用法: ...

  5. 模拟实现jdk动态代理

    实现步骤 1.生成代理类的源代码 2.将源代码保存到磁盘 3.使用JavaCompiler编译源代码生成.class字节码文件 4.使用JavaCompiler编译源代码生成.class字节码文件 5 ...

  6. 在Debian9安装node和npm

    这学期又快结束了,坐在每天面对的电脑面,本着整理资料.更换心情的目的,我重装了一下自己的debian.下面就将自己安装node的过程进行记录与分享. node的官网:https://nodejs.or ...

  7. ios 全方位修改工程名

    本文针对于彻底修改iOS工程名,不需要另外建工程,会整理的跟新工程完全一样 1. 选中旧工程名,改为新的 然后选择rename 2. 依次选择黄色文件夹,修改名字,千万不要在Xcode外修改!!! 修 ...

  8. [POJ2774]Long Long Message 解题报告

    Long Long Message Description The little cat is majoring in physics in the capital of Byterland. A p ...

  9. 2017年上海金马五校程序设计竞赛:Problem G : One for You (博弈)

    Description Given a m × n chessboard, a stone is put on the top-left corner (1, 1). Kevin and Bob ta ...

  10. UVA 10668 Expanding Rods

    Problem A: Expanding Rods When a thin rod of length L is heated n degrees, it expands to a new lengt ...