|
|
Pro264 数列操作A 题解前置芝士:CDQ分治(当然不会也无所谓,我会尽量讲明白的ヾ(◍°∇°◍)ノ゙)
看别人代码都是花里胡哨的线段树,树状数组,还有丧心病狂的平衡树。 好像没几个用 CDQ分治 写的 这道题本质上就是 CDQ分治(或者说二维偏序) 的模板题 将题目最开始的输入 $a_i$ 看做是对第 $i$ 个位置上增加了 $a_i$ 查询操作根据前缀和,将询问拆成 $s-1,t$ 两个查询操作 第一个记录为-,第二个为+ 题目中有两个维度:时间T 和 位置x 对于两个操作:修改操作 $i$,查询操作 $j$,当且仅当 $T_i \le T_j$ 并且 $x_i \le x_j$ 时,$i$ 对 $j$有影响 (之前这个地方有疑惑,现在大概明白了,这样是正确的,感谢赵老师解答) 时间T 已经默认排好序了,就剩 位置x 需要处理一下了,并且要求处理的过程中不能破坏 时间T 的顺序性 CDQ分治 闪亮登场 它的操作主要由本篇代码中的 solve 函数完成 solve(l,r) 分为三步: solve(l,mid) solve(mid+1,r) 以及处理 $[l,mid]$ 对 $[mid+1,r]$ 的影响 要注意的是,这里的处理必须比较容易进行(比如加法,减法,取min,取max等) 这个算法的正确性在蓝书上和网上都有证明,此处略。 对我而言,CDQ分治 最难的其实是理解 以这个题目为例,我们要计算的是满足 $T_i \le T_j$ 并且 $x_i \le x_j$ 的二元组 (i,j) 产生的影响。 正如上面所言,时间T 不能被打乱,还要计算 $x_i \le x_j$ 而 CDQ分治 处理这个问题的方法,大多可以在证明中理解。 $\forall k \in [mid+1,r]$,$[mid+1,k-1]$ 这一段产生的影响已经在递归中计算过了。 主要看的就是 $[l,mid]$ 这一段。 可以发现,不管 $[l,mid]$ 这一段怎样交换,改变,这里面的元素在现在的 solve(l,r) 中始终处于 $[l,mid]$ 这一段。 而这意味着什么呢? 也许 $[l,mid]$ 这一段的内部 时间T 是混乱的,但是并不影响这一段中任何一个操作对 $[mid+1,r]$ 的影响!!! 那么,我们可以在 solve 函数结束,各种乱七八糟的影响计算完毕后,把 $[l,r]$ 中的操作序列调整成我们想要的样子。 比如在这个题目里,solve 函数中,我们按照归并排序的方式,将 $[l,mid]$ 和 $[mid+1,r]$ 以 $x$ 为关键字排序 (这里有点像归并排序求逆序对,结合代码理解,或者先去看看这道题) 然后就不难理解了叭(*^▽^*) //CDQ分治第一弹[
//STO CDQ
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <cctype>
using namespace std;
const int maxn = 5e5 + 5;
struct query {
int op,id,x,y;//id:若当前操作为询问,则为询问的编号
//op:1为修改,2为负查询,3为正查询
//x,y:操作的点和要增加的量
query() {
op = id = x = y = 0;
}
query(int op,int id,int x,int y):op(op),id(id),x(x),y(y){}
}Q[maxn],b[maxn];//b数组:辅助进行归并排序
int n,m,cnt,tot,ans[maxn];
int read() {
int s = 0,f = 1;
char c = getchar();
for(;!isdigit(c);c = getchar()) {
if(c == '-')f = -1;
}
for(;isdigit(c);c = getchar())s = (s << 1) + (s << 3) + (c ^ '0');
return s * f;
}
void write(int x) {
if(x > 9)write(x / 10);
putchar(x % 10 + '0');
return ;
}
void print(int x) {
write(x);
putchar('\n');
return ;
}//快读快写
//个人对于CDQ分治的理解:
//主要是解决偏序问题,当然这些偏序不都是裸的类似逆序对这样的
//对于答案的修改可能更加繁琐一点
//但是核心思想都是用CDQ分治解决偏序
//1:solve(l,mid),2:solve(mid+1,r)和3:(l,mid)对(mid+1,r)的影响这三块
//需要根据题目的要求自行决定顺序
//不恰当的栗子:DP
//DP时后半部分的计算直接由前半部分的影响决定
//这时就要1,3,2这样处理
//而对于本题,处理需要两个区间都有序,所以要先递归 ,即1,2,3
void solve(int l,int r) {
if(l >= r)return ;
int mid = l + r >> 1;
solve(l , mid);
solve(mid + 1 , r);
//此处先递归是因为CDQ分治解决偏序类似归并排序
//需要两个区间都是有序的才能进行进一步的处理
int i = l,j = mid + 1,sum = 0;//Mergesort part
//sum用来统计[l,mid]的修改对[mid + 1,r]的影响
for(int k = l;k <= r;++ k) {
if(j > r||(i <= mid&&Q[i].x <= Q[j].x)) {
//此时当前的i对于[j,r]区间都有影响
//记录在sum里,当查找到一个i,使得i无法对于j产生影响
//那么再统计前面所有的i对当前j的影响
//写的不太明白,可以结合下面else部分中的代码理解
if(Q[i].op == 1) {
sum += Q[i].y;
}
b[k] = Q[i ++];
}
else {
if(Q[j].op == 2) {
ans[Q[j].id] -= sum;
}
else ans[Q[j].id] += sum;
//若当前询问是-操作,那么ans[Q[j].id]减去sum值(也就是前半部分的影响)
//若为+操作,则刚好相反
b[k] = Q[j ++];
}
}
for(int k = l;k <= r;++ k) {
Q[k] = b[k];//归并排序的合并部分
//为了保证当前递归的上一层可以快速进行,需要让Q[l~r]有序
//结合函数开头理解
}
return ;
}
int main() {
freopen("shulie.in","r",stdin);
freopen("shulie.out","w",stdout);
n = read();
for(int i = 1;i <= n;++ i) {
int x = read();
Q[++ cnt] = query(1 , 0 , i , x);
}
m = read();
for(int i = 1;i <= m;++ i) {
char c[10];
scanf("%s",c + 1);
int x = read(),y = read();
if(c[1] == 'A') {
Q[++ cnt] = query(1 , 0 , x , y);
}
else {
Q[++ cnt] = query(2 , ++ tot , x - 1 , 0);
Q[++ cnt] = query(3 , tot , y , 0);
}
}
solve(1 , cnt);
for(int i = 1;i <= tot;++ i)print(ans[i]);
fclose(stdin);
fclose(stdout);
return 0;
}
题目264 数列操作A
AAAAAAAAAAAAAAA
23
2 条 评论
2021-11-25 21:59:06
|