标题含有敏感词，莫名被锁了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,ri using 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(); }
