Hash表也称散列表,也有直接译作哈希表,Hash表是一种特殊的数据结构,它同数组、链表以及二叉排序树等相比较有很明显的区别,它能够快速定位到想要查找的记录,而不是与表中存在的记录的关键字进行比较来进行查找。这个源于Hash表设计的特殊性,它采用了函数映射的思想将记录的存储位置与记录的关键字关联起来,从而能够很快速地进行查找。
零、Hash表的设计思想
对于一般的线性表,比如链表,如果要存储联系人信息:
张三 13980593357
李四 15828662334
王五 13409821234
张帅 13890583472
那么可能会设计一个结构体包含姓名,手机号码这些信息,然后把4个联系人的信息存到一张链表中。当要查找”李四 15828662334“这条记录是否在这张链表中或者想要得到李四的手机号码时,可能会从链表的头结点开始遍历,依次将每个结点中的姓名同”李四“进行比较,直到查找成功或者失败为止,这种做法的时间复杂度为O(n)。即使采用二叉排序树进行存储,也最多为O(logn)。假设能够通过”李四“这个信息直接获取到该记录在表中的存储位置,就能省掉中间关键字比较的这个环节,复杂度直接降到O(1)。Hash表就能够达到这样的效果。
Hash表采用一个映射函数 f :key —> address 将关键字映射到该记录在表中的存储位置,从而在想要查找该记录时,可以直接根据关键字和映射关系计算出该记录在表中的存储位置,通常情况下,这种映射关系称作为Hash函数,而通过Hash函数和关键字计算出来的存储位置(注意这里的存储位置只是表中的存储位置,并不是实际的物理地址)称作为Hash地址。比如上述例子中,假如联系人信息采用Hash表存储,则当想要找到“李四”的信息时,直接根据“李四”和Hash函数计算出Hash地址即可。下面讨论一下Hash表设计中的几个关键问题。
一、Hash函数的设计
Hash函数设计的好坏直接影响到对Hash表的操作效率。下面举例说明:
假如对上述的联系人信息进行存储时,采用的Hash函数为:姓名的每个字的拼音开头大写字母的ASCII码之和。
address(张三)=ASCII(Z)+ASCII(S)=90+83=173;
address(李四)=ASCII(L)+ASCII(S)=76+83=159;
address(王五)=ASCII(W)+ASCII(W)=87+87=174;
address(张帅)=ASCII(Z)+ASCII(S)=90+83=173;
假如只有这4个联系人信息需要进行存储,这个Hash函数设计的很糟糕。
首先,它浪费了大量的存储空间。因为假如采用char型数组存储联系人信息的话,每个人的信息需要12个字节来存储。
(手机号为11位,数值上为100多亿,2^64 =1.844674407371 * 10^19,2^32 = 4294967296
,所以需要64位也就是8个字节来存储手机号。
每个汉字占两个字节,两个汉字占四个字节。
所以总共需要8 + 4 = 12Byte)
这样的话,至少需要开辟174*12字节的空间。然而空间利用率只有4/174,不到3%。
另外,根据Hash函数计算结果之后,address(张三)和address(张帅)具有相同的地址,这种现象称作冲突,对于174个存储空间中只需要存储4条记录就发生了冲突,这样的Hash函数设计是很不合理的。所以在构造Hash函数时应尽量考虑关键字的分布特点来设计函数使得Hash地址随机均匀地分布在整个地址空间当中。
通常有以下几种构造Hash函数的方法:
1 直接定址法
取关键字或者关键字的某个线性函数为Hash地址,即address(key)=a*key+b;如知道学生的学号从2000开始,最大为4000,则可以将address(key)=key-2000作为Hash地址。
2 平方取中法
对关键字进行平方运算,然后取结果的中间几位作为Hash地址。假如有以下关键字序列{421,423,436},平方之后的结果为{177241,178929,190096},那么可以取中间的两位数{72,89,00}作为Hash地址。
3 折叠法
将关键字拆分成几部分,然后将这几部分组合在一起,以特定的方式进行转化形成Hash地址。假如知道图书的ISBN号为8903-241-23,可以将address(key)=89+03+24+12+3作为Hash地址。
4 除留取余法
如果知道Hash表的最大长度为m,可以取不大于m的最大质数p,然后对关键字进行取余运算,address(key)=key%p。
在这里p的选取非常关键,p选择的好的话,能够最大程度地减少冲突,p一般取不大于m的最大质数。
二、Hash表大小的确定
Hash表大小的确定也非常关键,如果Hash表的空间远远大于最后实际存储的记录个数,则造成了很大的空间浪费,如果选取小了的话,则容易造成冲突。在实际情况中,一般需要根据最终记录存储个数和关键字的分布特点来确定Hash表的大小。还有一种情况时可能事先不知道最终需要存储的记录个数,则需要动态维护Hash表的容量,此时可能需要重新计算Hash地址。
三、冲突的解决
在上述例子中,发生了冲突现象,因此需要办法来解决,否则记录无法进行正确的存储。通常情况下有2种解决办法:
1 开放定址法
即当一个关键字和另一个关键字发生冲突时,使用某种探测技术在Hash表中形成一个探测序列,然后沿着这个探测序列依次查找下去,当碰到一个空的单元时,则插入其中。比较常用的探测方法有线性探测法,比如有一组关键字{12,13,25,23,38,34,6,84,91},Hash表长为14,Hash函数为address(key)=key%11,当插入12,13,25时可以直接插入,而当插入23时,地址1被占用了,因此沿着地址1依次往下探测(探测步长可以根据情况而定),直到探测到地址4,发现为空,则将23插入其中。
2 链地址法
采用数组和链表相结合的办法,将Hash地址相同的记录存储在一张线性表中,而每张表的表头的序号即为计算得到的Hash地址。如上述例子中,采用链地址法形成的Hash表存储表示为:
hash.jpg
虽然能够采用一些办法去减少冲突,但是冲突是无法完全避免的。因此需要根据实际情况选取解决冲突的办法。
四、Hash表的平均查找长度
Hash表的平均查找长度包括查找成功时的平均查找长度和查找失败时的平均查找长度。
查找成功时的平均查找长度=表中每个元素查找成功时的比较次数之和/表中元素个数;
查找不成功时的平均查找长度相当于在表中查找元素不成功时的平均比较次数,可以理解为向表中插入某个元素,该元素在每个位置都有可能,然后计算出在每个位置能够插入时需要比较的次数,再除以表长即为查找不成功时的平均查找长度。
下面的例子有助于理解。
例1
将关键字序列{7, 8, 30, 11, 18, 9, 14}散列存储到散列表中。散列表的存储空间是一个下标从0开始的一维数组,长度为10,即{0, 1,2, 3, 4, 5, 6, 7, 8, 9}。散列函数为: H(key) = (key * 3) % 7,处理冲突采用线性探测再散列法。
求等概率情况下查找成功和查找不成功的平均查找长度。
解:
1 求散列表
H(7) = (7 * 3) % 7 = 0
H(8) = (8 * 3) % 7 = 3
H(30) = 6
H(11) = 5
H(18) = 5
H(9) = 6
H(14) = 0
按关键字序列顺序依次向哈希表中填入,发生冲突后按照“线性探测”探测到第一个空位置填入。
address | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 |
---|---|---|---|---|---|---|---|---|---|---|
key | 7 | 14 | 8 | 11 | 30 | 18 | 9 |
插入key = 18时,根据H(18) = 5应插在addresss=5的位置,但是address=5已经被key=11占据了,所以往后挪一位到address=6的位置,但是address=6被key=30占据了,再往后挪一位到address=7的位置,这个位置是空的,所以key=18就插到这个位置。
插入key = 9时,根据H(9) = 6应插在address=6的位置,但address = 6已经被key = 30占据,所以需要往后挪一位到address = 7的位置,但是address = 7已经被key = 18占据,所以再往后挪移到address = 8的位置,这个位置是空的,所以key = 9就插到这个位置。
插入key=14时,根据H(14) = 0应插在address=0的位置,但address=0被key=7占据,所以往后挪移一位到address=1的位置,这个位置是空的,所以key=14就插到这个位置。
2 求查找成功的平均查找长度
查找7,H(7) = 0,在0的位置,一下子就找到了7,查找长度为1。
查找8,H(8) = 3,在3的位置,一下子就找到了8,查找长度为1。
查找30,H(30) = 6,在6的位置,一下子就找到了30,查找长度为1。
查找11,H(11) = 5,在5的位置,一下子就找到了11,查找长度为1。
查找18,H(18) = 5,第一次在5的位置没有找到18,第二次往后挪移一位到6的位置,仍没有找到,第三次再往后挪移一位到7的位置,找到了,查找长度为3。
查找9,H(9) = 6,第一次在6的位置没找到9,第二次往后挪移一位到7的位置,仍没有找到,第三次再往后挪移一位到8的位置,找到了,查找长度为3.
查找14,H(14) = 0,第一次在0的位置没找到14,第二次往后挪移一位到1的位置,找到了,查找长度为2。
address | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 |
---|---|---|---|---|---|---|---|---|---|---|
key | 7 | 14 | 8 | 11 | 30 | 18 | 9 | |||
length | 1 | 2 | 1 | 1 | 1 | 3 | 3 |
所以,查找成功的平均查找长度为(1 + 1 + 1 + 1 + 3 + 3 + 2) / 7 = 12 / 7。
3 求查找不成功的平均查找长度
address | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 |
---|---|---|---|---|---|---|---|---|---|---|
key | 7 | 14 | 8 | 11 | 30 | 18 | 9 |
查找不成功,说明要查找的数字肯定不在上述的散列表中。
因为这里哈希函数的模为7,所以要查找的数只可能位于0~6的位置上。
(1)若要查找的数key对应的地址为0,有(key * 3) % 7 = 0。
因为key不属于{7, 8, 30, 11, 18, 9, 14},可设key = 28。
第一次查找,address = 0时key = 7,不是要找的28,
第二次查找,往后挪移一位,address = 1时key = 14,不是要找的28;
第三次查找,往后再挪移一位,address = 2时key为空。可知查找不成功,否则28应该放在adress = 2的位置上。
结论:查找3次可知查找不成功。
(2)若要查找的数key 对应的地址为1,有(key * 3) % 7 = 1。
因为key不属于{7, 8, 30, 11, 18, 9, 14},可设key = 5。
第一次address = 1时key = 14,不是要找的5
第二次adress = 2时key为空。可知查找不成功,否则key = 5应该放在adress=1的位置上。
结论:查找2次可知查找不成功。
(3)若要查找的数key对应的地址为2,有(key * 3) % 7 = 2。
因为key不属于{7, 8, 30, 11, 18, 9, 14},可设key = 3。
第一次查找,address = 2时key为空。可知查找不成功,否则key = 3应该放在address = 2的位置。
结论:查找1次可知查找不成功。
(4)若要查找的数key对应的地址为3,有(key * 3) % 7 = 3。
因为key不属于{7, 8, 30, 11, 18, 9, 14},可设key = 15。
第一次查找,address = 3时key = 8,不是要找的15.
第二次查找,往后挪移一位,address = 4时key为空。可知查找不成功,否则key = 15会放在address = 4的位置上。
结论:查找2次可知查找不成功。
(5)若要查找的数key对应的地址为4,有(key * 3) % 7 = 4。
因为key不属于{7, 8, 30, 11, 18, 9, 14},可设key = 6。
第一次查找,address = 4时key为空。可知查找不成功,否则key = 6会放在address = 4的位置上。
结论:查找1次可知查找不成功。
(6)若要查找的数key对应的地址为5,有(key * 3) % 7 = 5。
因为key不属于{7, 8, 30, 11, 18, 9, 14},可设key = 4。
第一次查找,address = 5时key = 11,不是要找的4.
第二次查找,往后挪移一位,address = 6时key=30,不是要找的4。
第三次查找,往后再挪移一位,注意此时address = 0而非address = 7,因为模为7,决定了要查找的数只可能位于0~6的位置上。address = 0时key = 7,不是要找的4。
第四次查找,往后再挪移一位,address = 1时key = 14,不是要找的4。
第五次查找,往后再挪移一位,address = 2时key为空。可知查找不成功,否则key = 4会放在address = 2的位置上。
结论:查找5次可知查找不成功。
(7)若要查找的数key对应的地址为5,同理可得出结论:查找4次可知查找不成功。
综上,查找不成功的次数表如下所示
address | 0 | 1 | 2 | 3 | 4 | 5 | 6 |
---|---|---|---|---|---|---|---|
count | 3 | 2 | 1 | 2 | 1 | 5 | 4 |
所以,查找不成功的平均查找长度为(3 + 2 + 1 + 2 + 1 + 5 + 4)/ 7 = 18 / 7
五、优缺点
优点:
不论哈希表中有多少数据,查找、插入、删除(有时包括删除)只需要接近常量的时间即0(1)的时间级。实际上,这只需要几条机器指令。
哈希表运算得非常快,在计算机程序中,如果需要在一秒种内查找上千条记录通常使用哈希表(例如拼写检查器)哈希表的速度明显比树快,树的操作通常需要O(N)的时间级。哈希表不仅速度快,编程实现也相对容易。
如果不需要有序遍历数据,并且可以提前预测数据量的大小。那么哈希表在速度和易用性方面是无与伦比的。
缺点:
它是基于数组的,数组创建后难于扩展,某些哈希表被基本填满时,性能下降得非常严重,所以程序员必须要清楚表中将要存储多少数据,或者准备好定期地把数据转移到更大的哈希表中,这是个费时的过程。