哈希模理论 (www.philipzucker.com)

本文探讨了在存在等价关系的情况下如何进行哈希运算。作者分析了三种主要方法：规范化、同态和不变量/指纹。规范化涉及将结构转换为规范形式并对其进行哈希运算，同态寻找尊重数据结构对称性的整数运算符，而指纹则利用不完全描述结构但有助于解决冲突的不变量。文章还探讨了将这些技术应用于各种数据结构和数学对象的示例，包括集合、多重集、树和alpha可重命名项。