倍增小结 ST 与 LCA
倍增
倍增我是真滴不会
倍增法(英语:binary lifting),顾名思义就是翻倍。
能够使线性的处理转化为对数级的处理,大大地优化时间复杂度。
(ps:上次学倍增LCA,没学会,老老实实为了严格次小生成树滚回来重新学)
RMQ_QWQ
\(n~log(n)~\)的预处理与\(O~(1)\)的查询
- 设\(f_{i,j}\)表示区间\([i,i+2^j - 1]\)的最大值
- 一开始\(f_{i,0}=a_i\) (\(2^0 -1 = 0\) \(f_{i,0}\)的区间为\([i,i]\))
- 转移方程 ;
\[f_{i,~j} = max(f_{i,~j-1}, f_{i+2^{j-1},~~j-1})
\]

感性理解一下
对于每次询问\([l,~r]\)
- \(r = l + 2^x- 1\)
- \(x = log_2~ (r - l + 1)\)
- \(ans = max(f_{l,~l + 2^x-1},f_{r - 2^x + 1,~r})\)(此处的表达不是很准确,其实表达应该为)
\[f(l,r) = max(f_{l,~l + 2^x-1},f_{r - 2^x + 1,~r})
\]将这个\(f(l,r)\)理解为一个函数,可能就不会有太大的歧义了
Q:这里为什么不能直接用\(f_{i,~x}\) 呢?
A:因为我们这里的\(log\)是向下取整的,可能会出现有一块取不到的部分
Q:那有重复的部分怎么办呐??
A:重复部分对答案的贡献有影响吗?
Q:貌似莫得影响
A:
\(ans = max(f_{l,~x}, f_{r - 2^x + 1,~x})\)
完事
注意点¶
输入输出数据一般很多,建议开启输入输出优化。
每次用 std::log 重新计算 log 函数值并不值得,建议进行如下的预处理:
\]
\]
第二个式子是这样推导出来的
~~~~~~~~~~~~~~~= log_2 + log_2\frac{x}{2}\\
~~~~~~~~~=1+log_2\frac{x}{2}
\]
code
#include <cmath>
#include <cstdio>
#include <cstring>
#include <iostream>
#include <string>
#define ll long long
using namespace std;
const int logn = 22;
const int N = 2000001;
int read() {
int s = 0, f = 0;
char ch = getchar();
while (!isdigit(ch))
f |= (ch == '-'), ch = getchar();
while (isdigit(ch))
s = s * 10 + (ch ^ 48), ch = getchar();
return f ? -s : s;
}
int Log[N];
int n ,m;
void pre() {
Log[1] = 0; Log[2] = 1;
for (int i = 3; i <= n; ++i)
Log[i] = Log[i / 2] + 1;
}
int f[N][25];
int main() {
n = read(), m = read();
for (int i = 1; i <= n; ++i) f[i][0] = read();
pre();
for (int j = 1; j <= logn; ++j)
for (int i = 1; i + (1 << j) - 1 <= n; i++)
f[i][j] = max(f[i][j - 1], f[i + (1 << (j - 1))][j - 1]);
for (int i = 1; i <= m; i++) {
int l = read(), r = read();
int log_x = Log[r - l + 1];
printf("%d\n", max(f[l][log_x], f[r - (1 << log_x) + 1][log_x]));
}
system("pause");
return 0;
}
倍增求LCA
- 核心的思想就是每次找祖先的时候多跳几个以保证时间复杂度的优秀
先说朴素的算法
可以每次找深度比较大的那个点,让它向上跳。显然在树上,这两个点最后一定会相遇,相遇的位置就是想要求的 LCA。 或者先向上调整深度较大的点,令他们深度相同,然后再共同向上跳转,最后也一定会相遇.(摘自OI Wiki)
精简版本:
就是从深度深的向上跳,到达同一深度后一起向上跳(学过树剖的都知道吧,艹估计没人跟我一样先学的树剖,然后回来学倍增)
倍增就很优秀了
- 本质是朴素算法的改进算法。通过预处理\(f\)数组,可以使指针快速的移动\(f_{x,i}\) 表示点\(x\)的第\(2^i\)个祖先。这个过程需要通过\(dfs\) 预处理出来。
dfs
void dfs(int x, int fa) {
dep[x] = dep[fa] + 1;
f[x][0] = fa;
for (int i = 1; (1 << i) <= dep[x]; i++)
f[x][i] = f[f[x][i - 1]][i - 1];
for (int i = head[x]; i; i = e[i].next) {
int to = e[i].to;
if (to != fa)
dfs(to, x);
}
}
这种是较为朴素倍增的求法,没有用\(log\)优化
加入log优化的(但好像没太大的常数优化)
Lo数组还是原来的求法
void dfs(int x, int fa) {
f[x][0] = fa;
dep[x] = dep[fa] + 1;
for (int i = 1; i <=Log[dep[x]]; ++i)
f[x][i] =f[f[x][i - 1]][i - 1];
for (int i = head[x]; i; i = e[i].net)
if (e[i].to != fa)
dfs(e[i].to, x);
}
有一说一,我不大喜欢这种优化的方法我最喜欢的还是树剖
- 裸的倍增LCA,这种写法确实好理解
#include <cstdio>
#include <iostream>
using namespace std;
const int N = 5e5 + 10;
struct tree {
int from, to, next;
} e[N << 1];
int nume, head[N];
void add_edge(int from, int to) {
e[++nume].from = from;
e[nume].to = to;
e[nume].next = head[from];
head[from] = nume;
}
int dep[N], f[N][21];
void dfs(int u, int fa) {
dep[u] = dep[fa] + 1;
f[u][0] = fa;
for (int i = 1; (1 << i) <= dep[u]; i++)
f[u][i] = f[f[u][i - 1]][i - 1];
for (int i = head[u]; i; i = e[i].next) {
int to = e[i].to;
if (to != fa)
dfs(to, u);
}
}
int lca(int x, int y) {
if (dep[x] > dep[y])
swap(x, y);
for (int i = 20; i >= 0; i--) {
if (dep[x] <= dep[y] - (1 << i))
y = f[y][i];
}
if (x == y)
return x;
for (int i = 20; i >= 0; i--) {
if (f[x][i] == f[y][i])
continue;
x = f[x][i], y = f[y][i];
}
return f[x][0];
}
int main() {
int n, m, s;
scanf("%d%d%d", &n, &m, &s);
for (int i = 1, x, y; i < n; i++) {
scanf("%d%d", &x, &y);
add_edge(x, y);
add_edge(y, x);
}
dfs(s, 0);
for (int i = 1, x, y; i <= m; i++) {
scanf("%d%d", &x, &y);
printf("%d\n", lca(x, y));
}
}
- 用\(Log\)的求法
#include <cmath>
#include <cstdio>
#include <cstring>
#include <iostream>
#include <string>
#define ll long long
using namespace std;
const int N = 5e5 + 10;
int read() {
int s = 0, f = 0;
char ch = getchar();
while (!isdigit(ch))
f |= (ch == '-'), ch = getchar();
while (isdigit(ch))
s = s * 10 + (ch ^ 48), ch = getchar();
return f ? -s : s;
}
struct Edge {
int from, to, net;
} e[N << 1];
int head[N], nume;
void add_edge(int from, int to) {
e[++nume].from = from, e[nume].to = to, e[nume].net = head[from],
head[from] = nume;
}
int f[N][25], Log[N], dep[N];
void dfs(int x, int fa) {
f[x][0] = fa, dep[x] = dep[fa] + 1;
for (int i = 1; i <= Log[dep[x]]; i++)
f[x][i] = f[f[x][i - 1]][i - 1];
for (int i = head[x]; i; i = e[i].net) {
int to = e[i].to;
if (to == fa)
continue;
dfs(to, x);
}
}
int lca(int x, int y) {
if (dep[x] < dep[y])
swap(x, y);
while (dep[x] > dep[y])
x = f[x][Log[dep[x] - dep[y]]];
if (x == y)
return x;
for (int i = Log[dep[x]] ; i >= 0; i--) {
if (f[x][i] != f[y][i])
x = f[x][i], y = f[y][i];
}
return f[x][0];
}
int main() {
int n = read(), m = read(), s = read();
for (int i = 1, u, v; i < n; i++) {
u = read(), v = read();
add_edge(u, v), add_edge(v, u);
}
Log[1] = 0;
for (int i = 2; i <= n; i++)
Log[i] = Log[i / 2] + 1;
dfs(s, 0);
for (int i = 1; i <= m; i++) {
int x = read(), y = read();
printf("%d\n", lca(x, y));
}
system("pause");
return 0;
}
嗷嗷嗷,有没有人喜欢树剖呢
#include <cstdio>
#include <iostream>
using namespace std;
const int N = 5e5 + 10;
int head[N], nume;
struct node {
int from, to, next;
} e[N << 1];
void add_edge(int from, int to) {
e[++nume].from = from;
e[nume].to = to;
e[nume].next = head[from];
head[from] = nume;
}
int fath[N], siz[N], dep[N], son[N];
void dfs(int x, int fa) {
siz[x] = 1;
fath[x] = fa, dep[x] = dep[fa] + 1;
for (int i = head[x]; i; i = e[i].next) {
int to = e[i].to;
if (to == fa)
continue;
dfs(to, x), siz[x] += siz[to];
if (siz[son[x]] < siz[to])
son[x] = to;
}
}
int dfn[N], pre[N], top[N], cnt;
void dfs2(int x, int tp) {
dfn[x] = ++cnt, pre[cnt] = x, top[x] = tp;
if (son[x])
dfs2(son[x], tp);
for (int i = head[x]; i; i = e[i].next) {
int to = e[i].to;
if (to == fath[x] || to == son[x])
continue;
dfs2(to, to);
}
}
int lca(int x, int y) {
while (top[x] != top[y]) {
if (dep[top[x]] < dep[top[y]])
y = fath[top[y]];
else
x = fath[top[x]];
}
if (dep[x] < dep[y])
swap(x, y);
return y;
}
int n, m, s;
int main() {
scanf("%d%d%d", &n, &m, &s);
int u, v;
for (int i = 1; i < n; i++) {
scanf("%d%d", &u, &v);
add_edge(u, v), add_edge(v, u);
}
dfs(s, 0), dfs2(s, s);
for (int i = 1; i <= m; i++) {
int x, y;
scanf("%d%d", &x, &y);
printf("%d\n", lca(x, y));
}
return 0;
}
倍增小结 ST 与 LCA的更多相关文章
- CF1039E Summer Oenothera Exhibition 贪心、根号分治、倍增、ST表
传送门 感谢这一篇博客的指导(Orzwxh) $PS$:默认数组下标为$1$到$N$ 首先很明显的贪心:每一次都选择尽可能长的区间 不妨设$d_i$表示在取当前$K$的情况下,左端点为$i$的所有满足 ...
- hdu6107 倍增法st表
发现lca的倍增解法和st表差不多..原理都是一样的 /* 整篇文章分成两部分,中间没有图片的部分,中间有图片的部分 分别用ST表求f1,f2表示以第i个单词开始,连续1<<j行能写多少单 ...
- 51Nod1766 树上的最远点对 ST表 LCA 线段树
原文链接https://www.cnblogs.com/zhouzhendong/p/51Nod1766.html 题目传送门 - 51Nod1766 题意 n个点被n-1条边连接成了一颗树,给出a~ ...
- hdu 2874 Connections between cities(st&rmq LCA)
Connections between cities Time Limit: 10000/5000 MS (Java/Others) Memory Limit: 32768/32768 K (J ...
- HDU2874【倍增、ST】
题目链接[https://vjudge.net/problem/HDU-2874] 题意: 输入一个森林,总节点不超过N(N<10000),由C次询问(C<1000000),每次询问两个点 ...
- 倍增 - 强制在线的LCA
LCA 描述 给一棵有根树,以及一些询问,每次询问树上的 2 个节点 A.B,求它们的最近公共祖先. !强制在线! 输入 第一行一个整数 N. 接下来 N 个数,第 i 个数 F i 表示 i 的父亲 ...
- CF1190E Tokitsukaze and Explosion 二分、贪心、倍增、ST表
传送门 最小值最大考虑二分答案,不难发现当最小值\(mid\)确定之后,原点到所有直线的距离一定都是\(mid\)时才是最优的,也就是说这些直线一定都是\(x^2+y^2=mid^2\)的切线. 接下 ...
- st表 LCA
我当时知道ST表可以 \(O(1)\) 求 LCA 的时候是极为震惊的,可以在需要反复使用 LCA 的时候卡常使用. ST表!用于解决 RMQ问题 ST表 我可能写得不好,看专业的 怎么实现? 考虑把 ...
- ST和LCA和无根树连接
#include <stdio.h> #include <iostream> #include <string.h> #include <algorithm& ...
随机推荐
- Promise是如何实现异步编程的?
Promise标准 不能免俗地贴个Promise标准链接Promises/A+.ES6的Promise有很多方法,包括Promise.all()/Promise.resolve()/Promise.r ...
- Springboot 添加druid监控
pom <dependency> <groupId>com.alibaba</groupId> <artifactId>druid</artifa ...
- web版文件管理系统 ——文件图标的获取
需求来源:公司需要一个文件的管理系统,方便管理公司文档以及互相传阅以及一些权限控制的便利,其中极小的一块功能点就是现实文件列表里面的图标获取,从网上找图标太麻烦,而且不现实,不可能用户每次上传文件等你 ...
- 每日一个linux命令3
Linux 中用pwd命令来查看"当前工作目录"的完整路径. 简单的说,每当你在终端进行操作时,你都会有一个当前工作目录,在不太确定当前位置时,就会使用pwd来判定当前目录在文件系 ...
- .NET 云原生架构师训练营(模块二 基础巩固 MongoDB API实现)--学习笔记
2.5.7 MongoDB -- API实现 问题查询单个实现 问题查询列表实现 问题跨集合查询实现 问题创建实现 问题更新实现 问题回答实现 问题评论实现 问题投票实现 回答实现 QuestionC ...
- Azure Databricks 第二篇:pyspark.sql 简介
pyspark中的DataFrame等价于Spark SQL中的一个关系表.在pyspark中,DataFrame由Column和Row构成. pyspark.sql.SparkSession:是Da ...
- 神经网络中的降维和升维方法 (tensorflow & pytorch)
大名鼎鼎的UNet和我们经常看到的编解码器模型,他们的模型都是先将数据下采样,也称为特征提取,然后再将下采样后的特征恢复回原来的维度.这个特征提取的过程我们称为"下采样",这个恢复 ...
- 接口的不同写法在Swagger上的不同
接口请求方法类型 (1) 如果接口没有指定请求的 method 类型,例如 GET.POST.PUT.DELETE 等. Swagger中 (2)指定了请求方法后 Swagger中就只有一个GET请求 ...
- 一个简单的字符串,为什么 Redis 要设计的如此特别
Redis 的 9 种数据类型 本文GitHub已收录:https://zhouwenxing.github.io/ Redis 中支持的数据类型到 5.0.5 版本,一共有 9 种.分别是: 1.B ...
- fatal error C1045: 编译器限制 : 链接规范嵌套太深
前言 我相信你是遇到了同样的问题.通过搜索引擎来到这里的.为了不耽误排查问题的时间,我提前说明一下这篇文章所描述的问题范畴: 我遇到的问题和 c++ 模板相关: 如果我减少传递的参数的话,是有可能避免 ...