CF1779 D. Boris and His Amazing Haircut [Hello2023]

传送门

一年前的Hello 2023:甚至在AB题反复打滚

一年后 :20分钟就一发过了D

[前题提要]:只能说泪目了,此时无言胜有言,故写篇博客记录一下

---

泪目光泪目,但是本题的$trick$感觉还是十分经典的.

考虑从左往右进行枚举,对于第一个不同的数字,显然我们得需要使用一次剃刀.然后我们想一下对于这个剃刀,我们应该怎样才能最大限度去利用这个剃刀.显然应该对于这个剃刀能应用的区间越长越好,这样对于后面需要这种数值的剃刀就不需要再用一个新的了.

考虑我们剃刀最长能用到的右端点到底在哪里.简单观察一下就不难发现只要区间中的所有$b[i]$小于我们的剃刀,我们就可以一直往右扩展,因为对于小于我们剃刀的数,是不会被我们的剃刀影响的,因为它最终会被一个更小的剃刀所应用.

所以这道题的解法就呼之欲出了.维护上述的性质其实有很多方法,可以转化为区间最值然后当做$RMQ$问题,使用线段树,树状数组之类的数据结构维护.但是对于本题来说,本人感觉更为直接的方式应该是单调栈.考虑维护一个单调栈,然后使用一个$map$来维护单调栈中的数字.那么对于枚举到的第$i$个数字来说,我们先使用$b[i]$踢出单调栈中所有比$b[i]$小的数字(当然也可以在后面维护,没有区别),然后判断一下栈中的数字是否存在当前点,如果存在当前点,意味着在该点之前存在一个剃刀可以扩展到当前位置,也就意味着我们可以不需要再多花费一个剃刀.如果不存在的话,我们就需要新加入一个剃刀,然后把这个剃刀加入到我们的单调栈中即可.

---

下面是具体的代码部分:

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define root 1,n,1
#define ls (rt<<1)
#define rs (rt<<1|1)
#define lson l,mid,rt<<1
#define rson mid+1,r,rt<<1|1
inline ll read() {
	ll x=0,w=1;char ch=getchar();
	for(;ch>'9'||ch<'0';ch=getchar()) if(ch=='-') w=-1;
	for(;ch>='0'&&ch<='9';ch=getchar()) x=x*10+ch-'0';
	return x*w;
}
inline void print(__int128 x){
	if(x<0) {putchar('-');x=-x;}
	if(x>9) print(x/10);
	putchar(x%10+'0');
}
#define maxn 1000000
const double eps=1e-8;
#define	int_INF 0x3f3f3f3f
#define ll_INF 0x3f3f3f3f3f3f3f3f
int a[maxn],b[maxn],x[maxn];
int main() {
	int T=read();
	while(T--) {
		int n=read();
		for(int i=1;i<=n;i++) {
			a[i]=read();
		}
		for(int i=1;i<=n;i++) {
			b[i]=read();
		}
		int m=read();
		map<int,int>mp;
		for(int i=1;i<=m;i++) {
			x[i]=read();mp[x[i]]++;
		}
		stack<int>s;map<int,int>mp2;
		int flag=0;
		for(int i=1;i<=n;i++) {
			while(!s.empty()&&b[i]>s.top()) {
				mp2[s.top()]--;s.pop();
			}
			if(a[i]!=b[i]) {
				if(a[i]<b[i]) {
					flag=1;break;
				}
				if(!mp2[b[i]]) {
					if(mp[b[i]]) {
						mp[b[i]]--;s.push(b[i]);
						mp2[b[i]]++;
					}
					else {
						flag=1;break;
					}
				}
			}
			else {
				continue;
			}
		}
		if(flag) cout<<"NO"<<endl;
		else cout<<"YES"<<endl;
	}
	return 0;
}