【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. 示例 1：
   输入：arr = [2,3,1,6,7]
   输出：4
   解释：满足题意的三元组分别是 (0,1,2), (0,2,2), (2,3,4) 以及 (2,4,4)

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

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

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

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

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

来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/count-triplets-that-can-form-two-arrays-of-equal-xor
著作权归领扣网络所有。商业转载请联系官方授权，非商业转载请注明出处。

解题思路

思路一：暴力法，使用三重循环，分别确定好 i j k 的下标，然后逐个进行判断

思路二：优化好后可直接变成一重循环，用两个HashMap换取时间上的减少。这里重点说一下思路二

思路二的基础是前缀异或，即开辟一块空间，保存好从下标0开始到当前下标所有元素的异或值。而该空间的第一个元素恒为0。

• 这样一来，按题目要求来说，a = list[i] ^ list[j]，b = list[j] ^ list[k+1]
• 如果 a == b，那么 list[i] ^ list[j] = list[j] ^ list[k+1] → list[i] = list[k+1]

可以看出来和 j 没有关系，可以减少一层循环，而用HashMap可以通过键值对进一步减少一层循环，达成O(n)的时间复杂度

另外对于下标 k 的数字而言，若有 list[i₁]…list[i_m]都等于list[i_k]，那么新添加的个数等于

( k − i 1 ) + . . . + ( k − i m ) = m × k − ( i 1 + . . . + i m ) (k-i_1)+...+(k-i_m)=m×k-(i_1+...+i_m) (k−i