bzoj3924: [Zjoi2015]幻想乡战略游戏(动态点分治 + 欧拉序ST表求LCA)-程序员宅基地

技术标签: 欧拉序  ST表  动态点分治  欧拉序+ST表求LCA  

题目:
在这里插入图片描述

题解:大坑啊,来自巨佬的题解 https://www.cnblogs.com/bztMinamoto/p/9489473.html
题意转化后就是求带权的重心,考虑暴力的做法:设原树的树根 r t rt rt s u m r t sum_{rt} sumrt为 rt的所有子树的点权的和, d i s r t dis_{rt} disrt为rt子树的点到 r t rt rt 的距离和(题目就是要求 d i s dis dis最小的那个点)。我们知道重心若不是根结点rt,必然在 rt的某一个子树中(废话),考虑移动到 rt 以 v 为根结点的子树,如果将重心移到 v,v 子树内的点对答案的贡献减少了 dis(rt,v),总共减少了 s u m r t ∗ d i s ( r t , v ) sum_rt * dis(rt,v) sumrtdis(rt,v),而其它的点的贡献都增加了 d i s ( r t , v ) dis(rt,v) dis(rt,v),总共增加了 ( t o t − s u m v ) ∗ d i s ( r t , v ) (tot - sum_v) * dis(rt,v) (totsumv)dis(rt,v),总的改变量就是 d i s ( r t , v ) ∗ ( t o t − s u m v − s u m v ) dis(rt,v) * (tot - sum_v - sum_v) dis(rt,v)(totsumvsumv)。观察到如果 v点更优,那么 s u m v > t o t 2 sum_v > \frac{tot}{2} sumv>2tot,显然 r t rt rt的众多儿子中最多只有一个优秀的儿子能满足这条件,对 v 也是一样,所以可以暴力的沿着树链往下跑最后找到最优的那个点。修改点权暴力维护需要 O(n)的时间,每一次查找最优答案也是O(n)的时间,T飞。

考虑如何优化:如果每次朝点分治的分治重心移动,维护的话也沿着重心向上跳更新,可以把复杂度将到 l o g n logn logn,引入动态点分治的思想,构建点分树使得树形平衡从而降低复杂度。

回忆点分治的过程,构建点分树就是在分治时在重心处连边,使得树形转化成一棵相较平衡的树。

void divide(int u) {
    								//构建点分树 
	done[u] = true;
	for(int i = head[u]; i + 1; i = nxt[i]) {
    
		if(done[to[i]]) continue;
		tot = son[to[i]];root = 0;
		getroot(to[i],-1);
		g[u].push_back(pii(root,to[i]));fa[root] = u;
		divide(root);
	}
}

分治函数中倒数第二行代码就是在重心处建边。
构建完点分树后复杂度已经得到了保证,就可以开始思考需要维护哪些信息,如何维护。
笨比不能一两句讲清楚,详细还得看大佬的博客(在上方)

(不理解为什么寻找带权重心时要在原树边判断是否要移动)

#include<bits/stdc++.h>
using namespace std;
const int maxn = 3e5 + 10;
const int maxm = 1e6 + 10;
#define pii pair<int,int>
#define fir first
#define sec second
typedef long long ll;
int n,q,rt;
int cnt,head[maxm],nxt[maxm],to[maxm],w[maxm];		//原图 
int son[maxn],f[maxn],root,tot;
bool done[maxn];
vector<pii> g[maxn]; 							//点分树
int fa[maxn];
int logn[maxn],bin[100],mx;
int dfn[maxn],num;
ll d[maxn],st[maxn][22];
ll v1[maxn],v2[maxn],v3[maxn];
void init() {
    
	fill(head,head + n + 1,-1);
	fill(fa,fa + n + 1,0);
	fill(v1,v1 + n + 1,0);
	fill(v2,v2 + n + 1,0);
	fill(v3,v3 + n + 1,0);
	fill(d,d + n + 1,0);
	num = mx = tot = cnt = root = 0;
} 
void add(int u,int v,int wi) {
    
	to[cnt] = v;
	w[cnt] = wi;
	nxt[cnt] = head[u];
	head[u] = cnt++;
}
void dfs(int u,int s) {
    
	dfn[u] = ++num;st[num][0] = d[u];
	for(int i = head[u]; i + 1; i = nxt[i]) {
    
		if(to[i] == s) continue;
		d[to[i]] = d[u] + w[i];
		dfs(to[i],u);
		st[++num][0] = d[u];
	}
}
ll lca(int a,int b) {
    
	if(dfn[a] > dfn[b]) swap(a,b);
	int k = logn[dfn[b] - dfn[a] + 1];
	return min(st[dfn[a]][k],st[dfn[b] - bin[k] + 1][k])<<1;
}
ll dis(int a,int b) {
    
	return d[a] + d[b] - lca(a,b);
}
void getroot(int u,int s) {
    
	son[u] = 1;f[u] = 0;
	for(int i = head[u]; i + 1; i = nxt[i]) {
    
		if(to[i] == s || done[to[i]]) continue;
		getroot(to[i],u);
		son[u] += son[to[i]];
		f[u] = max(f[u],son[to[i]]);
	}
	f[u] = max(f[u],tot - son[u]);
	if(!root || f[root] > f[u]) root = u;
}
void divide(int u) {
    								//构建点分树 
	done[u] = true;
	for(int i = head[u]; i + 1; i = nxt[i]) {
    
		if(done[to[i]]) continue;
		tot = son[to[i]];root = 0;
		getroot(to[i],-1);
		g[u].push_back(pii(root,to[i]));fa[root] = u;
		divide(root);
	}
}
void upd(int u,int val) {
    
	v3[u] += val;
	for(int p = u; fa[p]; p = fa[p]) {
    
		ll dist = dis(fa[p],u) * val;
		v1[fa[p]] += dist;
		v2[p] += dist;
		v3[fa[p]] += val;
	}
}
ll cal(int u) {
    
	ll ans = v1[u];
	for(int p = u; fa[p]; p = fa[p]) {
    
		ll dist = dis(fa[p],u);
		ans += v1[fa[p]] - v2[p];
		ans += (v3[fa[p]] - v3[p]) * dist;
	}
	return ans;
}
ll qry(int u) {
    
	ll ans = cal(u);
	for(auto it : g[u]) {
    
		ll tmp = cal(it.sec);
		if(tmp < ans) return qry(it.fir);
	}
	return ans;
}
int main() {
    
	scanf("%d%d",&n,&q);
	init();
	while((1 << (mx + 1)) <= (n << 1)) mx++;
	bin[0] = 1;logn[0] = -1;
	for(int i = 1; i <= mx; i++) bin[i] = bin[i - 1] << 1;
	for(int i = 1; i <= (n << 1); i++) logn[i] = logn[i >> 1] + 1;	
	for(int i = 1; i < n; i++) {
    
		int u,v,w;
		scanf("%d%d%d",&u,&v,&w);
		add(u,v,w);add(v,u,w);
	}
	dfs(1,-1);
	for(int i = 1; i <= mx; i++)
		for(int j = 1;j + bin[i] - 1 <= num; j++)
			st[j][i] = min(st[j][i - 1],st[j + bin[i - 1]][i - 1]);
	root = 0;tot = n;getroot(1,-1);rt = root;
	divide(root);
	for(int i = 1; i <= q; i++) {
    
		int u,e;
		scanf("%d%d",&u,&e);
		upd(u,e);
		printf("%lld\n",qry(rt));
	}
	return 0;
}
版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/qq_41997978/article/details/98983309

智能推荐

c# 调用c++ lib静态库_c#调用lib-程序员宅基地

文章浏览阅读2w次,点赞7次,收藏51次。四个步骤1.创建C++ Win32项目动态库dll 2.在Win32项目动态库中添加 外部依赖项 lib头文件和lib库3.导出C接口4.c#调用c++动态库开始你的表演...①创建一个空白的解决方案,在解决方案中添加 Visual C++ , Win32 项目空白解决方案的创建:添加Visual C++ , Win32 项目这......_c#调用lib

deepin/ubuntu安装苹方字体-程序员宅基地

文章浏览阅读4.6k次。苹方字体是苹果系统上的黑体,挺好看的。注重颜值的网站都会使用,例如知乎:font-family: -apple-system, BlinkMacSystemFont, Helvetica Neue, PingFang SC, Microsoft YaHei, Source Han Sans SC, Noto Sans CJK SC, W..._ubuntu pingfang

html表单常见操作汇总_html表单的处理程序有那些-程序员宅基地

文章浏览阅读159次。表单表单概述表单标签表单域按钮控件demo表单标签表单标签基本语法结构<form action="处理数据程序的url地址“ method=”get|post“ name="表单名称”></form><!--action,当提交表单时,向何处发送表单中的数据,地址可以是相对地址也可以是绝对地址--><!--method将表单中的数据传送给服务器处理,get方式直接显示在url地址中,数据可以被缓存,且长度有限制;而post方式数据隐藏传输,_html表单的处理程序有那些

PHP设置谷歌验证器(Google Authenticator)实现操作二步验证_php otp 验证器-程序员宅基地

文章浏览阅读1.2k次。使用说明:开启Google的登陆二步验证(即Google Authenticator服务)后用户登陆时需要输入额外由手机客户端生成的一次性密码。实现Google Authenticator功能需要服务器端和客户端的支持。服务器端负责密钥的生成、验证一次性密码是否正确。客户端记录密钥后生成一次性密码。下载谷歌验证类库文件放到项目合适位置(我这边放在项目Vender下面)https://github.com/PHPGangsta/GoogleAuthenticatorPHP代码示例://引入谷_php otp 验证器

【Python】matplotlib.plot画图横坐标混乱及间隔处理_matplotlib更改横轴间距-程序员宅基地

文章浏览阅读4.3k次,点赞5次,收藏11次。matplotlib.plot画图横坐标混乱及间隔处理_matplotlib更改横轴间距

docker — 容器存储_docker 保存容器-程序员宅基地

文章浏览阅读2.2k次。①Storage driver 处理各镜像层及容器层的处理细节,实现了多层数据的堆叠,为用户 提供了多层数据合并后的统一视图②所有 Storage driver 都使用可堆叠图像层和写时复制(CoW)策略③docker info 命令可查看当系统上的 storage driver主要用于测试目的,不建议用于生成环境。_docker 保存容器

随便推点

网络拓扑结构_网络拓扑csdn-程序员宅基地

文章浏览阅读834次,点赞27次,收藏13次。网络拓扑结构是指计算机网络中各组件(如计算机、服务器、打印机、路由器、交换机等设备)及其连接线路在物理布局或逻辑构型上的排列形式。这种布局不仅描述了设备间的实际物理连接方式,也决定了数据在网络中流动的路径和方式。不同的网络拓扑结构影响着网络的性能、可靠性、可扩展性及管理维护的难易程度。_网络拓扑csdn

JS重写Date函数,兼容IOS系统_date.prototype 将所有 ios-程序员宅基地

文章浏览阅读1.8k次,点赞5次,收藏8次。IOS系统Date的坑要创建一个指定时间的new Date对象时,通常的做法是:new Date("2020-09-21 11:11:00")这行代码在 PC 端和安卓端都是正常的,而在 iOS 端则会提示 Invalid Date 无效日期。在IOS年月日中间的横岗许换成斜杠,也就是new Date("2020/09/21 11:11:00")通常为了兼容IOS的这个坑,需要做一些额外的特殊处理,笔者在开发的时候经常会忘了兼容IOS系统。所以就想试着重写Date函数,一劳永逸,避免每次ne_date.prototype 将所有 ios

如何将EXCEL表导入plsql数据库中-程序员宅基地

文章浏览阅读5.3k次。方法一:用PLSQL Developer工具。 1 在PLSQL Developer的sql window里输入select * from test for update; 2 按F8执行 3 打开锁, 再按一下加号. 鼠标点到第一列的列头,使全列成选中状态,然后粘贴,最后commit提交即可。(前提..._excel导入pl/sql

Git常用命令速查手册-程序员宅基地

文章浏览阅读83次。Git常用命令速查手册1、初始化仓库git init2、将文件添加到仓库git add 文件名 # 将工作区的某个文件添加到暂存区 git add -u # 添加所有被tracked文件中被修改或删除的文件信息到暂存区,不处理untracked的文件git add -A # 添加所有被tracked文件中被修改或删除的文件信息到暂存区,包括untracked的文件...

分享119个ASP.NET源码总有一个是你想要的_千博二手车源码v2023 build 1120-程序员宅基地

文章浏览阅读202次。分享119个ASP.NET源码总有一个是你想要的_千博二手车源码v2023 build 1120

【C++缺省函数】 空类默认产生的6个类成员函数_空类默认产生哪些类成员函数-程序员宅基地

文章浏览阅读1.8k次。版权声明:转载请注明出处 http://blog.csdn.net/irean_lau。目录(?)[+]1、缺省构造函数。2、缺省拷贝构造函数。3、 缺省析构函数。4、缺省赋值运算符。5、缺省取址运算符。6、 缺省取址运算符 const。[cpp] view plain copy_空类默认产生哪些类成员函数

推荐文章

热门文章

相关标签