BZOJ3160 万径人踪灭 【fft + manacher】
题解
此题略神QAQ
orz po神牛
由题我们知道我们要求出:
回文子序列数 - 连续回文子串数
我们记为ans1和ans2
ans2可以用马拉车轻松解出,这里就不赘述了
问题是ans1
我们设\(f[i]\)表示以i位置为中心的对称的字符对数,那么i位置产生的回文子序列数 = \(2^{f[i]} - 1\)
如何求?
由对称的性质,以i为对称中心的两点\(a,b\)满足\(a+b=2*i\)
我们可以设一个这样的序列:
\(c[n]\)表示以\(n/2\)位置为对称点的对称点对数【n/2若不为整数则对称中心是字符间隙】
那么有:
\(c[n] = \sum a[k]*a[n - k]\),a[k]表示k位置的字符,*运算满足当且仅当两者字符相等时为1,否则为0
我们只需要求两次fft:
①'a'位置赋值0,'b'位置赋值1,求\(c[n] = \sum a[k]*b[n - k]\)
②'a'位置赋值1,'b'位置赋值0,求\(c[n] = \sum a[k]*b[n - k]\)
两次之和即为所求,再跑一次DFT即可【我也不知道为什么可以这样,抄po神的代码】
【讲道理分开来求,然后相加应该也行】
最后ans = ans1 - ans2
真心心累。。。
#include<iostream>
#include<cmath>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<complex>
#define LL long long int
#define REP(i,n) for (int i = 1; i <= (n); i++)
#define Redge(u) for (int k = h[u],to; k; k = ed[k].nxt)
#define BUG(s,n) for (int i = 1; i <= (n); i++) cout<<s[i]<<' '; puts("");
using namespace std;
const int maxn = 800005,maxm = 200005,INF = 1000000000,P = 1000000007;
inline int read(){
int out = 0,flag = 1; char c = getchar();
while (c < 48 || c > 57) {if (c == '-') flag = -1; c = getchar();}
while (c >= 48 && c <= 57) {out = (out << 3) + (out << 1) + c - '0'; c = getchar();}
return out * flag;
}
char s[maxm],t[maxm];
int RL[maxm],n;
LL ans1,ans2,F,power[maxn];
void manacher(){
s[0] = '*';
int pos = 1,mr = 1; RL[1] = 1;
for (int i = 2; i < n; i++){
if (i <= mr) RL[i] = min(RL[2 * pos - i],mr - i + 1);
else RL[i] = 1;
while (s[i + RL[i]] == s[i - RL[i]]) RL[i]++;
if (i + RL[i] - 1 >= mr) mr = i + RL[i] - 1,pos = i;
}
}
const double pi = acos(-1);
typedef complex<double> E;
E a[maxn],b[maxn];
int m,L,R[maxn];
void fft(E* a,int f){
for (int i = 0; i < n; i++) if (i < R[i]) swap(a[i],a[R[i]]);
for (int i = 1; i < n; i <<= 1){
E wn(cos(pi / i),f * sin(pi / i));
for (int j = 0; j < n; j += (i << 1)){
E w(1,0);
for (int k = 0; k < i; k++,w *= wn){
E x = a[j + k],y = w * a[j + k + i];
a[j + k] = x + y; a[j + k + i] = x - y;
}
}
}
if (f == -1) for (int i = 0; i < n; i++) a[i] /= n;
}
int main(){
scanf("%s",t + 1); int len = strlen(t + 1);
for (int i = 1; i <= len; i++) s[++n] = '#',s[++n] = t[i]; s[++n] = '#';
manacher();
for (int i = 1; i <= n; i++) ans2 = (ans2 + (RL[i] >> 1)) % P;
//cout<<ans2<<endl;
power[0] = 1; for (int i = 1; i <= n; i++) power[i] = (power[i - 1] << 1) % P;
n = len;
m = n << 1; for (n = 1; n <= m; n <<= 1) L++;
for (int i = 0; i < n; i++) R[i] = (R[i >> 1] >> 1) | ((i & 1) << (L - 1));
for (int i = 1; i <= len; i++) a[i] = (t[i] == 'a');
fft(a,1);
for (int i = 0; i < n; i++) b[i] = a[i] * a[i];
memset(a,0,sizeof(a));
for (int i = 1; i <= len; i++) a[i] = (t[i] == 'b');
fft(a,1);
for (int i = 0; i < n; i++) b[i] += a[i] * a[i];
fft(b,-1);
for (int i = 1; i < n; i++){
F = (LL)(b[i].real() + 0.5);
ans1 = (ans1 + power[F + 1 >> 1] - 1) % P;
}
//cout<<ans1<<endl;
printf("%lld\n",((ans1 - ans2) % P + P ) % P);
return 0;
}