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

首先我们知道,对于一个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. 【BZOJ】1875: [SDOI2009]HH去散步 矩阵快速幂

    [题意]给定n个点m边的无向图,求A到B恰好经过t条边的路径数,路径须满足每条边都和前一条边不同.n<=20,m<=60,t<=2^30. [算法]矩阵快速幂 [题解]将图的邻接矩阵 ...

  2. 【leetcode 简单】第三十九题 Excel表列名称

    给定一个正整数,返回它在 Excel 表中相对应的列名称. 例如, 1 -> A 2 -> B 3 -> C ... 26 -> Z 27 -> AA 28 -> ...

  3. 《STL源码剖析》读书笔记

    转载:https://www.cnblogs.com/xiaoyi115/p/3721922.html 直接逼入正题. Standard Template Library简称STL.STL可分为容器( ...

  4. python常用运维脚本实例【转】

    file是一个类,使用file('file_name', 'r+')这种方式打开文件,返回一个file对象,以写模式打开文件不存在则会被创建.但是更推荐使用内置函数open()来打开一个文件 . 首先 ...

  5. Lempel-Ziv algorithm realization

    Lempel-Ziv 复杂度程序 随着人们对非线性方法的分析越加深入,他们发现,虽然关联维度和最大李雅谱诺夫指数在分析脑电时具有一定的帮助,但是它们对数据的依赖性太强,对干扰和噪 声太敏感,而且要得到 ...

  6. python之smtplib库学习

    # -*- coding:utf-8 -*- import smtplibfrom email.mime.text import MIMETextfrom email import encodersf ...

  7. oracle命令生成AWR报告

    --命令生成AWR报告oracle@linux:~> sqlplus / as sysdba SQL*Plus: Release 11.1.0.7.0 - Production on Fri A ...

  8. .htaccess技巧: URL重写(Rewrite)与重定向(Redirect)

    URL重定向是.htaccess的重头戏,它可以将长地址转为短地址.将动态地址转为静态地址.重定向丢失的页面.防止盗链.实现自动语言转换等.笔者觉得难点是在正则表达式的运用和理解上. 实现所有这些神奇 ...

  9. java中常见异常汇总(根据自己遇到的异常不定时更新)

    1.java.lang.ArrayIndexOutOfBoundsException:N(数组索引越界异常.如果访问数组元素时指定的索引值小于0,或者大于等于数组的长度,编译程序不会出现任何错误,但运 ...

  10. mysql 操作时间戳

    1.将long显示成时间 SELECT FROM_UNIXTIME(1249488000, '%Y%m%d' ) 2.日期格式化成时间戳 SELECT UNIX_TIMESTAMP('2016-05- ...