解法一:二分答案+线段树

首先我们知道,对于一个01序列排序,用线段树维护的话可以做到单次排序复杂度仅为log级别。

这道题只有一个询问,所以离线没有意义,而一个询问让我们很自然的想到二分答案。先二分出这个位置上的数是多少,然后将所有小于等于的数全部赋为0,其余赋为1,这样每次排序都是01序列排序了。如果最后p位置上的数为0则说明最终答案小于等于当前二分的答案,反之亦然。

这样这个问题就在$O(n \log^2 n)$的复杂度内解决了。

 #include<cstdio>
#include<algorithm>
#define ls (x<<1)
#define rs ((x<<1)|1)
#define lson ls,L,mid
#define rson rs,mid+1,R
#define rep(i,l,r) for (int i=l; i<=r; i++)
using namespace std; const int N=;
int n,m,qry,a[N],c[N],sm[N<<],tag[N<<];
struct P{ int op,l,r; }b[N]; void push(int x,int L,int R){
if (tag[x]==-) return;
int mid=(L+R)>>;
sm[ls]=(mid-L+)*tag[x]; tag[ls]=tag[x];
sm[rs]=(R-mid)*tag[x]; tag[rs]=tag[x];
tag[x]=-;
} void build(int x,int L,int R){
tag[x]=-;
if (L==R) { sm[x]=c[L]; return; }
int mid=(L+R)>>;
build(lson); build(rson);
sm[x]=sm[ls]+sm[rs];
} void mdf(int x,int L,int R,int l,int r,int k){
if (L==l && r==R){ sm[x]=k*(R-L+); tag[x]=k; return; }
int mid=(L+R)>>; push(x,L,R);
if (r<=mid) mdf(lson,l,r,k);
else if (l>mid) mdf(rson,l,r,k);
else mdf(lson,l,mid,k),mdf(rson,mid+,r,k);
sm[x]=sm[ls]+sm[rs];
} int que(int x,int L,int R,int l,int r){
if (L==l && r==R) return sm[x];
int mid=(L+R)>>; push(x,L,R);
if (r<=mid) return que(lson,l,r);
else if (l>mid) return que(rson,l,r);
else return que(lson,l,mid)+que(rson,mid+,r);
} int main(){
scanf("%d%d",&n,&m);
rep(i,,n) scanf("%d",&a[i]);
rep(i,,m) scanf("%d%d%d",&b[i].op,&b[i].l,&b[i].r);
scanf("%d",&qry);
int L=,R=n;
while (L<R){
int mid=(L+R)>>;
rep(i,,n) if (a[i]<=mid) c[i]=; else c[i]=;
build(,,n);
rep(i,,m){
int l=b[i].l,r=b[i].r,s=que(,,n,l,r);
if (b[i].op==){
if (l<=r-s) mdf(,,n,l,r-s,);
if (r-s+<=r) mdf(,,n,r-s+,r,);
}else{
if (l<=l+s-) mdf(,,n,l,l+s-,);
if (l+s<=r) mdf(,,n,l+s,r,);
}
}
if (que(,,n,qry,qry)==) R=mid; else L=mid+;
}
printf("%d\n",L);
return ;
}

解法二:线段树分裂与合并

对每个连续的有序区间维护一棵线段树(初始时每个点都有一棵线段树)。

每次将一个区间排序时,先将跨过这个区间端点的区间分裂,再将这个区间包含的所有小区间合并。

set维护区间,区间合并通过线段树合并实现,时间复杂度为$O(n\log n)$。

可以垃圾回收,由于每次分裂只会新增log n个点,加上初始时新建的点,空间复杂度为$O((n+m)\log n)$。

这个方法不仅复杂度只有一个log,还能在最后求出整个序列而不是单个序列。

 #include<set>
#include<cstdio>
#include<algorithm>
#define lson ls[x],L,mid
#define rson rs[x],mid+1,R
#define rep(i,l,r) for (int i=(l); i<=(r); i++)
using namespace std; const int N=,M=;
int n,m,x,nd,op,l,r,top,rt[N],rev[N],stk[M],ls[M],rs[M],sz[M];
struct P{ int l,r; };
bool operator <(const P &a,const P &b){ return a.r<b.r; }
set<P>S; void del(int x){ ls[x]=rs[x]=sz[x]=; stk[++top]=x; }
int get(){ return top ? stk[top--] : ++nd; } void ins(int &x,int L,int R,int k){
if (!x) x=get(); sz[x]++;
if (L==R) return;
int mid=(L+R)>>;
if (k<=mid) ins(lson,k); else ins(rson,k);
} void split(int &x,int &y,int k,int op){
if (!x) return;
sz[y=get()]=sz[x]-k; sz[x]=k;
if (!op){
if (sz[ls[x]]==k){ rs[y]=rs[x]; rs[x]=; return; }
if (sz[ls[x]]>k){ rs[y]=rs[x]; rs[x]=; split(ls[x],ls[y],k,op); }
else split(rs[x],rs[y],k-sz[ls[x]],op);
}else{
if (sz[rs[x]]==k){ ls[y]=ls[x]; ls[x]=; return; }
if (sz[rs[x]]>k){ ls[y]=ls[x]; ls[x]=; split(rs[x],rs[y],k,op); }
else split(ls[x],ls[y],k-sz[rs[x]],op);
}
} int merge(int x,int y){
if (!x || !y) return x|y;
sz[x]+=sz[y];
ls[x]=merge(ls[x],ls[y]);
rs[x]=merge(rs[x],rs[y]);
del(y); return x;
} int que(int x,int L,int R,int k,int op){
if (L==R) return L;
int mid=(L+R)>>;
if (!op){
if (sz[ls[x]]>=k) return que(lson,k,op); else return que(rson,k-sz[ls[x]],op);
}else{
if (sz[rs[x]]>=k) return que(rson,k,op); else return que(lson,k-sz[rs[x]],op);
}
} int main(){
freopen("bzoj4552.in","r",stdin);
freopen("bzoj4552.out","w",stdout);
scanf("%d%d",&n,&m);
rep(i,,n) scanf("%d",&x),ins(rt[i],,n,x),S.insert((P){i,i});
while (m--){
scanf("%d%d%d",&op,&l,&r);
set<P>::iterator it=S.lower_bound((P){l,l});
if (it->l<l){
int L=it->l,R=it->r;
split(rt[L],rt[l],l-L,rev[L]);
S.erase(it); S.insert((P){L,l-}); S.insert((P){l,R});
rev[l]=rev[L];
}
it=S.lower_bound((P){r+,r+});
if (it!=S.end() && it->l<=r){
int L=it->l,R=it->r;
split(rt[L],rt[r+],r-L+,rev[L]);
S.erase(it); S.insert((P){L,r}); S.insert((P){r+,R});
rev[r+]=rev[L];
}
it=S.lower_bound((P){l,l}); it++;
while (it!=S.end() && it->r<=r) rt[l]=merge(rt[l],rt[it->l]),it++;
it=S.lower_bound((P){l,l});
while (it!=S.end() && it->r<=r) S.erase(it),it=S.lower_bound((P){l,l});
S.insert((P){l,r}); rev[l]=op;
}
scanf("%d",&x);
set<P>::iterator it=S.lower_bound((P){x,x});
printf("%d\n",que(rt[it->l],,n,x-(it->l)+,rev[it->l]));
return ;
}

[BZOJ4552][TJOI2016&&HEOI2016]排序(二分答案+线段树/线段树分裂与合并)的更多相关文章

  1. BZOJ 4552 [Tjoi2016&Heoi2016]排序 | 二分答案 线段树

    题目链接 题面 题目描述 在2016年,佳媛姐姐喜欢上了数字序列.因而他经常研究关于序列的一些奇奇怪怪的问题,现在他在研究一个难题,需要你来帮助他.这个难题是这样子的:给出一个1到n的全排列,现在对这 ...

  2. bzoj 4552 [Tjoi2016&Heoi2016]排序——二分答案

    题目:https://www.lydsy.com/JudgeOnline/problem.php?id=4552 二分答案,把 >= mid 的设成1.< mid 的设成0,之后排序就变成 ...

  3. bzoj 4552 [Tjoi2016&Heoi2016]排序 (二分答案 线段树)

    题目链接:https://www.lydsy.com/JudgeOnline/problem.php?id=4552 题意: 给你一个1-n的全排列,m次操作,操作由两种:1.将[l,r]升序排序,2 ...

  4. [bzoj4552][Tjoi2016&Heoi2016]排序-二分+线段树

    Brief Description DZY有一个数列a[1..n],它是1∼n这n个正整数的一个排列. 现在他想支持两种操作: 0, l, r: 将a[l..r]原地升序排序. 1, l, r: 将a ...

  5. 【BZOJ4552】[Tjoi2016&Heoi2016]排序 二分+线段树

    [BZOJ4552][Tjoi2016&Heoi2016]排序 Description 在2016年,佳媛姐姐喜欢上了数字序列.因而他经常研究关于序列的一些奇奇怪怪的问题,现在他在研究一个难题 ...

  6. bzoj千题计划128:bzoj4552: [Tjoi2016&Heoi2016]排序

    http://www.lydsy.com/JudgeOnline/problem.php?id=4552 二分答案 把>=mid 的数看做1,<mid 的数看做0 这样升序.降序排列相当于 ...

  7. [BZOJ4552][Tjoi2016&Heoi2016]排序(二分答案+线段树)

    二分答案mid,将>=mid的设为1,<mid的设为0,这样排序就变成了区间修改的操作,维护一下区间和即可 然后询问第q个位置的值,为1说明>=mid,以上 时间复杂度O(nlog2 ...

  8. 2018.08.01 BZOJ4552: [Tjoi2016&Heoi2016]排序(二分+线段树)

    传送门 线段树简单题. 二分答案+线段树排序. 实际上就是二分答案mid" role="presentation" style="position: relat ...

  9. [BZOJ4556][TJOI2016&&HEOI2016]字符串(二分答案+后缀数组+RMQ+主席树)

    4556: [Tjoi2016&Heoi2016]字符串 Time Limit: 20 Sec  Memory Limit: 128 MBSubmit: 1360  Solved: 545[S ...

随机推荐

  1. 去除IE10+上文本框巨丑无比的删除图标以及显示密码图标

    去除IE10+上文本框巨丑无比的删除图标以及显示密码图标 IE浏览器总是让人喜欢让人厌,在最新的IE浏览器(IE10+)上使用表单时,文本框内后面会出现很巨丑无比的“删除图标”以及“显示密码图标”,如 ...

  2. WordPress的SEO插件——WordPress SEO by yoast安装及使用

    插件:WordPress SEO by yoast 使用方法: 做好网站SEO一直是站长们的愿望,说简单也简单,但是说难也难,因为需要注意的地方太多,一个不小心被百度K了你都不知道怎么回事.这里和大家 ...

  3. CRF++进行中文分词实例

    工具包:https://taku910.github.io/crfpp/#tips 语料:http://sighan.cs.uchicago.edu/bakeoff2005/ 安装: 1)下载linu ...

  4. python 实现字符串转整型

    def str2Int(s): l=list(s) if len(l)<=0: return 0 flag=0 sum=0 dict_num={':9} dict_tag={'+':1,'-': ...

  5. SSO单点登录的发展由来以及实现原理【转】

    单点登录以及权限,在很早之前都有写过,不过都比较简单,今天就具体说一下,以及下一步要做的 1.web单系统应用 早期我们开发web应用都是所有的包放在一起打成一个war包放入tomcat容器来运行的, ...

  6. [node.js] async/await如何优雅处理异常?

    node.js的世界,从callback开始,不会止于async. 所有人都在骂为什么不能完全进化,其实我感觉这就是老外的细心,为了承上.这也就是为什么async其实就是promise一样,假如不是一 ...

  7. html中去掉文本框(input type="text")的边框或只显示下边框

    去掉: <input   type="text"   name="textfield"   style="border:0px;"&g ...

  8. 85.Maximal Rectangle---dp

    题目链接:https://leetcode.com/problems/maximal-rectangle/description/ 题目大意:给出一个二维矩阵,计算最大的矩形面积(矩形由1组成).例子 ...

  9. freemarker模板引擎的使用

    freemarker是一套前端模板引擎,在使用时,要先在web项目中添加freemarker.jar的依赖. 我在这里主要演示spring-mvc整合freemarker模板引擎.项目案例的文件包结构 ...

  10. HDU 2647 Reward(拓扑排序+判断环+分层)

    题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=2647 题目大意:要给n个人发工资,告诉你m个关系,给出m行每行a b,表示b的工资小于a的工资,最低工 ...