2020 CCPC 威海 - G Caesar Cipher （线段树 + hash）

最新推荐文章于 2021-11-20 21:57:15 发布

原创

最新推荐文章于 2021-11-20 21:57:15 发布 · 860 阅读

本文介绍了一种结合线段树和Hash算法的数据结构解决方案，用于处理数组的区间修改及区间相似性查询问题。通过使用线段树维护Hash值，实现了高效地区间更新和判断两个区间元素是否完全相同的功能。

链接 : G Caesar Cipher

题意 :
给定一个数组，范围为 [0,65536),有以下两种操作：

给出 x , y 把 [x , y] 内的每个数 + 1 同时对 65536 取模。
给出 x,y,L , 查询区间 [x , x + L - 1] 和区间 [y , y + L - 1]是否完全相同。

思路：

思路就是线段树维护 hash ,有区间修改和查询判断两段 hash值是否相同就可以了。
首先考虑一下区间合并（也就是pushup）,线段树的每个节点表示这一段的 hash 值，在区间合并的操作时大区间的 hash 值就是左区间的 hash值 * base ^ len （len表示右区间的长度） + 右区间的 hash值。Hash[rt] = (Hash[rt << 1] * poww[r - mid] + Hash[rt << 1 | 1])
然后是区间更新，把这个区间的值全部 + 1， hash 的变化就是 base的前缀和，例如某一个区间的hash值为 $\sum_{i=0}^n$ a[i] * base ^ i （n 为区间长度 - 1），那如果现在把每个 a[i] 都 + 1 ，那hash值的变化就是 $\sum_{i=0}^n$ base ^ i , 这里用个前缀和记录一下，就可以很好的用 lazy维护。
查询操作和普通的查询不一样，因为在合并两个区间时 ,合并后的 hash 值不是两个 hash的简单相加（参考上面的pushup），也就是左区间的 hash值要先乘上 base ^ len(len为右区间长度) 再加右区间。
最后就要考虑一下溢出的问题了，如果在更新过程某个数 >= 65536 , 就要对 65536 取模了，直接在更新操作里判断=肯定不好写，所以我们在每次更新后都找一下有没有数大于 65536 ，这里怎么找呢，肯定不能暴力扫一遍。可以利用线段树进行一个类似二分的过程，维护一下每个区间的最大值，如果左区间最大值大于 65536 ，继续更新左区间，这样一直下去找到那个值为止，复杂度 log(n) ,不用担心超时。

代码：

#include<cstdio>
#include<iostream>
#include<algorithm>
#include<cstring>
#include<cmath>
#include<queue>
#include<map>
#include<stack>
#include<set>
#define iss ios::sync_with_stdio(false)
using namespace std;
typedef long long ll;
const int mod = 65536;
const int mod1 = 1e9 + 7;
const int mod2 = 998244353;
const int r = 31;
const int maxn = 2e6 + 7;
ll Hash[maxn],ma[maxn],la[maxn];
ll pre[maxn],poww[maxn];   // base 的幂次     前缀和
int a[maxn] ,n,q,x,y,op,L;
void pushup