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();}