Given three integer arrays a, b, and c, return the number of triplets (a[i], b[j], c[k]), such that the bitwise XOR between the elements of each triplet has an even number of set bits.
Example 1:
Input:a = [1], b = [2], c = [3]
Output:1
Explanation:
The only triplet is (a[0], b[0], c[0]) and their XOR is: 1 XOR 2 XOR 3 = 002.
Example 2:
Input:a = [1,1], b = [2,3], c = [1,5]
Output:4
Explanation:
Consider these four triplets:
(a[0], b[1], c[0]): 1 XOR 3 XOR 1 = 0112
(a[1], b[1], c[0]): 1 XOR 3 XOR 1 = 0112
(a[0], b[0], c[1]): 1 XOR 2 XOR 5 = 1102
(a[1], b[0], c[1]): 1 XOR 2 XOR 5 = 1102
Constraints:
1 <= a.length, b.length, c.length <= 105
0 <= a[i], b[i], c[i] <= 109
Solutions
Solution 1: Bit Manipulation
Thinking
We need triples whose XOR has an even popcount. \(n\le 10^5\) forbids enumerating triples. The parity of the XOR popcount is the parity of the three popcount parities.
Each array therefore collapses to two counts: popcount modulo \(2\). Enumerate the three parities and, when their sum is even, add the product of the three counts. After a linear pass the combination is \(O(1)\).
For two integers, the parity of the number of \(1\)s in the XOR result depends on the parity of the number of \(1\)s in the binary representations of the two integers.
We can use three arrays cnt1, cnt2, cnt3 to record the parity of the number of \(1\)s in the binary representations of each number in arrays a, b, c, respectively.
Then, we enumerate the parity of the number of \(1\)s in the binary representations of each number in the three arrays within the range \([0, 1]\). If the sum of the parity of the number of \(1\)s in the binary representations of three numbers is even, then the number of \(1\)s in the XOR result of these three numbers is also even. At this time, we multiply the combination of these three numbers and accumulate it into the answer.
Finally, return the answer.
The time complexity is \(O(n)\), where \(n\) is the length of arrays a, b, c. The space complexity is \(O(1)\).