完全散列的二次散列可行性证明分析【20天掌握算法导论day6】

本文是我对算法导论P156-159 11.5节完全散列的证明分析

本文重点：
1.对完全散列四大定理的证明进行分析，着重堆二次散列进行了可行性分析
2. 对完全散列四大定理的证明进行分析，着重堆二次散列进行了可行性分析对完全散列四大定理的证明进行分析，着重堆二次散列进行了可行性分析
3. 马尔科夫不等式就是刻画 事物偏离它本质的偏离程度 的大小 的概率。马尔科夫不等式就是刻画 事物偏离它本质的偏离程度 的大小 的概率。马尔可夫不等式给出了随机变量的函数大于等于某正数的概率的上界。本文甚至直接称定理11.12为定理11.9的马尔可夫描述。
4. 本文指出，四大定理的证明与5.4节概率证明的相似性

• 【证明套路】
	○ 没有讨论，很简单，大部分是代数推导
• 【本定理证明的依据是什么？本定理为什么能证明成功？证明成功的背后本质原因是什么？】
	○  而定理11.9~11.12是全域散列函数全域性假设的直接体现。这4个定理没有掺杂别的假设和性质，完全直接由全域性导出。
• 【性能与结构关联分析】
	○ 完全散列的性能特质主要依赖于二次散列的结构特征。二次散列的结构特征主要集中表现在其全域性上。
• 【关联证明】
	○ 5.4节生日悖论问题，球与箱子问题与本节的证明非常类似，都是一种有限空间的相撞概率问题。
• 【证明结果的意义】
	○ 定理11.9在理论上证明了完全散列技术的可靠性。因为该定理保证了二级散列冲突的概率不太大，因此我们能够快速的找到一个合适的二次散列函数。
	○ 定理11.10~11.12的核心是定理11.10；11.11和11.12可以看做是11.10的推论。
	○ 定理11.12可以看做是定理11.10的马尔科夫描述。
	○ 定理11.9、11.10、11.11、11.12可以看做是从理论上证明完全散列的二次散列步骤的可行性分析。
		§ 11.9从时间角度证明了二次散列是可行的
          11.10~11.12从空间上证明了二次散列是可行的

以下为算法导论正文