位图法：判断一个数是否在40亿个整数中？

微信搜索【程序员囧辉】，关注这个坚持分享技术干货的程序员。

题目

最近看到一个题目：给40亿个不重复的 unsigned int 的整数，没排过序的，然后再给一个数，如何快速判断这个数是否在那40亿个数当中？

 

解法

搜了一下资料，该题目是腾讯的一道面试题，目前网上普遍给出的答案有两种。

1.《编程珠玑》给出的方案

我们把40亿个数中的每一个用32位的二进制来表示，假设这40亿个数开始放在一个文件中。

然后将这40亿个数分成两类：1.最高位为0；2.最高位为1。

并将这两类分别写入到两个文件中，其中一个文件中数的个数<=20亿，而另一个>=20亿（这相当于折半了）；

与要查找的数的最高位比较并接着进入相应的文件再查找

再然后把这个文件为又分成两类：1.次最高位为0；2.次最高位为1。

并将这两类分别写入到两个文件中，其中一个文件中数的个数<=10亿，而另一个>=10亿（这相当于折半了）；与要查找的数的次最高位比较并接着进入相应的文件再查找。

 .......

以此类推，就可以找到了,而且时间复杂度为O(logn)。

 

此方案不是本文要讲的重点，只是把思路放在这边供大家参考。

 

2.位图法

思路

我们之所以无法将40亿个数字直接读取到内存去进行处理，是因为40亿个 unsigned int 的整数大约要占15G内存，正常情况下，没有这么大的内存，也不可能这样做。

这种情况是因为一个整数占用了4个字节（Byte），而在本题中，我们其实只关心某个数字是否存在，在这种情况下，我们可以通过位图法来解决该问题。

位图法思想：对于40亿个 unsigned int 的整数，每个数字用1个二进制数（一个二进制数占用1Bit，1Byte = 8Bit）来表示该数字是否存在，0为不存在，1为存在。从低位开始数：

第1个二进制数表示整数0是否存在，

第