题面
分析
魔幻的题目。
对于两个起点x,y,设间隔p=y-x,容易看出若
i = j (mod p)
,那么s[i]与s[j]的值应该相等。也就是p个一循环。
这是很关键的性质 然而我并没有发现???!
现在考虑所有%p相等的位置,当然是都改成出现次数最多的最优。
那么我们枚举p,维护一个f[x][c]表示模数为x的位置c的出现次数。
我们还需要求个s[x]与mx[x],这些自己脑补维护一下就好 维护次数的次数是什么蛇皮玩意
这样我们就能O(1)计算出当前答案,若答案大于k则l++,否则r++.
因为若[l,r]合法,则[l+1,r]一定合法,所以就是经典的尺子算法(啥玩意儿)
DEMO
#include <cstdio>
#include <iostream>
#include <cstring>
using namespace std;
const int N=3010;
int k,n;
char c[N];
int xc[N][255]; //x%p=i的字符桶
int yc[N][N]; //x%p=i的字符出现次数为y的次数
int s[N],p;
int mx[N],l,r,ans,now;
int add(int x) {
int z=x%p,&k=xc[z][c[x]];
--yc[z][k];
++yc[z][++k];
++s[z];
if (k>mx[z]) mx[z]=k; else now++;
return now;
}
int del(int x) {
int z=x%p,&k=xc[z][c[x]];
--yc[z][k];
++yc[z][--k];
++s[z];
if (yc[z][mx[z]]==0) --mx[z]; else now--;
return now;
}
int main() {
freopen("repeat.in","r",stdin);
freopen("repeat.out","w",stdout);
cin>>k; scanf("%s",c+1); n=strlen(c+1);
for (int i=1; i<=n; i++) yc[i][0]=1;
for (p=1; p<n; p++) {
l=1,r=0;
while (r<n) {
if (add(++r)>k)
while (del(l++)>k);
ans=max(ans,r-l+1-p);
}
while (l<=r)
del(l++);
}
cout<<ans<<endl;
}