BZOJ5288 HNOI/AHOI2018游戏

时间:2023-12-25 15:46:22

  首先将之间没有锁的房间合并。显然可达性具有传递性和反交换律(即若a能到达b,则b不能到达a)。

  考虑对每个房间找到其左右第一个(即与其最接近的)能作为起点到达它的房间。如果能求出这个,对此建两棵树,问题就变为终点是否在起点的子树内。

  容易想到单调栈。不妨考虑求左边第一个。栈内维护当前房间左边能作为起点到达它的房间。一旦栈顶的房间不能再到达当前点,显然其也不能再到达之后的点。而如果栈顶的房间能到达当前点,栈里的其他点也一定可以,因为它们都能到达栈顶房间。于是一直弹栈至栈顶房间能到达当前房间即可。至于如何判断是否可达,如果栈中不止一个元素,只要看打开当前房间的锁的钥匙是否在栈顶房间到当前房间之间,因为由反交换律栈顶的房间不能再向左走;否则需要找一下其能走到的最左房间,这个东西暴力查找并且查完之后记录就可以线性了(直接暴力说不定也是,因为loj上一直T一个点以为复杂度假掉了,后来发现把这段注释掉照样T……事实上是建树出了一些问题,应该设一个虚根而不是遍历森林,因为边是有向的)。

#include<iostream>
#include<cstdio>
#include<cmath>
#include<cstdlib>
#include<cstring>
#include<algorithm>
using namespace std;
#define ll long long
#define N 1000010
char getc(){char c=getchar();while ((c<'A'||c>'Z')&&(c<'a'||c>'z')&&(c<''||c>'')) c=getchar();return c;}
int gcd(int n,int m){return m==?n:gcd(m,n%m);}
int read()
{
int x=,f=;char c=getchar();
while (c<''||c>'') {if (c=='-') f=-;c=getchar();}
while (c>=''&&c<='') x=(x<<)+(x<<)+(c^),c=getchar();
return x*f;
}
int n,m,q,key[N],tmp[N],L[N],R[N],pos[N],stk[N],pre[N],nxt[N],top,cnt;
struct tree
{
int dfn[N],size[N],p[N],cnt,t;
struct data{int to,nxt;}edge[N<<];
void addedge(int x,int y){t++;edge[t].to=y,edge[t].nxt=p[x],p[x]=t;}
void dfs(int k)
{
size[k]=;dfn[k]=++cnt;
for (int i=p[k];i;i=edge[i].nxt)
if (!size[edge[i].to])
{
dfs(edge[i].to);
size[k]+=size[edge[i].to];
}
}
bool isin(int x,int y){return dfn[x]<=dfn[y]&&dfn[x]+size[x]->=dfn[y];}
}a,b;
int main()
{
#ifndef ONLINE_JUDGE
freopen("bzoj5288.in","r",stdin);
freopen("bzoj5288.out","w",stdout);
const char LL[]="%I64d\n";
#else
const char LL[]="%lld\n";
#endif
n=read(),m=read(),q=read();
for (int i=;i<=m;i++)
{
int x=read(),y=read();
key[x]=y;
}
for (int i=;i<=n;i++)
{
int t=i;
while (t<n&&!key[t]) t++;
cnt++;L[cnt]=i,R[cnt]=t;
for (int j=L[cnt];j<=R[cnt];j++) pos[j]=cnt;
i=t;
}
memcpy(tmp,key,sizeof(key));
for (int i=;i<=n;i++) if (tmp[i]) key[pos[i]]=pos[tmp[i]];
n=cnt;
top=;stk[++top]=;a.addedge(,);
for (int i=;i<=n;i++)
{
if (key[i-]>=i) top=;
else
{
while (top>&&key[i-]<stk[top]) top--;
if (top==)
{
int left=stk[top];
while (pre[left]||(left>&&key[left-]<i&&key[left-]>=left)) left=pre[left]?pre[left]:left-;
if (stk[top]!=left) pre[stk[top]]=left;
if (key[i-]<left) top--;
}
}
if (top) a.addedge(stk[top],i);
else a.addedge(,i);
stk[++top]=i;
}
a.dfs();
top=;stk[++top]=n;b.addedge(,n);
for (int i=n-;i;i--)
{
if (key[i]<=i) top=;
else
{
while (top>&&key[i]>stk[top]) top--;
if (top==)
{
int right=stk[top];
while (nxt[right]||(right<n&&key[right]>i&&key[right]<=right)) right=nxt[right]?nxt[right]:right+;
if (stk[top]!=right) nxt[stk[top]]=right;
if (key[i]>right) top--;
}
}
if (top) b.addedge(stk[top],i);
else b.addedge(,i);
stk[++top]=i;
}
b.dfs();
while (q--)
{
int x=pos[read()],y=pos[read()];
if (a.isin(x,y)||b.isin(x,y)) puts("YES");
else puts("NO");
}
return ;
}