[atARC110E]Shorten ABC

考虑令$a$、$b$和$c$分别对应1、2和3，那么每一次相当于令$x$和$y$变为$xoplus y$（要求$x e y$）

根据异或的结合律，我们相当于将其划分为若干个区间求异或值

（另外还有$x e y$的条件，归纳可证等价于要求区间异或值不为0且区间内字母不完全相等或仅有1个字母）

为了保证每一种方案都不同，强制除了第一个以外的区间任意非空前缀异或值都不为0，否则可以把该前缀加入到上一个区间中（同时此时要保证了$x e y$的条件）

令$f_{i}$表示前$i$个字母对应的方案数，考虑递推转移，设$j$为第一个异或前缀和等于$i$的，那么就转移到$(i,j)$，区间修改可以用差分来维护

初始状态需要考虑一下，首先需要保证异或不为0，然后若所有字母完全相同（必然是奇数个），可以理解为最后$len-1$个字母是由下一段一个非空前缀补上来的，因此允许出现

特别的，当所有字母都相同时答案为1，需要特判

#include<bits/stdc++.h>
using namespace std;
#define N 1000005
#define mod 1000000007
int n,a[N],nex[N],lst[4],f[N];
char s[N];
void update(int l,int r,int x){
    f[l]=(f[l]+x)%mod;
    if (r+1<n)f[r+1]=(f[r+1]+mod-x)%mod;
}
int main(){
    scanf("%d%s",&n,s);
    for(int i=0;i<n;i++)a[i]=s[i]-'A'+1;
    bool flag=0;
    for(int i=1;i<n;i++)
        if (s[i]!=s[0])flag=1;
    if (!flag){
        printf("1");
        return 0;
    } 
    for(int i=1;i<n;i++)a[i]^=a[i-1];
    for(int i=0;i<4;i++)lst[i]=n;
    for(int i=n-1;i>=0;i--){
        nex[i]=lst[a[i]];
        lst[a[i]]=i;
    }
    for(int i=0;i<n;i++)
        if (a[i])update(i,i,1);
    for(int i=0;i<n;i++){
        if (i)f[i]=(f[i]+f[i-1])%mod;
        update(i+1,nex[i]-1,f[i]);
    }
    printf("%d",f[n-1]);
}