全域散列法性能证明

本文首先依据全域散列函数的全域性来证明全域散列法的性能，而后设计一个全域散列函数。

下面是定理11.3和推论11.4的证明分析，其实我们的目的是为了证明推论11.4，才想到去证明定理11.3
• 【证明核心步骤】
○ 指示器变量+分类讨论+穷举
○ 【证明目标锁定】：因为散列表的性能主要决定于其查找操作的性能，因此我们决定求得任意关键词k所在链表的期望长度
• 【证明成功的背后本质原因】
○ 核心假设：散列函数的全域性假设，即得知冲突概率为1/m，这是本次证明和核心。
○ 【直观分析】：既然知道了冲突概率1/m,那么冲突的数量很自然就是n/m了
○ 本定理是全域性假设假设成立后的直接结果
• 【证明结果的意义】
定理11.3直接导出了推论11.4，而推论11.4即说明了我们的全域散列函数性能非常好。

下文将设计一个全域散列函数，并证明其全域性。
证明全域性是一个纯代数活，没有什么好分析的