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;
}
};