给你一个字符串 s ,请你返回满足以下条件的最长子字符串的长度:每个元音字母,即 'a','e','i','o','u' ,在子字符串中都恰好出现了偶数次。
示例 1:
输入:s = "eleetminicoworoep"
输出:13
解释:最长子字符串是 "leetminicowor" ,它包含 e,i,o 各 2 个,以及 0 个 a,u 。
示例 2:
输入:s = "leetcodeisgreat"
输出:5
解释:最长子字符串是 "leetc" ,其中包含 2 个 e 。
示例 3:
输入:s = "bcbcbc"
输出:6
解释:这个示例中,字符串 "bcbcbc" 本身就是最长的,因为所有的元音 a,e,i,o,u 都出现了 0 次。
提示:
1 <= s.length <= 5 x 10^5
s 只包含小写英文字母。
分析:
这个题难度还是很大的,自己没有做出来,而是学习了题解。在这里总结一下这个题吧:
首先用到了前缀和,在“优美子数组”那道题里并没有明确说明为什么使用前缀和的方法。依据个人理解,题目对我们的要求是找到符合要求的区间,而区间是需要两个位置坐标的,比如[i, j]。而我们解决问题最简单的方法也是暴力,如果我们枚举i和j,很明显复杂度是O(N^2),是过不了时间限制的。
这个时候我们可以考虑前缀和的方法,遍历一遍数组,我们通过两个前缀和的差值来表示题目的要求。比如我们定义pre[i][k]表示在字符串前i个字符中,第k个元音字符一共出现的次数。对于区间[l, r],我们用pre[r][k] - pre[l - 1][k]可以得到第k个元音字符的出现次数。统计的时候,遍历的时间复杂度是O(N),这是一种优化,但是如果要计算pre[r][k] - pre[l - 1][k],仍然需要遍历r和l,时间复杂度仍然是O(N^2)。
第二步就是对于差值的优化。我们应该想一种方法,降低计算差值的时间复杂度。此处可以看“优美子数组”那道题,利用map查询时间复杂度为O(logN)来降低了整体的复杂度,化O(N^2)为O(NlogN)。只不过巧妙的是对于map的key和value,key表示前缀和的值,value表示对应数组的个数,这样方便我们求差值。而对于这道题,差值并不是一个固定的值,看起来并不好统计。
第三个点,虽然差值不是固定的,但是奇偶性是固定的。我们需要统计元音出现次数为偶数的数组。据我们所知,奇数 - 奇数 = 偶数;偶数 - 偶数 = 偶数。所以我们在前缀和中只需要统计数组的奇偶性就好了。比如pre[i][k]表示前i个字符中,元音字母k出现次数的奇偶性。那么一个区间s[j + 1, i]满足条件当且仅当对于所有的原因字母k,pre[i][k]和pre[j][k]的奇偶性相同。因为这个题目求的是最大区间长度,所以我们可以用哈希表的key表示各个元音字母出现次数的奇偶性,value表示最早出现该奇偶性的位置。
这就是题目的大体思路。但是这里还可以对题目进行优化,也就是状态压缩。因为奇偶性只有两种状态,所以可以用0和1来表示。五个元音字母可以用五位二进制数来表示。范围从00000到11111,换算成十进制也就是[0, 31],可以直接用一个数组来存储奇偶状态即可。
class Solution {
public:
int findTheLongestSubstring(string s) {
int ans = 0, status = 0, len = s.length();
vector<int> pos(1 << 5, -1);
pos[0] = 0; //单独定义
for(int i = 0; i < len; i++){
if(s[i] == 'a') status ^= 1;
else if(s[i] == 'e') status ^= 1 << 1;
else if(s[i] == 'i') status ^= 1 << 2;
else if(s[i] == 'o') status ^= 1 << 3;
else if(s[i] == 'u') status ^= 1 << 4;
if(pos[status] >= 0) ans = max(ans, i + 1 - pos[status]);
else pos[status] = i + 1;
}
return ans;
}
};