[AGC055B]ABC Supremacy

最新推荐文章于 2021-12-03 21:53:31 发布

OneInDark

最新推荐文章于 2021-12-03 21:53:31 发布

阅读量277

点赞数

分类专栏： C++ 字符串文章标签： c++

本文链接：https://blog.csdn.net/qq_42101694/article/details/121090329

版权

C++ 同时被 2 个专栏收录

547 篇文章 3 订阅

订阅专栏

字符串

38 篇文章 0 订阅

订阅专栏

题目

传送门 to AtCoder

思路

这就是 $\rm AGC$ 的 $B$ 题吗，爱了爱了，从今以后再也不碰 $\rm AGC$ 一下……

首先，作为一个凡人，糊了两个结论上去：

操作是可逆的，所以可以任意操作，不影响 $S\rightarrow T$ 的可行性。
当第一个字符相同时，可以同时删去。

第二个结论听上去挺合理的。因为前三个字符无论怎么变化，为了让第一个字符不变，就相当于没操作。但是有没有这样的可能——先将前三个字符进行操作，使得后面可以操作，然后又一顿操作让最前面三个字符变回来？用我的方法已经证明不了了 😓

这个暂时按下不表，先看看 $\color{black}R\color{red}ainybunny$ 是怎么切掉这道题的，也看看我为什么如此弱小。问题已经转化为，当第一个字符不同时，怎么让前三个字符成为一个可操作的区间？这就要靠 $\color{black}R\color{red}ainybunny$ 了。

他并不用双眼去看，他从不相信光线；他用神识去感知，去接受，去消化，去碾碎并吸收这道题的每一点点信息。他的思维与其说是精神，不如说是物质性的；他用思维包裹住这道题，于是他很快就看到了：对于任意一个可操作区间，可以通过操作使得它周围某个区间可操作。

也就是说，对于字符串 XABC（其中 X 是任意字符），现在可操作的区间是后三个字符。显然可以操作为 X??X，其中 ?? 是两个与 X 不同的字符。于是现在可操作的区间变成了前三个字符！

仔细观察这个过程，发现就等价于将这个可操作的区间删掉，然后放到开头。操作至第一个字符相同。如果每次寻找第一个可操作区间，那么找到的区间只会后移，用 $\rm pointer$ 维护。用平衡树或链表维护字符串，时间复杂度 $\mathcal O(n\log n)$ 或 $\mathcal O(n)$ 。于是 $\color{black}R\color{red}ainybunny$ 就切掉了这道难难题，而我就仍然懵逼 😢

还是要看题解啊。首先第一步转化就很强：将字符循环移位 $(i\bmod 3)$ 位，这样就会使得可操作区间变为三个相同字符。这种循环位移的技巧太巧妙了！类似的还有二分图的重染色等。

此时我们就很容易发现：只要有能操作的区间，就删掉（将剩余部分拼接在一起），得到的结果唯一。这应该是显而易见的吧，毕竟这是一个消消乐游戏 😄 稍微严谨一点的叙述是，对于一个可操作区间，只要你不删去它所在的极长连续段中的可操作区间，它就不会消失，你终将删去它；而删掉它所在的极长连续段中的任意可操作区间，都等价于删去它。所以你无论咋搞，该删掉的都会被删掉。

而正如 $\color{black}R\color{red}ainybunny$ 早已感受到的那样：能操作的区间的改变，就是能操作的区间的平移。所以 平移操作区间就是我们能做的所有事。所以，删掉了能操作的区间（它们可以在任意位置插入），剩下的字符串是我们无法改变的。

设上面那种方法得到的字符串为 $f (S)$ 。那么很显然的，当 $f (S) = f (T)$ 时，我们只需要将那些操作区间插入回去即可；当 $f(S)\ne f(T)$ 时，我们就无法挽救这一切了。所以问题只在于求出 $f (S)$ ，用栈即可 $\mathcal O(n)$ 。

代码

#include <cstdio>
#include <iostream>
#include <vector>
#include <cstring>
#include <algorithm>
#include <cctype>
using namespace std;
# define rep(i,a,b) for(int i=(a); i<=(b); ++i)
# define drep(i,a,b) for(int i=(a); i>=(b); --i)
typedef long long int_;
inline int readint(){
	int a = 0, c = getchar(), f = 1;
	for(; !isdigit(c); c=getchar())
		if(c == '-') f = -f;
	for(; isdigit(c); c=getchar())
		a = (a<<3)+(a<<1)+(c^48);
	return a*f;
}

vector<int> getF(int n){
	vector<int> res; res.clear();
	for(int i=1,c,len=0; i<=n; ++i){
		c = (getchar()-'A'+3-(i%3))%3;
		if(len >= 2 && res[len-1] == c && res[len-2] == c)
			len -= 2, res.pop_back(), res.pop_back();
		else ++ len, res.push_back(c);
	}
	return res;
}
int main(){
	int n = readint();
	vector<int> &&L = getF(n);
	scanf("\n"); // end of line
	if(L == getF(n)) puts("YES");
	else puts("NO");
	return 0;
}