传送门

题目所求为所有的不连续回文子序列个数,可以转化为回文子序列数-回文子串数

回文子串manacher跑一跑就行了,考虑怎么求回文子序列数

我们考虑,如果$S_i$是回文子序列的对称中心,那么只要$S_{i-j}$和$S_{i+j}$相等,我们就多了一种选择

设共有$x$组相等的,那么以$S_i$为对称中心的回文子序列个数就是$2^{x+1}-1$,表示这$x$组包括对称中心选或不选,除去全都不选的都能算入答案

然而对称中心不一定在字符上可能在两个字符中间,那么这种时候回文子序列数就是$2^x-1$(因为没有中间的字符所以无所谓选不选)

然后考虑如何计算每一个位置上的$x$

我们考虑构造多项式$A$,原串上为$a$的位置设为$1$,$b$的位置设为$0$,如果$s[i]==s[j]$,那么他们的贡献会加到$(i+j)/2$上

然后发现这玩意儿和卷积很像,于是我们把除以二去掉,那么每一对$s[i]==s[j]$都会把贡献加到$i+j$上,所以只要把$A$自乘一下就可以了

然后构造$B$,原串上为$b$的位置设为$0$,也自乘一下就行了

然后把$A$和$B$对应系数加起来,再减去((i&1)^1)(表示这一位对称中心是否在字符上),再求一下$2$的多少次幂减一,最后减掉回文串个数就行了

 //minamoto
#include<iostream>
#include<cstdio>
#include<cstring>
#include<cmath>
#include<algorithm>
#define ll long long
#define add(x,y) (x+y>=P?x+y-P:x+y)
using namespace std;
const int N=5e5+,P=1e9+;const double Pi=acos(-1.0);
struct complex{
double x,y;
complex(double xx=,double yy=){x=xx,y=yy;}
inline complex operator +(complex b){return complex(x+b.x,y+b.y);}
inline complex operator -(complex b){return complex(x-b.x,y-b.y);}
inline complex operator *(complex b){return complex(x*b.x-y*b.y,x*b.y+y*b.x);}
}A[N],B[N];
int n,m,l,r[N],limit=;
void FFT(complex *A,int type){
for(int i=;i<limit;++i)
if(i<r[i]) swap(A[i],A[r[i]]);
for(int mid=;mid<limit;mid<<=){
complex Wn(cos(Pi/mid),type*sin(Pi/mid));
for(int R=mid<<,j=;j<limit;j+=R){
complex w(,);
for(int k=;k<mid;++k,w=w*Wn){
complex x=A[j+k],y=w*A[j+k+mid];
A[j+k]=x+y,A[j+k+mid]=x-y;
}
}
}
}
ll s[N],ans[N],x[N],p[N],sum;char ss[N];
void manacher(){
int mx=,id;
for(int i=,l=(n<<)+;i<=l;++i){
p[i]=i<mx?min(p[*id-i],(ll)mx-i):1ll;
while(x[i-p[i]]==x[i+p[i]]) ++p[i];
if(mx<i+p[i]) mx=i+p[i],id=i;
}
}
ll ksm(ll a,ll b){
ll res=;
while(b){
if(b&) res=res*a%P;
a=a*a%P,b>>=;
}
return res;
}
int main(){
// freopen("testdata.in","r",stdin);
scanf("%s",ss+);n=strlen(ss+);
for(int i=;i<=n;++i) s[i]=ss[i]=='a';
for(int i=;i<=n;++i)
x[(i<<)-]=,x[i<<]=s[i];
x[]=-,x[(n+)<<]=-,x[(n<<)+]=;
while(limit<=(n<<)+) limit<<=,++l;
for(int i=;i<limit;++i)
r[i]=(r[i>>]>>)|((i&)<<(l-));
for(int i=;i<=n;++i) A[i].x=B[i].x=s[i];
FFT(A,),FFT(B,);
for(int i=;i<limit;++i) A[i]=A[i]*B[i];
FFT(A,-);
for(int i=,l=(n<<)+;i<=l;++i) ans[i]+=((ll)(A[i].x/limit+0.5)-((i&)^));
memset(A,,sizeof(A)),memset(B,,sizeof(B));
for(int i=;i<=n;++i) A[i].x=B[i].x=(s[i]^);
FFT(A,),FFT(B,);
for(int i=;i<limit;++i) A[i]=A[i]*B[i];
FFT(A,-);
for(int i=,l=(n<<)+;i<=l;++i) ans[i]+=((ll)(A[i].x/limit+0.5)-((i&)^));
for(int i=,l=(n<<)+;i<=l;++i) ans[i]=((ans[i]+((i&)^))>>)+((i&)^);
for(int i=,l=(n<<)+;i<=l;++i) ans[i]=ksm(,ans[i])-;
manacher();
for(int i=,l=(n<<)+;i<=l;++i) ans[i]-=(p[i]>>);
for(int i=,l=(n<<)+;i<=l;++i) sum=add(sum,ans[i]);
printf("%lld\n",sum);
return ;
}

洛谷P4199 万径人踪灭(manacher+FFT)的更多相关文章

  1. 【BZOJ3160】万径人踪灭 Manacher+FFT

    [BZOJ3160]万径人踪灭 Description Input Output Sample Input Sample Output HINT 题解:自己想出来1A,先撒花~(其实FFT部分挺裸的) ...

  2. 洛咕 P4199 万径人踪灭

    给了两条限制,但是第二条想想是没用的,直接manacher就可以减掉多余的部分了,所以要求满足第一条的方案 也不难,可以想到枚举每个中心点,计算两边有多少对距离中心相等的位置值也相等,假设有\(t\) ...

  3. 洛谷.3805.[模板]manacher算法

    题目链接 之前做很早了没写这篇,补上. 记录当前ex[]最大的回文中心id和最远延伸范围mx! 关于串的构造: 应该是 @ #A#B#C#B#A# $ ,而不是 @ A#B#C#B#A $ 比如 @a ...

  4. 洛谷.4721.[模板]分治FFT(NTT)

    题目链接 换一下形式:\[f_i=\sum_{j=0}^{i-1}f_jg_{i-j}\] 然后就是分治FFT模板了\[f_{i,i\in[mid+1,r]}=\sum_{j=l}^{mid}f_jg ...

  5. 解题:洛谷4721 [模板]分治FFT

    题面 这是CDQ入门题,不要被题目名骗了,这核心根本不在不在FFT上啊=.= 因为后面的项的计算依赖于前面的项,不能直接FFT.所以用CDQ的思想,算出前面然后考虑给后面的贡献 #include< ...

  6. 洛谷P3805 [模板]Manacher算法 [manacher]

    题目传送门 题目描述 给出一个只由小写英文字符a,b,c...y,z组成的字符串S,求S中最长回文串的长度. 字符串长度为n 输入输出格式 输入格式: 一行小写英文字符a,b,c...y,z组成的字符 ...

  7. [uoj#34] [洛谷P3803] 多项式乘法(FFT)

    新技能--FFT. 可在 \(O(nlogn)\) 时间内完成多项式在系数表达与点值表达之间的转换. 其中最关键的一点便为单位复数根,有神奇的折半性质. 多项式乘法(即为卷积)的常见形式: \[ C_ ...

  8. 洛谷 P4721 [模板]分治FFT —— 分治FFT / 多项式求逆

    题目:https://www.luogu.org/problemnew/show/P4721 分治做法,考虑左边对右边的贡献即可: 注意最大用到的 a 的项也不过是 a[r-l] ,所以 NTT 可以 ...

  9. 【BZOJ3160】万径人踪灭(FFT,Manacher)

    [BZOJ3160]万径人踪灭(FFT,Manacher) 题面 BZOJ 题解 很容易想到就是满足条件的子序列个数减去回文子串的个数吧... 至于满足条件的子序列 我们可以依次枚举对称轴 如果知道关 ...

随机推荐

  1. NS3网络仿真(7): Wifi节点

    快乐虾 http://blog.csdn.net/lights_joy/ 欢迎转载,但请保留作者信息 在上一节中.我们仿真了一个总线型网络,这一节尝试将上一节中的n0变成一个无线的AP.再连上几个节点 ...

  2. Qt中 QString 和int,double等的转换

    Qt中 int ,float ,double转换为QString 有两种方法 1.使用 QString::number(); 如: long a = 63; QString s = QString:: ...

  3. 数据存储 --《高性能JavaScript》

    1.数据存储的方式 1.字面量 2.变量 3.数组项 4.对象成员 2.各自的性能特点 1.访问字面量和局部变量的速度最快,访问数组项和对象成员相对较慢 2.由于局部变量在作用域链的起始位置,因此访问 ...

  4. Robotium结果的收集和失败重跑

    引用自 http://www.robotium.cn/archives/author/zered 测试用例: testsuite管理测试用例 测试结果的输出与收集? InstrumentationTe ...

  5. 宠物连连看2完整Android代码项目

    宠物连连看2完整代码,该源代码支持多种风格的连连看游戏的,如有国旗类的连连看,还有宠物连连看的等,主要的功能实现了无尽关卡挑战模式.还有催命倒计时,以及链接提示,暂停.多样图片集,挑战眼力和速度等,而 ...

  6. ACM在线题库

    现在网上有许多题库,大多是可以在线评测,所以叫做Online Judge.除了USACO是为IOI准备外,其余几乎全部是大学的ACM竞赛题库. USACO http://ace.delos.com/u ...

  7. HDU 6078 Wavel Sequence 树状数组优化DP

    Wavel Sequence Problem Description Have you ever seen the wave? It's a wonderful view of nature. Lit ...

  8. adb常用命令整理

    adb connect <IPAddress:Port>  //通过指定的IP地址及端口连接设备 adb devices  //显示所有已连接的设备 adb install <Pac ...

  9. SpringMVC 之 Controller、Service层职责

    Controller层 1.接收httpRequest/requestDTO数据 ,检查接收数据参数与格式. 2.传递参数至Service层并接收返回responseDTO数据. 3.包装respon ...

  10. react native 之页面跳转

    第一章  跳转的实现 1.component  中添加这行代码 <View style={styles.loginmain}> <Text style={styles.loginte ...