当前位置:网站首页>牛客2022 暑期多校6 B Eezie and Pie(树上差分 + 倍增求第 kth 祖先板子)
牛客2022 暑期多校6 B Eezie and Pie(树上差分 + 倍增求第 kth 祖先板子)
2022-08-08 17:42:00 【Morgannr】



题意:
给定一棵树,要求输出 以 u 为 根的子树中,有多少个节点权值满足 大于等于 其到 根节点 u 的 距离,u ∈ 1 ~ n。
思路:
以一棵 根节点为 u 的子树 为例子,我们从 贡献 的角度来分析问题。
对于 子树中的某个节点(任意节点,包括 根),我们分析一下 它对根节点造成的贡献。(贡献 指的是 满足条件的节点个数)
- 首先,任意节点都会 使它自己的贡献加
1。 - 其次,假设 节点权值为
w[u],它会使得 其朝向根节点的路径u ~ v(路径长度为w[u])上 所有节点 的贡献都 加上一个1。
举个例子,以题中的样例为例子:节点 6 的权值为 3,那么它会使得 6 -> 4 -> 2 -> 1 这条路径上所有点贡献加 1。
首先我想的是 树链剖分,因为 树链剖分 可以 使树上的某一条路径转化为 logn 段连续区间,进而用 线段树 进行 区间修改操作,但是由于其 时间复杂度是 O(n(logn)^2) 级别,题设 范围是 2e6,显然是不被允许的。
那还有什么算法可以 对树上某条路径进行修改 呢,我们可以想到一个更优雅的做法,树上差分。
之前有提到过 一维数组的差分,可以 用 O(1) 的时间复杂度完成对一段区间加上某个数的操作,树上差分 也是类似。
具体做法:
- 树上差分标记,我们 在
dfs的过程中完成。 - 当向下 搜索到某个节点
u时,我们 令k等于 其权值w[u],前文已经提及,我们 目的是要将u ~ v这条长度为k的路径整体+ 1,那么转化为 差分操作,就是 在u节点mark[u] ++,在v的父节点mark[fa[v][0]] --(其中,v为u的 第k个祖先:v = get_fa(u, w[u])),即可完成。
(此处类比 一维数组差分 帮助理解:在 区间i ~ j上加上a,就应当 使差分数组c[i] += a,c[j + 1] -= a)
void dfs(int u, int father) {
int v = get_fa(u, w[u]);
mark[u]++, mark[fa[v][0]]--;
for (int i = h[u]; ~i; i = ne[i]) {
int j = e[i];
if (j == father) continue;
dfs(j, u);
}
}
- 如何求
u的 第k个祖先v,如果暴力的话,显然是会 超时 的,要 倍增 地找(下面这个板子很重要,用于 倍增地查找 节点x的 第kth祖先)。
int get_fa(int x, int k) {
for (int i = 21; i >= 0; --i)
{
if (k >= (1 << i)) //如果 k 满足这个条件就一直跳,直到跳到目的地为止
{
k -= (1 << i);
x = fa[x][i];
}
}
return x;
}
- 之后进行 第二遍
dfs1,用于 自下而上合并所有节点的差分数组mark[u],类比 将一维差分数组for一遍 前缀和 求 原数组。至此,我们就完成了 对树上路径的修改操作。
void dfs1(int u, int father) {
for (int i = h[u]; ~i; i = ne[i]) {
int j = e[i];
if (j == father) continue;
dfs1(j, u);
mark[u] += mark[j];
}
}
时间复杂度:
O ( n l o g n ) O(nlogn) O(nlogn)
代码:
#include <bits/stdc++.h>
using namespace std;
//#define map unordered_map
#define int long long
const int N = 2e6 + 10, M = N << 1;
int n;
int h[N], e[M], ne[M], w[N], idx;
int fa[N][22];
int depth[N];
int mark[N];
void add(int a, int b) {
e[idx] = b, ne[idx] = h[a], h[a] = idx++;
}
void bfs(int root)
{
queue<int> q; q.push(root);
while (q.size())
{
auto t = q.front(); q.pop();
for (int i = h[t]; ~i; i = ne[i])
{
int j = e[i];
if (depth[j] > depth[t] + 1)
{
depth[j] = depth[t] + 1;
fa[j][0] = t;
for (int k = 1; k <= 21; ++k)
{
fa[j][k] = fa[fa[j][k - 1]][k - 1];
}
q.push(j);
}
}
}
}
void init(int root) //经典的对 fa 数组预处理的操作
{
memset(depth, 0x3f, sizeof depth);
depth[0] = 0, depth[root] = 1;
bfs(root);
}
int get_fa(int x, int k) {
for (int i = 21; i >= 0; --i)
{
if (k >= (1 << i))
{
k -= (1 << i);
x = fa[x][i];
}
}
return x;
}
void dfs(int u, int father) {
int v = get_fa(u, w[u]);
mark[u]++, mark[fa[v][0]]--;
for (int i = h[u]; ~i; i = ne[i]) {
int j = e[i];
if (j == father) continue;
dfs(j, u);
}
}
void dfs1(int u, int father) {
for (int i = h[u]; ~i; i = ne[i]) {
int j = e[i];
if (j == father) continue;
dfs1(j, u);
mark[u] += mark[j];
}
}
signed main()
{
memset(h, -1, sizeof h);
cin >> n;
int t = n - 1;
while (t--)
{
int u, v; scanf("%lld%lld", &u, &v);
add(u, v), add(v, u);
}
for (int i = 1; i <= n; ++i) {
scanf("%lld", &w[i]);
}
init(1);
dfs(1, -1);
dfs1(1, -1);
for (int i = 1; i <= n; ++i) {
printf("%lld ", mark[i]);
}
return 0;
}
边栏推荐
猜你喜欢
随机推荐
记录贴:pytorch学习Part5
TCP协议详解
vlan同步—VTP通告
开源一夏 | 疫情期间闲来无事,我自制了一个按钮展示框特效来展示我的博客
arxiv国内镜像——快速下载
2.MySQL链接和创建数据库,创建数据表
并发与并行
【NodeJs篇】fs文件系统模块
差分信号简述
同态加密:正则嵌入、理想格和RLWE问题
L2-012 关于堆的判断 (25 分)(堆)
grpc服务发现&负载均衡
软件工程基础知识--认识软件工程
21天学习第二天-类型转换
How to set timed network disconnection to assist self-discipline in win10
The new version of squirrel as source change operation
章节小测一
The latest research from PNAS: 81% problem solving rate, neural network Codex opens the door to the world of advanced mathematics
MySQL中怎么对varchar类型排序问题
Qt——选择文件夹并获取路径以及文件夹下子文件









