LT_2527. 查询数组 Xor 美丽值

[2527. 查询数组 Xor 美丽值

](https://leetcode.cn/problems/find-xor-beauty-of-array/)

给你一个下标从 0 开始的整数数组 nums 。

三个下标 i ，j 和 k 的 有效值 定义为 ((nums[i] | nums[j]) & nums[k]) 。

一个数组的 xor 美丽值 是数组中所有满足 0 <= i, j, k < n 的三元组 (i, j, k) 的 有效值 的异或结果。

请你返回 nums 的 xor 美丽值。

注意：

• val1 | val2 是 val1 和 val2 的按位或。
• val1 & val2 是 val1 和 val2 的按位与。

示例 1：

输入：nums = [1,4]
输出：5
解释：
三元组和它们对应的有效值如下：
- (0,0,0) 有效值为 ((1 | 1) & 1) = 1
- (0,0,1) 有效值为 ((1 | 1) & 4) = 0
- (0,1,0) 有效值为 ((1 | 4) & 1) = 1
- (0,1,1) 有效值为 ((1 | 4) & 4) = 4
- (1,0,0) 有效值为 ((4 | 1) & 1) = 1
- (1,0,1) 有效值为 ((4 | 1) & 4) = 4
- (1,1,0) 有效值为 ((4 | 4) & 1) = 0
- (1,1,1) 有效值为 ((4 | 4) & 4) = 4 
数组的 xor 美丽值为所有有效值的按位异或 1 ^ 0 ^ 1 ^ 4 ^ 1 ^ 4 ^ 0 ^ 4 = 5 。

示例 2：

输入：nums = [15,45,20,2,34,35,5,44,32,30]
输出：34
解释：数组的 xor 美丽值为 34 。

提示：

• 1 <= nums.length <= 105
• 1 <= nums[i] <= 109

解题思路

设nums数组长度为n，已知，异或运算服从分配律。

粗暴解法：利用三重循环，将原有三元组的所有组合的有效值进行异或运算，超时；

• 当 i ≠ j 时，(i | j) & k = (j | i) & k ，二者异或结果为0，数量为(n-1)n^2，累计异或运算后仍为0；
• 当 i = j 时，(i | i) & k = i & k ，二者异或结果为0。这种共有n^2种，可以进一步化简：
  • 当 i ≠ k 时，因为 (i & k) = (k & i )，二者异或结果又为0 。这种情况有n(n-1)种，累计异或运算后仍为0；
  • 当 i = k 时，这种情况无法消去，但 i & k = i

则原式 = 0 ^ 0 ^ nums[0] ^ … ^ nums[n-1] = 0 ^ nums[0] ^ … ^ nums[n-1]

代码实现

class Solution {

    /**
         * 设数组长度为n，粗暴解法：利用三重循环，将原有三元组的所有组合的有效值进行异或运算
         * 已知，异或运算服从分配律
         * 当 i ≠ j 时，(i | j) & k = (j | i) & k ，二者异或结果为0，数量为(n-1)n^2，累计异或运算后仍为0
         * 当 i = j 时，(i | i) & k = i & k ，二者异或结果为0。这种共有n^2种，可以进一步化简：
         *      当 i ≠ k 时，因为 (i & k) = (k & i )，二者异或结果又为0 。这种情况有n(n-1)种，累计异或运算后仍为0
         *      当 i = k 时，这种情况无法消去，但 i & k = i
         *  则原式 = 0 ^ 0  ^ nums[0] ^ ... ^ nums[n-1] = 0  ^ nums[0] ^ ... ^ nums[n-1]
         * @param nums
         * @return
         */
    public int xorBeauty(int[] nums) {
        int result = 0;
        for (int i : nums) {
            result ^= i;
        }
        return result;
    }
}

踩坑点

使用三种循环思路简单，但很明显会超时。