Unequal Array（贪心/双指针/思维）

题目
题意：给定长度为$n$的数组$a,b$，其中数组$b$是数组$a$的一个排列。数组$a$可以执行以下操作：

• 选择$1<=l<r<=n$且$a_l==a_r$，令$a_l,a_{l+1}...,a_{r-1},a_r=a_{l+1},...,a_r,a_l$。

通过以上若干次操作后，问数组$a$能否转换为$b$。

参考

思路：每次操作，相当于选择两个相同的元素$a_l,a_r$，删除$a_l$，并把元素$a_r$复制一次。
考虑逆过来思考这个过程。相当于$b$数组中，选择相等的两个相邻元素$b_i,b_{i+1}$，删除其一，并把另一个元素丢到前面任意位置。问最终$b$能否转化为$a$。

我们从分别用下标$i,j$大到小遍历数组$a,b$，在遍历过程中存储b中重复的元素$b_j$到$S$备用；如果$b_j==a_i$，则检查它们下一个元素；如果$b_j!=a_i$，则看$S$是否存在元素等于$a_i$，存在则取出，不存在，则说明无解，即$b$不能转换为$a$。

在#include <bits/stdc++.h> 
using namespace std;
const int maxn = 200010;

int a[maxn], b[maxn];
int n, m;
multiset<int> st;
void solve() {
	st.clear();
	scanf("%d", &n);
	for (int i = 0; i < n; ++i) {
		scanf("%d", &a[i]);
	}
	for (int i = 0; i < n; ++i) {
		scanf("%d", &b[i]);
	}
	int i = n - 1, j = n - 1;
	bool ok = true;
	while (i >= 0 && ok) {
		while (j && b[j] == b[j-1]) {
			st.insert(b[j]);
			--j;
		}
		if (j >= 0 && b[j] == a[i]) {
			--i;--j;
		} else if (st.find(a[i]) != st.end()){
			st.erase(st.find(a[i]));
			--i;
		} else {
			ok = false;
		}
	}
	printf("%s\n", ok ? "YES" : "NO");
}

int main() {
	int t;
	scanf("%d", &t);
	while (t--) {
		solve();
	}
}