【ZJOI2015】幻想乡战略游戏【点分树】【带权重心】

题意:nnn个点带边权的树,动态修改点权viv_ivi,最小化 钦定一个点xxx∑idist(x,i)∗vi\sum\limits_{i} dist(x,i)*v_iidist(x,i)vi的值。

n,q≤105n,q \leq10^5n,q105,度数不超过202020

限制度数的树上的一些诡异的操作,时限很长,多半是点分树。

也叫动态点分治,但实际上并不是动态的点分治并且有一定误导性,所以以后都叫点分树。

点分树是对一个树点分治后的结构建出的树,即在点分治时将下一层的重心的父亲设为当前的分治中心。

它具有以下常用的性质:

  1. 原树与点分树 一个相同的点uuu的儿子vvv为根的子树 一一对应。
  2. 点分树上两个点的lcalcalca 在原树上这两个点的路径上。
  3. 树高O(log⁡n)O(\log n)O(logn)

本质上是对树建出的线段树

在本题中详细讲解。

首先本题实际上求的是带权重心

有个结论:

设当前点是uuu,如果vvvuuu更优

那么有

len(u,v)∗(n−sumv−sumv)<0len(u,v)*(n-sum_v-sum_v)<0len(u,v)(nsumvsumv)<0

其中sumsumsum表示子树点权和

2sumv>n2sum_v>n2sumv>n

然后继续往下走

不难看出对于一个uuu,这样的vvv最多只有111个,所以答案一定在满足条件的vvv的子树内。如果没有这样的vvv说明uuu是带权重心。

这样是O(n)O(n)O(n)的,考虑搬到点分树上

从点分树的根开始往下走

设当前在uuu,我们找到点分树上uuu的一个儿子vvv

注意之前的结论只能往原树上相邻的点走,所以你不能直接用这个结论判断vvv

但是如果我们设uuuvvv在点分树上的子树 的这个方向走一步 到达的点是www

即:

在这里插入图片描述
(红色为点分树)

因为www在原树上的子树 等于 vvv在点分树上的子树

我们想判断答案是否在 vvv在点分树上的子树内,可以转换为是否在 www在原树上的子树内

然而如果你判2∗sumv>sumrt2*sum_v>sum_{rt}2sumv>sumrt,会发现你还是WA了

原因是你钦定uuu为根之后,这棵树的形态已经确定了

你在点分树上一直往下走,实际上原树上仍然在乱跳

人话:只有第一层的www(原树)和vvv(点分树)的子树一样,后面的点分树上的子树在原树上甚至可能不是子树。

但是上面已经证明过最多只有一个vvv

我们可以直接算出uuu在原树上的每个儿子的答案和根结点比较,如果有一个www比根结点优,因为只有一个,说明答案在 www在原树上的子树(或vvv在点分树上的子树)内。

然后想象把这条边断开,化归到从vvv开始的子问题。

也就是说uuuvvv并没有实质关联,只是从重心开始方便处理而已。

现在考虑如何计算一个点的答案

维护ansuans_uansu表示以faufa_ufau为根时,uuu在点分树上的子树中的点到faufa_ufau的帯权距离(距离*点权)之和,fafafa为在点分树上的父结点。

询问点xxx的答案时,先加入点分树上子结点的所有ansansans,然后在点分树上往上跳,把兄弟结点的子树中的所有点权挪到父亲上,再一起挪到xxx。因为树高O(log⁡n)O(\log n)O(logn),可以保证复杂度。详见代码。

修改的时候暴力跳父亲修改sumsumsumansansans就可以了。

#include <iostream>
#include <cstdio>
#include <cstring>
#include <cctype>
#include <vector>
#include <cassert>
#define MAXN 100005
#define MAXM 200005
using namespace std;
typedef long long ll;
inline int read()
{int ans=0,f=1;char c=getchar();while (!isdigit(c)) (c=='-')&&(f=-1),c=getchar();while (isdigit(c)) ans=(ans<<3)+(ans<<1)+(c^48),c=getchar();return f*ans;
}
struct edge{int u,v,w;}e[MAXM];
int head[MAXN],nxt[MAXM],cnt;
void addnode(int u,int v,int w)
{e[++cnt]=(edge){u,v,w};nxt[cnt]=head[u];head[u]=cnt;
}
int dis[MAXN],pos[MAXN],dfn[MAXM],up[MAXN],tim;
void dfs(int u)
{dfn[pos[u]=++tim]=u;for (int i=head[u];i;i=nxt[i])if (!pos[e[i].v]){dis[e[i].v]=dis[u]+e[i].w;up[e[i].v]=u;dfs(e[i].v);dfn[++tim]=u;}
}
int LOG[MAXM],st[20][MAXM];
inline int Min(const int& x,const int& y){return pos[x]<pos[y]? x:y;}
inline void init()
{LOG[0]=-1;for (int i=1;i<MAXM;i++) LOG[i]=LOG[i>>1]+1;for (int i=1;i<=tim;i++) st[0][i]=dfn[i];for (int i=1;i<20;i++)for (int j=1;j+(1<<(i-1))<=tim;j++)st[i][j]=Min(st[i-1][j],st[i-1][j+(1<<(i-1))]);
}
inline int lca(const int& x,const int& y)
{int l=pos[x],r=pos[y];if (l>r) swap(l,r);int t=LOG[r-l+1];return Min(st[t][l],st[t][r-(1<<t)+1]);
}
inline int dist(const int& x,const int& y){return dis[x]+dis[y]-2*dis[lca(x,y)];}
int rt;
int siz[MAXN],maxp[MAXN]={0x7fffffff};
bool cut[MAXN];
void findrt(int u,int f,int sum)
{siz[u]=1,maxp[u]=0;for (int i=head[u];i;i=nxt[i])if (e[i].v!=f&&!cut[e[i].v]){findrt(e[i].v,u,sum);siz[u]+=siz[e[i].v],maxp[u]=max(maxp[u],siz[e[i].v]);}if (sum-siz[u]>maxp[u]) maxp[u]=sum-siz[u];if (maxp[u]<maxp[rt]) rt=u;
}
int getsiz(int u,int f)
{int ans=1;for (int i=head[u];i;i=nxt[i])if (e[i].v!=f&&!cut[e[i].v])ans+=getsiz(e[i].v,u);return ans;
}
int d[MAXN],sum[MAXN];
ll ans[MAXN];
int fa[MAXN];
vector<int> son[MAXN],top[MAXN];
void build()
{int u=rt;cut[u]=true;for (int i=head[u];i;i=nxt[i])if (!cut[e[i].v]){rt=0;findrt(e[i].v,0,getsiz(e[i].v,0));son[u].push_back(rt),top[u].push_back(e[i].v),fa[rt]=u;build();}
}
bool vis[MAXN];
void DFS(int u)
{assert(!vis[u]);vis[u]=true;for (int i=0;i<(int)son[u].size();i++)DFS(son[u][i]);
}
inline void modify(int x,int v)
{int u=x;for (;fa[x];x=fa[x]) sum[x]+=v,ans[x]+=(ll)dist(fa[x],u)*v;sum[x]+=v;
}
inline ll calc(int x)
{ll res=0;for (int i=0;i<(int)son[x].size();i++)res+=ans[son[x][i]];for (int u=fa[x],v=x;u;v=u,u=fa[u]){int tot=d[u];for (int i=0;i<(int)son[u].size();i++)if (son[u][i]!=v)res+=ans[son[u][i]],tot+=sum[son[u][i]];res+=(ll)tot*dist(u,x);		}return res;
}
inline ll query(int x)
{ll v=calc(x);for (int i=0;i<(int)son[x].size();i++)if (calc(top[x][i])<v)return query(son[x][i]);return v;
}
int main()
{int n,q;n=read(),q=read();for (int i=1;i<n;i++){int u,v,w;u=read(),v=read(),w=read();addnode(u,v,w),addnode(v,u,w);}dfs(1);init();int Rt;findrt(1,0,n),Rt=rt,build();while (q--){int x,v;x=read(),v=read();d[x]+=v,modify(x,v);printf("%lld\n",query(Rt));}return 0;
}

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/315070.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

P4559 [JSOI2018]列队 主席树

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 给你nnn个学生以及其位置&#xff0c;mmm个询问&#xff0c;每次询问[l,r][l,r][l,r]的学生跑到[k,kr−l][k,kr-l][k,kr−l]的位置的最小总的移动距离。当然不同的学生不能站在同一位置。 n,m≤5e5,1≤ai,k≤…

C# 8.x 先睹为快

尽管 C# 8.0 还需要几个月的时间才能发布&#xff0c;但是 C# 8.x 的特性计划已经开始了。该计划中的特性有一些是新提出的&#xff0c;而另外一些则是之前在 C# 8 中考虑过的。和往常一样&#xff0c;这个特性列表仍可能会发生变化。如之前的一个报告所讨论的那样&#xff0c;…

【WC2014】紫荆花之恋【替罪羊思想】【动态点分树】【替罪羊树】

传送门 题意&#xff1a;有一棵开始时没有结点的树&#xff0c;nnn次询问&#xff0c;每次新加一点并给定父结点、到父亲的距离、参数rir_iri​,并询问满足dist(u,v)≤rurvdist(u,v)\leq r_ur_vdist(u,v)≤ru​rv​的点对(u,v)(u,v)(u,v)的对数。 n≤105n\leq 10^5n≤105&…

NuGet是什么?理解与使用

如果你了解python&#xff0c;那么它类似pip。如果你了解nodejs&#xff0c;那么它类似npm。如果你了解ruby&#xff0c;那么它类似gem。对&#xff0c;它就是一个包&#xff08;package&#xff09;管理平台&#xff0c;确切的说是 .net平台的包管理工具&#xff0c;它提供了一…

P2468 [SDOI2010]粟粟的书架 主席树 + 二分 + 二维前缀和

传送门 文章目录题意&#xff1a;题意&#xff1a;题意&#xff1a; 给你一个n∗mn*mn∗m的矩阵&#xff0c;每次询问一个矩形&#xff0c;左上角是(x1,y1)(x_1,y_1)(x1​,y1​)&#xff0c;右上角是(x2,y2)(x_2,y_2)(x2​,y2​)&#xff0c;和一个hhh&#xff0c;问是否能选出…

带花树学习笔记

引入 带花树解决的是一般图的最大匹配问题。 学习此算法前你需要掌握二分图匹配的匈牙利算法&#xff0c;至少需要知道它的思想。 理论 众所周知&#xff0c;二分图匹配的思想是不断地找增广路。 严谨地讲&#xff0c;是找到了一条简单路径&#xff0c;它的起点和终点都未…

你竟然没用 Nuget 构建项目?

想写这篇文章缘起于公众号文章里的一条留言&#xff1a;对于一个现代化的开发平台&#xff0c;建立一种让开发者创建&#xff0c;分享与使用可复用代码的机制是十分必要的。这种“可复用代码”被打包后的文件通常被称作“包”&#xff08;package&#xff09;&#xff0c;对于.…

Codeforces Round #339 (Div. 1) D. Kingdom and its Cities 虚树 + dp

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; n≤1e5,∑k≤1e5,q≤1e5n\le1e5,\sum k\le1e5,q\le1e5n≤1e5,∑k≤1e5,q≤1e5。 思路&#xff1a; 经过分析&#xff0c;外敌占领的城市只有可能是两点的lcalcalca或者两点之间任意一点&#xff0c;是哪个点…

小白开学Asp.Net Core《四》 —— 使用AspectCore-Framework

小白开学Asp.Net Core《四》—— 使用AspectCore-Framework一、AspectCore-Framework说AspectCore-Framework不得不先谈谈的AOP&#xff0c;AOP&#xff1a;在软件业&#xff0c;AOP为Aspect Oriented Programming的缩写&#xff0c;意为&#xff1a;面向切面编程&#xff0c;通…

【WC2016】挑战NPC 【带花树】【建图】

传送门 题意&#xff1a;有nnn个球和mmm个筐&#xff0c;每个筐最多放333个球&#xff0c;每个球只能放入特定的一些筐中&#xff0c;在题中给出。构造一种放球的方案使得nnn个球都被放在某个筐中且 球的个数不超过111 的筐的数量尽量大。 m≤100,n≤3mm\leq 100,n\leq 3mm≤1…

P4103 [HEOI2014]大工程 虚树 + dp

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 思路&#xff1a; 简化一下题意就是求树上给定点集中每两个点之间的距离之和&#xff0c;相距最远的点&#xff0c;相距最近的点。 对于距离和我们统计一下边的贡献就好啦&#xff0c;边两头的sizesizesize乘…

【翻译】Keras.NET简介 - 高级神经网络API in C#

用C#&#xff0c;远离996Keras.NETKeras.NET是一个高级神经网络API&#xff0c;它使用C#编写&#xff0c;并带有Python绑定&#xff0c;可以在Tensorflow、CNTK或Theano上运行。其关注点是实现快速实验。因为做好研究的关键是&#xff1a;能在尽可能短的时间内从一个想法发展出…

TIOBE 6月排行:C# 以微弱的优势超过了 Visual Basic .NET 的排名,再次进入 TOP 5

月经贴警告……TIOBE 编程语言排行榜 7 月更新已公布&#xff0c;排名前十的分别是&#xff1a;Java, C, Python, C, C#, Visual Basic .NET, JavaScript, PHP, SQL 和汇编语言。和上个月的不同之处主要是 C# 以微弱的优势超过了 Visual Basic .NET 的排名&#xff0c;再次进入…

ETT学习笔记

ETT&#xff08;Eular Tour Tree&#xff09;是一种维护有根树的数据结构&#xff0c;支持以下操作 修改一个点的点权子树修改单点查询点到根路径查询修改一个点的父亲 据说可以支持换根&#xff0c;但用的不多而且据说很难写&#xff0c;所以似乎失传了&#xff08; 其实没…

Codeforces Round #635 (Div. 2) D. Xenia and Colorful Gems 暴力 + 二分

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 给你三个数组a,b,ca,b,ca,b,c&#xff0c;让你从每个数组中选择一个数x,y,zx,y,zx,y,z&#xff0c;使得(x−y)2(x−z)2(y−z)2(x-y)^2(x-z)^2(y-z)^2(x−y)2(x−z)2(y−z)2最小&#xff0c;求这个最小值。 …

用.NET Core实现一个类似于饿了吗的简易拆红包功能

需求说明以前很讨厌点外卖的我&#xff0c;最近中午经常点外卖&#xff0c;因为确实很方便&#xff0c;提前点好餐&#xff0c;算准时间&#xff0c;就可以在下班的时候吃上饭&#xff0c;然后省下的那些时间就可以在中午的时候多休息一下了。点餐结束后&#xff0c;会有一个好…

【POI2011】LIZ-Lollipop 【构造】

传送门 题意&#xff1a;给一个长度为nnn的只有111和222的序列&#xff0c;多次询问给定xxx构造或判断无法构造一个区间和为xxx 注意到111和222实质上是改不改变奇偶性&#xff0c;所以往这上面考虑 我们发现如果一个区间[L,R][L,R][L,R]和为x(x>2)x(x>2)x(x>2),我…

kubernetes实战篇之helm示例yaml文件文件详细介绍

前面完整示例里,我们主要讲解helm打包,部署,升级,回退等功能,关于这里面的文件只是简单介绍,这一节我们详细介绍一下这里面的文件,以方便我们参照创建自己的helm chart.Helm Chart 结构Chart 目录结构mychart/ Chart.yaml LICENSE README.md values.yaml requirements.yam…

P4309 [TJOI2013]最长上升子序列 平衡树 + dp

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 思路&#xff1a; 注意到一个很关键的条件&#xff0c;每次插入iii&#xff0c;而iii是递增的&#xff0c;也就是说插入iii之后只会从前面的最大值转移过来&#xff0c;所以我们现在只需要维护插入操作即可&…

【AGC035C】Skolem XOR Tree【异或】【构造】

传送门 题意&#xff1a;给定nnn&#xff0c;构造或判断无法构造一个2n2n2n个结点的树&#xff0c;其中结点iii和ininin的权值为iii,且所有iii和ininin路径权值异或和等于iii。 注意到 2i⊕2i112i\oplus2i112i⊕2i11&#xff0c;然后可以脑补出 然而111没处理 发现1⊕2⊕301\…