anagram - 这是最好的字谜检查解决方案吗？

Question

我正在寻找一种有效的解决方案来检查两个字符串是否是字谜词，但字符表/字典检查对于 unicode 可能不是一个好的解决方案。我已经提出了一个解决方案，但我不知道如何在数学上证明它是正确的。公式表达为“(a + b) = (c + d) and a XOR b XOR c XOR d = 0 ==> (a,b) and (c,d) are anagrams”。也许你可以帮助我。下面是一个实现。

def isAnagram(s1: String, s2: String): Boolean = {
  if (s1.length != s2.length) return false
  else {
    var numVal = 0
    var bitVal = 0
    for (i <- 0 until s1.length) {
      numVal += s1(i) - s2(i)
      bitVal ^= s1(i) ^ s2(i)
    }

  return numVal == 0 && bitVal == 0
}

Answer 1

icepack 的计数器示例不正确，为 1 ^ 5 ^ 3 ^ 2 ^ 4 ^ 3 = 2，而不是 0。

这是一个更好的反例:s1 = (5, 0, 5) 和 s2 = (1, 4, 5)。

5 + 0 + 5 = 1 + 4 + 5

5^0^5^1^4^5=0