题干:力扣

 

解题报告：

刚开始觉得直接贪心选有短则短，但是发现不行，不能贪心有短的可以操作的则选短的。

三个方式想到倒着递推。一是直接记住这个特例，正推还倒推不能互相转换的特例。

二是因为dp[i]代表前i个的最大次数，这其实不只要保存最大次数这一个状态，还有可能很多局部最优解需要保存。怎么消除这个因素呢？就是怎么让他和子状态无关呢？倒着推，结合这题的题意，正好。

三是正难则反的思想。正着想是，dp[i]代表前i个能消除的最大次数，枚举最后一次消除次数，反着想，就是dp[i]代表从i到结尾都消除的最大次数，然后枚举第一次消除的字符串。然后一想，诶，这就是可解的了。

然后就是对于如何判断两个字符串的相等，可以字符串哈希，也可以用求LCP的板子。

AC代码：

class Solution {
public:unsigned long long H[5005];unsigned long long p[5005];// 都自然溢出即可int seed = 31, dp[5005];bool ok[5005][5005];unsigned long long cal(int l, int r) {if (l == 0) return H[r];return H[r] - H[l-1] * p[r-l+1];}int deleteString(string s) {H[0] = s[0]-'a'+1;p[0] = 1;for(int i = 1; i<s.size(); i++) p[i] = p[i-1]*seed;for(int i = 1; i<s.size(); i++) {H[i] = H[i-1]*seed + s[i] - 'a' + 1;}int ans = 0;int st = 0;for(int i = 0; i<s.size(); i++) {for(int j = i+1; j<s.size(); j+=2) {int len = j-i+1;if(cal(i, i+len/2-1) == cal(i+len/2, i+len-1)) ok[i][j] = 1;}}for(int i = s.size()-1; i>=0; i--) {dp[i] = 1;for(int j = i+1; j<s.size(); j+=2) {if(ok[i][j]) dp[i] = max(dp[i], dp[i+(j-i+1)/2] + 1);}}return dp[0];}
};

错误代码：（从前往后递推的）

class Solution {
public:unsigned long long H[5005];unsigned long long p[5005];// 都自然溢出即可int seed = 31, dp[5005];bool ok[5005][5005];unsigned long long cal(int l, int r) {if (l == 0) return H[r];return H[r] - H[l-1] * p[r-l+1];}int deleteString(string s) {H[0] = s[0]-'a'+1;p[0] = 1;for(int i = 1; i<s.size(); i++) p[i] = p[i-1]*seed;for(int i = 1; i<s.size(); i++) {H[i] = H[i-1]*seed + s[i] - 'a' + 1;}int ans = 0;int st = 0;for(int i = 0; i<s.size(); i++) {for(int j = i+1; j<s.size(); j+=2) {int len = j-i+1;if(cal(i, i+len/2-1) == cal(i+len/2, i+len-1)) ok[i][j] = 1;}}for(int i = 0; i<s.size(); i++) {dp[i] = -1;if(ok[0][i]) dp[i] = 1;for(int j = 1; j<i; j++) {if(i+i-j >= s.size()) continue;if(dp[j] != -1 && ok[j+1][i+i-j]) {dp[i] = max(dp[i], dp[j]+1);}}if(i != s.size()-1) ans = max(ans, dp[i]);}return max(ans+1, dp[s.size()-1]);}
};

LCP：

lcp[i][j] 表示 s[i:] 和 s[j:] 的最长公共前缀

        n = len(s)lcp = [[0] * (n + 1) for _ in range(n + 1)]  # lcp[i][j] 表示 s[i:] 和 s[j:] 的最长公共前缀for i in range(n - 1, -1, -1):for j in range(n - 1, i, -1):if s[i] == s[j]:lcp[i][j] = lcp[i + 1][j + 1] + 1