首先我们观察到若一个串可以折叠,那么必然是折叠后的长度小于原来长度。然后还有一点,还可能是这个串的两部分折叠后拼接,实际上对应着另外一种转移的情况。那么不难发现这是一个区间DP的问题
状态转移
设 d ( i , j ) d(i,j) d(i,j)为区间[i,j]折叠后的最小长度,区间长度为 l l l,那么我们先考虑是否可以自身折叠,设 r e s res res为我们求出该区间的最小周期,字符串 t m p tmp tmp为周期个数对应字符串,则有:
d [ i ] [ j ] = t m p + ′ ( ′ + d [ i ] [ i + r e s − 1 ] + ′ ) ′ , t m p . s i z e ( ) + 2 + r e s < l d[i][j]=tmp+'('+d[i][i+res-1]+')',tmp.size()+2+res<l d[i][j]=tmp+′(′+d[i][i+res−1]+′)′,tmp.size()+2+res<l
需要特别注意为什么括号里不是我们求出的最小周期串,因为该串也可能自身折叠,也就是说源串中的这一区间串不一定是最短长度,那么我们需要的是 d [ i ] [ i + r e s − 1 ] d[i][i+res-1] d[i][i+res−1]
然后我们再和拼接两部分子串判断,同理这个子串也应该是折叠后的,即:
d [ i ] [ j ] = m i n ( d [ i ] [ k ] + d [ k + 1 ] [ j ] ) d[i][j]=min(d[i][k]+d[k+1][j]) d[i][j]=min(d[i][k]+d[k+1][j])
边界和答案
因为我们处理区间是小区间优先,而区间长度为1的话就直接是该字符本身,即 d [ i ] [ i ] = s [ i ] ; d[i][i]=s[i]; d[i][i]=s[i];
最终的答案是 d ( 0 , n − 1 ) d(0,n-1) d(0,n−1)
注意
在 c a l cal cal函数中不知道为什么必须判断区间长度能否整除该周期,我寻思这个串的周期如果存在那么一定会整除的吧,但是不加就是会 w a wa wa,有点难受
#include <set>
#include <map>
#include <stack>
#include <queue>
#include <math.h>
#include <cstdio>
#include <string>
#include <bitset>
#include <cstring>
#include <sstream>
#include <iostream>
#include <algorithm>
#include <unordered_map>
using namespace std;
#define fi first
#define se second
#define pb push_back
#define ins insert
#define lowbit(x) (x&(-x))
#define mkp(x,y) make_pair(x,y)
#define mem(a,x) memset(a,x,sizeof a);
typedef long long ll;
typedef long double ld;
typedef unsigned long long ull;
typedef pair<int,int> P;
const double eps=1e-8;
const double pi=acos(-1.0);
const int inf=0x3f3f3f3f;
const ll INF=1e18;
const int Mod=1e9+7;
const int maxn=2e5+10;
string s,d[105][105];
int cal(int x,int y,string res){
int len=res.size();
for(int i=1;i<y-x+1;i++) if(!(len%i))
for(int j=i;j<=y-x;j++){
if(res[j]!=res[j%i]) break;
if(j==y-x) return i;
}
return 0;
}
string solve(int x){
string res="";
stack<char> st;
while(x){
st.push(x%10+'0');
x/=10;
}
while(st.size()){
res+=st.top();
st.pop();
}
return res;
}
int main(){
//freopen("in.txt","r",stdin);
//freopen("out.txt","w",stdout);
ios::sync_with_stdio(0),cin.tie(0),cout.tie(0);
while(cin>>s){
int n=s.size();
for(int i=0;i<n;i++) d[i][i]=s[i];
for(int l=2;l<=n;l++)
for(int i=0;i+l-1<n;i++){
int j=i+l-1;
d[i][j]=s.substr(i,l); //特别注意
int res=cal(i,j,d[i][j]);
if(res){
int ins=l/res;
string tmp=solve(ins);
if((int)tmp.size()+2+res<l)
d[i][j]=tmp+'('+d[i][i+res-1]+')'; //特别注意
}
int pos=-1,len=d[i][j].size();
for(int k=i;k<j;k++){
if(len>(int)d[i][k].size()+(int)d[k+1][j].size())
len=(int)d[i][k].size()+(int)d[k+1][j].size(),pos=k;
}
if(pos!=-1) d[i][j]=d[i][pos]+d[pos+1][j];
}
cout<<d[0][n-1]<<endl;
}
return 0;
}