CSUOJ nineteen thirteen One big silly dragon gives gifts out 线段树 二分 转化

线段树 二分 转化"/>

CSUOJ nineteen thirteen One big silly dragon gives gifts out 线段树 二分 转化

标题含有敏感词，莫名被锁了2次。OTZ，用英文总该没事

Description

这天一条大笨龙（菜比出题人dota2游戏名称）的好朋友高素质玩家（某素质玩家dota2游戏名称）天天被朋友黑，一条大笨龙觉得太可怜了，一条大笨龙准备送点礼物给他作为安慰。一条大笨龙现在有一个长度为n的整数序列。
然而他的这个好朋友非常喜欢鸽子，他有想对这个序列进行某种变形操作（第一类操作），给出一些区间[l,r]，要求把区间[l, r]的数字变成飞翔的鸽子的翅膀形状（如下图）(注：可能会没有图，源地址为 点击打开链接 ，而且图上有一个错误，就是2和3应该交换位置)，进行重新排列。

即是说将数字从大到小依次放在鸽子的左右翅膀上面，然后形成一个新的序列。
不仅如此，由于这个朋友还是一个善变的人，在进行上述操作的过程中也可能进行另外一种操作（第二类操作），给出一个数p，将序列变回p个第一类操作之前的状态。两种操作总共进行m次后，他只挑走这个序列的第k个数给拿走当作自己的礼物。
一条大笨龙想知道最后被拿走的这个数的值是多少。

Input

第1行：n ，m，k (1<=n,m,k<=5e4)
第2行：n个数，每个数a[i]，表示初始序列
1<=a[i]<=2e5
第3~m+2行：
如果是第一类操作，有三个数：1 L R ，表示对区间[L,R]进行上述操作
否则是第二类操作，有两个数：2 p ，撤销最近的p个第一类操作，如果p比第一类操作数的数量还大，那么将序列恢复成最原始的状态。
上述操作中
1<=L<=R<=n
1<=p<=m

Output

一个数，被拿走的值

Sample Input

8 10 4

15 4 12 3 14 145 2

2 4

1 4 5

1 6 6

2 1

1 5 8

1 4 5

1 1 3

1 1 7

1 3 8

2 1

Sample Output

2

不知道做。

正确的做法是线段树，然后考虑怎么转化这个操作。

首先把所有的操作用一个vector存起来，存的过程中顺便把2号操作给实现掉，剩下的就是真正需要做的操作

然后二分最后的答案ans，将数组里大于ans的数设置为1，小于ans的数设置为0，线段树里维护的就是这样一个01数组，然后对于这个01数组就可以很好的进行1号操作了。

比如，考虑在区间L~R上进行1号操作，首先求出L~R的区间和sum，然后把区间左边的sum/2位设置为1(假若sum是奇数，则应该是sum/2+1)，右边的sum/2位设置为1，中间的位设置为0。这样，这个操作就变成了3个区间赋值的操作。

最后query第k的数，假若第k位是0，则代表真正的答案Tans<=ans，否则Tans>ans

可以仔细理解一下，第一次做线段树+二分的题目

#include <iostream>
#include <cstring>
#include <algorithm>
#include <vector>
#define mid ((le+ri)>>1)
#define lson (node<<1)
#define rson (node<<1|1)
#define lc lson,le,mid
#define rc rson,mid+1,ri
#define sc node,le,riusing namespace std;
typedef pair<int,int> pa;
const int maxm=5E4+10;int arr[maxm],k,st[maxm*5],x,y,val,lazy[maxm*5],n,m,query(int node=1,int le=1,int ri=n);
void init(int node=1,int le=1,int ri=n),update(int node=1,int le=1,int ri=n),pushdown(int node,int le,int ri),pushup(int node);
vector<pa> v;
bool judge(int mi);int main(){ios_base::sync_with_stdio(0);while(cin>>n>>m>>k){for(int i=1;i<=n;++i)cin>>arr[i];for(int ord;m;--m){cin>>ord;if(ord-1){cin>>val;while(!v.empty()&&val--)v.pop_back();}else{cin>>x>>y;v.push_back(make_pair(x,y));}}int le=1,ri=2E5;while(ri>le+1)(judge(mid)?le:ri)=mid;cout<<(judge(le)?ri:le)<<endl;v.clear();}return 0;
}void init(int node,int le,int ri){lazy[node]=-1;if(le==ri){st[node]=arr[le]>val;}else{init(lc);init(rc);pushup(node);}
}void pushup(int node){st[node]=st[lson]+st[rson];
}void pushdown(int node,int le,int ri){if(lazy[node]!=-1){lazy[lson]=lazy[rson]=lazy[node];st[lson]=(mid-le+1)*lazy[node];st[rson]=(ri-mid)*lazy[node];lazy[node]=-1;}
}int query(int node,int le,int ri){if(ri<x||le>y)return 0;if(x<=le&&ri<=y)return st[node];else{pushdown(sc);return query(lc)+query(rc);}
}void update(int node,int le,int ri){if(ri<x||le>y)return;if(x<=le&&ri<=y){lazy[node]=val;st[node]=(ri-le+1)*lazy[node];}else{pushdown(sc);update(lc);update(rc);pushup(node);}
}bool judge(int mi){val=mi;init();for(int i=0,tmp;i<v.size();++i){x=v[i].first,y=v[i].second;tmp=query();val=1;y=x+(tmp>>1)+(tmp&1)-1;update();y=v[i].second,x=y-(tmp>>1)+1;update();x=v[i].first+(tmp>>1)+(tmp&1),y-=(tmp>>1),val=0;update();}x=y=k;return query();
}