求一个数组中的三元组i，j，k的个数，使得索引为i到j-1的元素的异或等于索引为j到k的元素的异或

Question

for (int i = 0; i < arr.length; i++) {
            int xor = arr[i];
            for (int j = i + 1; j < arr.length; j++) {
                xor ^= arr[j];
                if (xor == 0) {
                    ans += (j - i);
                }
            }
        }
        finAns.append(ans + "\n");

Answer 1

以下是基于Ciapan在问题描述下的评论的O(n)解决方案：

如果在指数I到J-1处的项的异或等于从J到K的异或，那么从I到K的异或等于零。对于任何这样的子数组[I.K]，I+1和K-1之间的每一个J构成满足要求的三元组。从I到K的xor等于（从0到K的xor)xor（从0到I-1的xor）。所以我想你可能会找到序列所有可能的初始部分的异或-s，并寻找它们的相等对。

函数f是主要方法。brute_force用于验证。

import random

def brute_force(A):
  res = 0

  for i in xrange(len(A) - 1):
    left = A[i]
    for j in xrange(i + 1, len(A)):
      if j > i + 1:
        left ^= A[j - 1]
      right = A[j]
      for k in xrange(j, len(A)):
        if k > j:
          right ^= A[k]
        if left == right:
          res += 1

  return res

def f(A):
  ps = [A[0]] + [0] * (len(A) - 1)
  for i in xrange(1, len(A)):
    ps[i] = ps[i- 1] ^ A[i]

  res = 0
  seen = {0: (-1, 1, 0)}

  for  i in xrange(len(A)):
    if ps[i] in seen:
      prev_i, i_count, count = seen[ps[i]]
      new_count = count + i_count * (i - prev_i) - 1
      res += new_count
      seen[ps[i]] = (i, i_count + 1, new_count)
    else:
      seen[ps[i]] = (i, 1, 0)

  return res

for i in xrange(100):
  A = [random.randint(1, 10) for x in xrange(200)]
  f_A, brute_force_A = f(A), brute_force(A)
  assert f_A == brute_force_A
print "Done"