题：
OvO http://codeforces.com/contest/947/problem/D
923D 947D 948E
解：
记要改变的串为 P1 ，记目标串为 P2
由变化规则可得：
1. B -> AC -> AAB -> AAAC -> C ( 即 B -> C -> B )
2. AB -> AAC -> AAAB -> B （即 AB -> B )
3. B -> AC -> AB ( 即 B -> AB )
4. A -> BC -> BB ( 即 A -> BB )
（由规则1可得，B 与 C 等价，所以下文 C 全由 B代替）
那么对于一个串 S ，可以从这个串中提取 3 个特征，记这3个特征为 val0, val1, val2,
这3个特征的意义为：
对于串 S，把 S 串分成2个部分 S1, S2，其中 S2 是 S 的后缀，其内含字符全为 A，使 S2 长度尽可能长，记 S2 串长度为 val2 。S1 串为去掉 S2 后的部分，记 S1 串中非 A 字符的个数为 val1 。并且，如果 S1 串为空，记 val0=0，否则 val=1。
（接下去的思路就是转化 P1 中的 S1 与 S2，使其与 P2 中的 S1，S2 相同）
然后进行分类讨论，以下 5 种情况，P1 串无法转换为 P2 串（不具体证明）
1. (P1.val1 & 1) != (P2.val1 & 1)
2. P1.val1 > P2.val1
3. P1.val2 < P2.val2
4. P1.val1 == P2.val1 && (P1.val2 - P2.val2) % 3 != 0
5. P1.val0 == 0 && P1.val1 < P2.val1 && P1.val2 == P2.val2
其余情况，P1 均可以转化为 P2
#include <iostream>
#include <cstring>
#include <cmath>
#include <algorithm>
#include <cstdio>
using namespace std;
struct Val
{
int val0,val1,val2;
} ;
const int M=1e5+44;
char s[2][M];
int len[2],p[2][M],a[2][M],lst[2][M],b[2][M];
int lans,ans[M];
void init(int id)
{
int tmp;
scanf("%s",s[id]+1);
len[id]=strlen(s[id]+1);
for(int i=1;i<=len[id];i++)
if(s[id][i]=='A') p[id][i]=0;
else p[id][i]=1;
a[id][0]=b[id][0];
for(int i=1;i<=len[id];i++)
a[id][i]=a[id][i-1]+(p[id][i]==0),b[id][i]=b[id][i-1]+(p[id][i]==1);
tmp=0;
for(int i=1;i<=len[id];i++)
if(p[id][i]==1)
tmp=i,lst[id][i]=tmp;
else lst[id][i]=tmp;
}
Val solve(int id,int li,int ri)
{
int tag=lst[id][ri],part0,part1,part2;
if(tag<li) tag=li-1,part0=0;
else part0=1;
part2=(a[id][ri]-a[id][tag]);
part1=(b[id][ri]-b[id][li-1]);
return Val{part0,part1,part2};
}
bool check(Val tp0,Val tp1)
{
if((tp0.val1&1)!=(tp1.val1&1)) return false;
if(tp0.val1>tp1.val1) return false;
if(tp0.val2<tp1.val2) return false;
if(tp0.val1==tp1.val1 && (tp0.val2-tp1.val2)%3!=0) return false;
if(tp0.val0==0 && tp0.val1<tp1.val1 && tp0.val2==tp1.val2) return false;
return true;
}
int main()
{
init(0),init(1);
int cas,li0,ri0,li1,ri1;
Val tp[2];
lans=0;
scanf("%d",&cas);
while(cas--)
{
scanf("%d%d%d%d",&li0,&ri0,&li1,&ri1);
tp[0]=solve(0,li0,ri0),tp[1]=solve(1,li1,ri1);
// cout<<tp[0]<<" "<<tp[1]<<endl;
if(check(tp[0],tp[1])) ans[++lans]=1;
else ans[++lans]=0;
}
for(int i=1;i<=lans;i++)
printf("%d",ans[i]);
return 0;
}