这几年考了好几次树上问题:
NOIP2012 疫情控制(二分答案+倍增+贪心)
NOIP2013 货车运输(最大生成树+倍增)
NOIP2014 联合权值(勉强算作树形dp的傻逼题)
NOIP2015 运输计划(二分答案+树上差分+最近公共祖先)
NOIP2016 天天爱跑步(树上差分+树上倍增)
可以说除了联合权值外都有一定的难度,(关键是我不抄题解一道也做不出来)
去年没考树上的问题所以我感觉今年要考
树
树是一种极其优美的结构,树上两点之间有且仅有一条路径。
在近年来oi中常出现关于树的题目。
树的直径
树的直径就是树中最长的一条路径,处理方法有树形dp和两遍dfs或bfs
需要注意的是在存在负边权的树中只能用树形dp来求直径
1.巡逻
一道画画图就能搞出来的题。。。
首先我们应该想想他让我们修路有什么用。你随便画一棵树就很容易发现,要想从一个点出发经过所有点一遍再回来,每条边是要经过两次的。而我们修路就是为了让其中一些边只走一次。
$K=1$:显然我们随意连一条边会形成一个环,环上的边我们只用经过一次。这样我们最大化环的的长度就行,也就是找到树的直径。
$K=2$:首先我们肯定还是连直径。但是第二条边怎么连?显然我们还可以找次长链出来。但如果两条链有重叠怎么办?
我们可以把第一条链在算完长度后将所有边权赋成-1,这样就不会算重了。设两次选的边长度分别为$l1$,$l2$,那么答案就是$2*n-l1-l2$。
2.消防
首先我们应该想到这条路径一定在树的直径上。这里给出证明:
设直径的长度为$d$,那么直径外的边长度一定小于等于$d/2$(否则该路径会与直径的一部分构成一条比直径还长的路径)
若该路径不在直径上,则直径的最远点到该路径的距离至少为$d/2$
而如果在直径上,一定存在一段路径使得树上所有点的距离到它不超过$d/2$
所以选在直径上一定是优的,而且在符合题目要求的情况下越长越好。
那么如果我们确定里直径,我们可以$O(n)$求出直径上每个点到最远点的距离,然后左右指针扫直径,单调队列维护区间最小值即可。
3.直径
求直径的长和直径并的数量。
直径当然好求,而直径并,一定是在一条直径上。
所以我们可以先求出一条最长链。而所有直径的并一定是最长链上连续的一段。
证明很简单:如果中间有分开而最后又和在一起,显然会形成一个环。
然后我们对于最长链上的每个点,dfs求出其子树中距离最远的点,若两点之间的距离等于该点到直径一个端点的距离,那么显然这个点到端点之间这一段就不能用来统计答案了,将它们从答案中删除即可。
然后我们可以正着做一遍这个操作,反向再做一遍,中间没被删除部分即为直径的并
树上管理问题
树上的每个点能管理相邻一片区域,求最少几个点能管理整棵树。
一般考虑从下往上贪心。
1.救火站Gas
又是树上管理类的问题,我们当然考虑贪心。这个题算是消防站的设立那道题的加强版。
很显然的一种做法是对于一个点,我们要找一个深度最小的点来覆盖它。
然后看这个数据范围$k<=20$,我们可以想到把他当成状态放进数组里
设$need[i][j]$为以$i$为子树的$j$级子孙有几个未覆盖,$left[i][j]$为以$i$为子树的$j$级子孙有几个多出来控制的没使用
显然当$need[i][j]$中$j=k$时,我们就必须放消防站来管理了
然后我们还可以用$left$来抵消$need$
2.消防局的设立
有一种很显然的贪心测略:对于当前深度最大的点,我们选他的爷爷点一定是最优的。
对于最深的点我们选离他最远但是能管理到他的祖先即可。
树上倍增&&树上差分
这几年考过好几次树上倍增,有两次都是和树上差分结合在一起的。利用树上倍增求出两点的$LCA$,然后两点$(u,v)$之间边的信息往往可以转化为$(u->root)+(v->root)-2*(LCA->root)$,点的信息可以转化为$(u->root)+(v->root)-LCA->root-fa_LCA->root$。
1.天天爱跑步
对于每一条链,我们根据套路把他拆成$(u->root)+(v->root)-LCA->root-fa_LCA->root$
然后我们发现$(u->root)$和$(v->root)$要分别处理(因为一个往上走一个往下走)
设观察员$y$出现的时间为$w_y$
那么$x$向上跑要想被观察员看见,就要满足等式$deep_x-w_y=deep_y$,移项得到$deep_x=deep_y+w_y$,换句话说,$y$子树内只有满足$deep_x=deep_y+w_y$的点会对$y$产生贡献
当$x$向下跑想被$y$看见,我们可以设$x$的时间为$ed_x$,根据刚才的套路,我们发现子树内只有满足$deep_x-ed_x=deep_y-ed_y$的点会对$y$产生贡献
用一个桶dfs一遍即可求出答案,是不是越想越简单了。。
2.运输计划
根据套路最大值最小的问题我们考虑二分,假设我们二分出来的答案为$mid$,那么我们显然要把大于$mid$的所有计划减去同一条边,且这条边在大于$mid$的计划的路径并上
我们差分一下求出每个计划对路径的覆盖,只有覆盖数目等于大于$mid$的计划的边可以考虑被减去
对这些可以减去的边取一个最大值然后判断即可
以前感觉这道题很神仙,其实仔细一分析每一步都是套路
3.疫情控制
仔细分析题目,好像还是最大值最小啊,当然是考虑二分咯。显然我们在军队没跳到首都之下的儿子上时,一直往上跳是最优的
但调到首都儿子上时,我们发现一个问题,如果接着往上跳,很可能在这个点重新需要控制的时候就跳不回来了,那还不如不跳
所以我们把所有调到首都后能返回他上一个儿子的点全部跳到首都,对于子树内的所有叶子已经被覆盖的军队当然也跳到首都,因为再留在这个点已经没有意义了
然后我们在首都枚举所有的叶子,如果还没被覆盖,就从首都派遣军队进行覆盖,如果所有军队都到不了叶子的祖宗,自然二分的答案不合法