Question

这个问题是对Implementing hashCode for a BST的跟进。我的问题很难想到，所以我得到了一个我不确定如何使用的答案。

我需要为BST实施equals：以便 iff 两个BST在结构和内容上相等，然后equals返回true。因此，我想我还需要实现hashCode函数。我得到了hashCode函数的答案，使得树的结构和内容相同。

@Override
puclic int hashCode(){
  int h = Objects.hashCode(data);//data is int
  int child=0;
  if(null != left)
    child =left.hashCode();
  if(null != right)
    child+= right.hashCode();
  if(0<child) h= h*31+child;
  return h;
}

但是我该如何实现equals功能呢？以下工作 iff 树的结构和内容是否相同？

@Override
public boolean equals(Node otherRoot){
   return root.hashCode() == otherRoot.hashCode();
}

有可能出现误报的情况吗？

或者我的hashCode应该

@Override
public int hashCode(){
  int h = contents.hashCode();
  h = h * 31 + Objects.hashCode(leftChild);
  h = h * 31 + Objects.hashCode(rightChild);
  return h;
}

在后一种情况下，我的equals会避免误报吗？

Answer 1

以下工作 iff 树的结构和内容是否相同？ root.hashCode() == otherRoot.hashCode()

不，它不起作用，因为哈希码相等是一条单行道：当对象相等时，哈希码必须相等。但是，当对象不相等时，哈希码可能相同也可能不相等。一旦你应用pigeonhole principle，这是有道理的：可能的哈希码的数量大约是4B，而可能的BST的数量实际上是无限的。

您可以使用与构建哈希码相同的方式构建比较 - 即递归地：

检查被比较节点的值是否相等。如果值不同，请返回false
检查两个节点是否都有左子树。如果其中一个有左子树而另一个没有，请返回false
检查两个节点是否都有正确的子树。如果其中一个具有正确的子树而另一个没有，则返回false
递归地将equals应用于左子树。如果结果为false，请返回false
递归地将equals应用于右子树。如果结果为false，请返回false
返回true

Answer 2

不确定是什么对象，但是你的最后一个hashCode（）示例需要处理null，我想会像：

@Override
public int hashCode() {
  int h = contents.hashCode();
  if (leftChild != null) h = h* 31 + leftChild.hashCode();
  if (rightChild != null) h = h * 31 + rightChild.hashCode();
  return h;
}

如果树足够深，我可以看到溢出的h，所有h * 31。

hashCode的contract不保证相等，所以你可能需要在树中一直调用equals以确保一切平衡。

Answer 3

我还没有完全测试过这个问题但是在这里开始

public boolean equals(Object o) {
  // exact same object
  if(this === o) {
    return true;
  }

  if(!o instanceof Node) {
    return false
  }

  Node otherTree = (Node) o;

  boolean selfHasLeft = this.left == null,
          selfHasRight = this.right == null,
          otherHasLeft = otherTree.left == null,
          otherHasRight = otherTree.right == null;

  // this tree must have the same children as the other tree
  if(selfHasLeft != otherHasLeft || selfHasRight != otherHasRight) {
    return false;
  }

  // must have same value
  if(this.value != other.value) {
    return false;
  }

  // if they have no children then now they should be the same tree
  // otherwise, check that their children are the same
  if(!selfHasLeft && !selfHasRight) {
    return true;
  } else if(selfHasLeft && !selfHasRight) {
    return this.left.equals(otherTree.left);
  } else if(selfHasRight && !selfHasLeft) {
    return this.right.equals(otherTree.right);
  } else {
    return this.left.equals(otherTree.left) && this.right.equals(otherTree.right);
  }

}

Answer 4

你的第二个hashCode实现看起来不错，但是当可能的对象的数量大于int的范围时，你永远无法避免哈希码冲突 - 这就是你的情况所以你应该这样做不要在equals中使用哈希码。

你应该做的是这样的（假设班级名称是BST）：

public boolean equals(Object other) {
    if(this == other) {
        return true;
    }
    if(!(other instanceof BST)) {
        // If other is null we will end up here
        return false;
    }

    BST bst = (BST) other;

    // Check equality of the left child
    if(left != null) {
        if(!left.equals(other.left)) {
            // Left childs aren't equal
            return false;
        }
    } else if (other.left != null) {
        // this.left is null but other.left isn't
        return false;
    }

    // Check equality of the right child
    if(right != null) {
        if(!right.equals(other.right)) {
            // Right childs aren't equal
            return false;
        }
    } else if (other.right != null) {
        // this.right is null but other.right isn't
        return false;
    }
    // Both left and right childs are equal
    return true;
}

为BST实现equals和hashcode

4 个答案: