leetcode 1442.形成两个异或相等数组的三元组数目 - 前缀和

leetcode 1442.形成两个异或相等数组的三元组数目 - 前缀和

题干

给你一个整数数组 arr 。
现需要从数组中取三个下标 i、j 和 k ，其中 (0 <= i < j <= k < arr.length) 。
a 和 b 定义如下：
a = arr[i] ^ arr[i + 1] ^ … ^ arr[j - 1]
b = arr[j] ^ arr[j + 1] ^ … ^ arr[k]
注意：^ 表示 按位异或 操作。
请返回能够令 a == b 成立的三元组 (i, j , k) 的数目。

示例 1：
输入：arr = [2,3,1,6,7]
输出：4
解释：满足题意的三元组分别是 (0,1,2), (0,2,2), (2,3,4) 以及 (2,4,4)

示例 2：
输入：arr = [1,1,1,1,1]
输出：10

示例 3：
输入：arr = [2,3]
输出：0

示例 4：
输入：arr = [1,3,5,7,9]
输出：3

示例 5：
输入：arr = [7,11,12,9,5,2,7,17,22]
输出：8

提示：
1 <= arr.length <= 300
1 <= arr[i] <= 10^8

知识点&算法

数据量仅仅300，用前缀异或三重循环枚举ijk也就1e6的时间复杂度。

题解

三重循环：

class Solution {
public:
    int preXor[305];
    int countTriplets(vector<int>& arr) {
        int n = arr.size(),res = 0;
        for(int i = 1 ; i <= n ; ++i){
            preXor[i] = preXor[i-1] ^ arr[i-1];
        }
        for(int i = 0 ; i < n - 1 ; ++i){
            for(int j = i + 1 ; j < n ; ++j){
                for(int k = j ; k < n ; ++k){
                    if(preXor[j] ^ preXor[i] == preXor[k+1] ^ preXor[j]) res++;
                }
            }
        }
        return res;
    }
};

在这个基础之上可以对判断式进行化简，两边同时异或preXor[j]

preXor[j] ^ preXor[i] == preXor[k+1] ^ preXor[j]

就可以化简为

preXor[i] == preXor[k+1]

然后进一步发现，这个式子里j直接消失了，那就不用枚举j了，直接枚举i和k就行，对于每个符合条件的i和k，j可以取i+1 i+2 … k的所有值。
如此，时间复杂度就进一步降低了。

class Solution {
public:
    int preXor[305];
    int countTriplets(vector<int>& arr) {
        int n = arr.size(),res = 0;
        for(int i = 1 ; i <= n ; ++i){
            preXor[i] = preXor[i-1] ^ arr[i-1];
        }
        for(int i = 0 ; i < n - 1 ; ++i){
            for(int k = i + 1 ; k < n ; ++k){
                if(preXor[i] == preXor[k+1]) res += k - i;
            }
        }
        return res;
    }
};

如果枚举k，所有可能的i都在k左侧，因此只要在枚举k的过程中维护左侧可能符合条件的i即可。
对于每个符合条件的i，对答案的贡献是k - i，因此k左侧全部符合条件的i一共对答案的贡献就是(k - i1) + (k - i2) + … +(k - im) = k * m + sigma(i)
因此可以用哈希表来维护k左侧出现的所有前缀异或区间，对于每次遍历到的k，只要检查哈希表中是否存在前缀异或和其相等的i界，然后将贡献累加即可。

class Solution {
public:
    int countTriplets(vector<int>& arr) {
        int n = arr.size(),res = 0;
        vector<int> preXor(n+5,0);
        for(int i = 1 ; i <= n ; ++i){
            preXor[i] = preXor[i-1] ^ arr[i-1];
        }
        unordered_map<int,int> cnt,sum;
        for(int k = 0 ; k < n ; ++k){
            if(cnt[preXor[k+1]]){
                res += cnt[preXor[k+1]] * k  - sum[preXor[k+1]];
            }
            cnt[preXor[k]]++;
            sum[preXor[k]] += k;
        }
        return res;
    }
};