LeetCode: 1371. 每个元音包含偶数次的最长子字符串

给你一个字符串 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;
    }
};