2019.03.01【HNOI2018/AHOI2018】【BZOJ5288】【洛谷P4436】游戏（线段树）（单调栈）

BZOJ传送门

洛谷传送门

---

解析：

听说出题人为了卡住$O(n{\log }^{2}n)$的做法不小心把$O(n^2)$暴力放过去了？？？

那出题人可真是不容易。

然后来说一下$O(n\log n)$的做法。

考虑处理每个点能够到达的最左最右端点，然后询问就可以$O(1)$回答了。

首先我们可以暂时不管钥匙和锁上的门，$O(n)$递推处理处所有点可能走到的最左端点。

我们认为，一扇门不可能走到，当且仅当，我们目前和该扇门的钥匙在门的不同两侧。

现在我们设$l_i,r_i$为从点$i$出发，最终能够走到的最左和最右端点。初始化$l_i=r_i=1$，考虑扩展。

我们发现，在所有向左可能走到的门中，只有那些最终钥匙在$r_i$后面的门无论如何都走不过去。

同理，对于右边的门，钥匙在$l_i$之前的门是绝对不可能走过去的。

线段树维护所有在$[l,r]$中的门的最靠右的钥匙。

考虑倒着处理。

对于$r_i$的更新我们可以用一个单调栈来实现，维护还没有被打开的门的钥匙的位置

显然这样所有$r_i$的更新次数就是$O(n)$的。

而我们只需要在每次更新$r_i$的同时用线段树找到$[L_i,l_i)$中最靠左的，钥匙位置$\le r_i$的门就可以将$l_i$更新过去了。

---

代码：

#include<bits/stdc++.h>
using namespace std;
#define ll long long
#define re register
#define gc get_char
#define cs const

namespace IO{
	inline char get_char(){
		static cs int Rlen=1<<20|1;
		static char buf[Rlen],*p1,*p2;
		return (p1==p2)&&(p2=(p1=buf)+fread(buf,1,Rlen,stdin),p1==p2)?EOF:*p1++; 
	}
	
	inline int getint(){
		re char c;
		while(!isdigit(c=gc()));re int num=c^48;
		while(isdigit(c=gc()))num=(num+(num<<2)<<1)+(c^48);
		return num;
	}
}
using namespace IO;

cs int N=1e6+6;
int n,m,q;
int l[N],r[N],lm[N];
int mx[N<<2],key[N];

inline void build(int k,int l,int r){
	if(l==r)return (void)(mx[k]=key[l]);
	int mid=(l+r)>>1;
	build(k<<1,l,mid);
	build(k<<1|1,mid+1,r);
	mx[k]=max(mx[k<<1],mx[k<<1|1]);
}

inline int query(int k,int l,int r,int val){
	if(mx[k]<=val)return 0;
	if(l==r)return l;
	int mid=(l+r)>>1;
	return (mx[k<<1|1]>val)?query(k<<1|1,mid+1,r,val):query(k<<1,l,mid,val);
}

inline int Query(int k,int l,int r,cs int &ql,cs int &qr,cs int &val){
	if(mx[k]<=val)return 0;
	if(ql<=l&&r<=qr)return query(k,l,r,val);
	int mid=(l+r)>>1,pos=0;
	if(mid<qr)pos=Query(k<<1|1,mid+1,r,ql,qr,val);
	if(pos)return pos;
	if(ql<=mid)return Query(k<<1,l,mid,ql,qr,val);
	return pos;
}

inline int get_pre(int l,int r,int val){
	if(l>r)return l;
	int pos=Query(1,1,n,l,r,val);
	return pos?pos+1:l;
}

int sta[N],top;

inline void work(){
	build(1,1,n);
	key[n]=n+1;
	key[0]=-1;
	for(int re i=1;i<=n;++i)lm[i]=(key[i-1]&&key[i-1]<=i-1)?i:lm[i-1];
	for(int re i=n;i;--i){
		l[i]=r[i]=i;
		l[i]=get_pre(lm[i],l[i]-1,r[i]);
		sta[++top]=i;
		while(top&&((l[i]<=key[sta[top]]&&key[sta[top]]<=r[i])||!key[sta[top]])){
			r[i]=sta[--top];
			l[i]=get_pre(lm[i],l[i]-1,r[i]);
		}
	}
}

signed main(){
	n=getint(),m=getint(),q=getint();
	for(int re i=1;i<=m;++i){
		int x=getint(),y=getint();
		key[x]=y;
	}
	work();
	while(q--){
		int s=getint(),t=getint();
		puts(l[s]<=t&&t<=r[s]?"YES":"NO");
	}
	return 0;
}