LGP1659 拉拉队排练 (PAM)
LGP1659 拉拉队排练
Mean
询问一个串中所有奇回文按照长度降序排列,前\(k\)个奇回文的长度乘积。
Sol
\(PAM\).
建出\(PAM\)后,维护出每个回文串的长度和出现的次数,最后取出长度为奇数的回文串计数即可.
\(O(n)\).
Code
#include<bits/stdc++.h>
using namespace std;
/*
PAM + 记录每个回文串的长度和出现的次数
简单应用
*/
const int MAXN = 1e6+10 ;
const int N = 26 ;
typedef long long ll;
const ll mod = 19930726;
struct Palindromic_Tree {
int next[MAXN][N] ;//next指针,next指针和字典树类似,指向的串为当前串两端加上同一个字符构成
int fail[MAXN] ;//fail指针,失配后跳转到fail指针指向的节点
long long cnt[MAXN] ;//cnt[i]表示节点i表示的本质不同的串的个数(建树时求出的不是完全的,最后count()函数跑一遍以后才是正确的)
int num[MAXN] ;//表示以节点i表示的最长回文串的最右端点为回文串结尾的回文串个数
long long len[MAXN] ;//len[i]表示节点i表示的回文串的长度
int S[MAXN] ;//存放添加的字符
int last ;//指向上一个字符所在的节点,方便下一次add
int n ;//字符数组指针
int p ;//节点指针
int newnode ( int l ) {//新建节点
for ( int i = 0 ; i < N ; ++ i ) next[p][i] = 0 ;
cnt[p] = 0 ;
num[p] = 0 ;
len[p] = l ;
return p ++ ;
}
void init () {//初始化
p = 0 ;
newnode ( 0 ) ;
newnode ( -1 ) ;
last = 0 ;
n = 0 ;
S[n] = -1 ;//开头放一个字符集中没有的字符,减少特判
fail[0] = 1 ;
}
int get_fail ( int x ) {//和KMP一样,失配后找一个尽量最长的
while ( S[n - len[x] - 1] != S[n] ) x = fail[x] ;
return x ;
}
void add ( int c ) {
c -= 'a' ;
S[++ n] = c ;
int cur = get_fail ( last ) ;//通过上一个回文串找这个回文串的匹配位置
if ( !next[cur][c] ) {//如果这个回文串没有出现过,说明出现了一个新的本质不同的回文串
int now = newnode ( len[cur] + 2 ) ;//新建节点
fail[now] = next[get_fail ( fail[cur] )][c] ;//和AC自动机一样建立fail指针,以便失配后跳转
next[cur][c] = now ;
num[now] = num[fail[now]] + 1 ;
}
last = next[cur][c] ;
cnt[last] ++ ;
}
void count () {
for ( int i = p - 1 ; i >= 0 ; -- i ) cnt[fail[i]] += cnt[i] ;
//父亲累加儿子的cnt,因为如果fail[v]=u,则u一定是v的子回文串!
}
long long gao(){
long long mx=0;
for(int i=2;i<=p-1;++i){
mx=max(mx,cnt[i]*len[i]*1ll);
}
return mx;
}
} pam;
char s[MAXN];
ll qpow(ll a,ll b){
ll ans=1;
while(b){
if(b&1){
ans=ans*a%mod;
}
a=a*a%mod;
b>>=1;
}
return ans;
}
ll n,k;
struct node{
int len,cnt;
}q[MAXN];
bool cmp(node a,node b){
return a.len>b.len;
}
int main(){
ios::sync_with_stdio(false);
cin.tie(0);
cin>>n>>k;
cin>>s+1;
int len=strlen(s+1);
pam.init();
for(int i=1;i<=len;++i){
pam.add(s[i]);
}
pam.count();
ll ans=1;
int con=0;
for(int i=2;i<=pam.p-1;++i){
if(pam.len[i]&1)q[++con]=(node){pam.len[i],pam.cnt[i]};
}
sort(q+1,q+1+con,cmp);
for(int i=1;i<=con;++i){
if(k-q[i].cnt<=0){
ans=(ans*qpow(q[i].len,k))%mod;
k-=q[i].cnt;
break;
}
ans=(ans*qpow(q[i].len,q[i].cnt))%mod;
k-=q[i].cnt;
}
if(k<=0)cout<<ans;
else cout<<-1;
return 0;
}