CF2225B Alternating String

简化题意

给定一段 01 数组 $a$。
选择一段区间 $[l,r]$，将其翻转，可以将其取反，问能否实现一次操作后数组中每个 $a_i\ne a_{i-1}$。

思路

最后若能得到合法数组，有两种情况：

  • $a_i=i \bmod 2$；
  • $a_i=1-i\bmod 2$。

那么我们只需要将初始值全部取反，就可以使第二种与第一种处理方法相同。
而要翻转的区间端点一定是在原数组中不合法的点。
考虑若翻转多奇数个合法点，则可以通过取反操作使其与翻转不合法点等价。
而多翻转偶数个合法点本身就与翻转不合法点等价。
所以遍历一遍整个数组，记录最左和最右的不合法点 $l,r$。
然后若 $[l,r]$ 内存在两个相邻点相等，那我也没招了，不管对整个区间取几次反都不能成功，这种情况直接不成立，排除掉。
其他情况一定可以通过取反成立，不再赘述。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
#include<bits/stdc++.h>
#define fir first
#define sec second 
#define int long long
#define pii pair<int,int>
#define fep(i,s,e) for(int i=s;i<e;i++)
#define pef(i,s,e) for(int i=s;i>e;i--)
#define rep(i,s,e) for(int i=s;i<=e;i++)
#define per(i,s,e) for(int i=s;i>=e;i--)
namespace FastIO{
    template<typename T>inline void read(T &x){
        x=0;int f=1;char c=getchar();
        for(;!isdigit(c);c=getchar())if(c=='-')f=-1;
        for(;isdigit(c);c=getchar())x=(x<<1)+(x<<3)+(c^48);x*=f;
    }
    template<typename T,typename...Args>
    inline void read(T &x,Args&...args){
        read(x);
        read(args...);
    }
    template<typename T>void print(T x){
        if(x<0)x=-x,putchar('-');
        if(x>9)print(x/10);
        putchar((x%10)^48);
    }
}
using namespace std;
using namespace FastIO;
const int N=2e5+47;
int T,a[N];
string s;
signed main(){
	read(T);
	while(T--){
		cin>>s;
		int n=s.size();
		rep(i,1,n){
			if(s[i-1]=='a')a[i]=1;
			if(s[i-1]=='b')a[i]=0;
		}
		int flg1=1,flg2=1;
		int l=n,r=0;
		rep(i,1,n){
			if(i%2!=a[i]){
				l=min(l,i);
				r=max(r,i);
			}
		}
		rep(i,l+1,r)if(a[i]==a[i-1])flg1=0;
		
		rep(i,1,n)a[i]=1-a[i];
		l=n,r=0;
		rep(i,1,n){
			if(i%2!=a[i]){
				l=min(l,i);
				r=max(r,i);
			}
		}
		rep(i,l+1,r)if(a[i]==a[i-1])flg2=0;
		if(flg1|flg2)puts("YES");
		else puts("NO");
	}
}