## 题目描述 题目：数组中有一个数字出现的次数超过了数组长度的一半，找出这个数字。 ## [](https://github.com/julycoding/The-Art-Of-Programming-By-July/blob/master/ebook/zh/04.03.md#分析与解法)分析与解法 一个数组中有很多数，现在我们要找出其中那个出现次数超过总数一半的数字，怎么找呢？大凡当我们碰到某一个杂乱无序的东西时，我们人的内心本质期望是希望把它梳理成有序的。所以，我们得分两种情况来讨论，无序和有序。 ### [](https://github.com/julycoding/The-Art-Of-Programming-By-July/blob/master/ebook/zh/04.03.md#解法一)解法一 如果**无序**，那么我们是不是可以先把数组中所有这些数字**先进行排序**（至于排序方法可选取最常用的快速排序）。排完序后，直接遍历，在遍历整个数组的同时统计每个数字的出现次数，然后把那个出现次数超过一半的数字直接输出，题目便解答完成了。总的时间复杂度为O(nlogn + n)。 但**如果是有序的数组呢**，或者经过排序把无序的数组变成有序后的数组呢？是否在排完序O(nlogn)后，还需要再遍历一次整个数组？ 我们知道，既然是数组的话，那么我们可以根据数组索引支持直接定向到某一个数。我们发现，一个数字在数组中的出现次数超过了一半，那么在已排好序的数组索引的N/2处（从零开始编号），就一定是这个数字。自此，我们只需要对整个数组排完序之后，然后直接输出数组中的第N/2处的数字即可，这个数字即是整个数组中出现次数超过一半的数字，总的时间复杂度由于少了最后一次整个数组的遍历，缩小到O(n*logn)。 然时间复杂度并无本质性的改变，我们需要找到一种更为有效的思路或方法。 ### [](https://github.com/julycoding/The-Art-Of-Programming-By-July/blob/master/ebook/zh/04.03.md#解法二)解法二 既要缩小总的时间复杂度，那么可以用查找时间复杂度为O(1)的**hash表**，即以空间换时间。哈希表的键值（Key）为数组中的数字，值（Value）为该数字对应的次数。然后直接遍历整个**hash表**，找出每一个数字在对应的位置处出现的次数，输出那个出现次数超过一半的数字即可。 ### [](https://github.com/julycoding/The-Art-Of-Programming-By-July/blob/master/ebook/zh/04.03.md#解法三)解法三 Hash表需要O(n)的空间开销，且要设计hash函数，还有没有更好的办法呢？我们可以试着这么考虑，如果**每次删除两个不同的数**（不管是不是我们要查找的那个出现次数超过一半的数字），那么，在剩下的数中，我们要查找的数（出现次数超过一半）出现的次数仍然超过总数的一半。通过不断重复这个过程，不断排除掉其它的数，最终找到那个出现次数超过一半的数字。这个方法，免去了排序，也避免了空间O(n)的开销，总得说来，时间复杂度只有O(n)，空间复杂度为O(1)，貌似不失为最佳方法。 举个简单的例子，如数组a[5] = {0, 1, 2, 1, 1}; 很显然，若我们要找出数组a中出现次数超过一半的数字，这个数字便是1，若根据上述思路4所述的方法来查找，我们应该怎么做呢？通过一次性遍历整个数组，然后每次删除不相同的两个数字，过程如下简单表示： ~~~ 0 1 2 1 1 =>2 1 1=>1 ~~~ 最终1即为所找。 但是数组如果是{5, 5, 5, 5, 1}，还能运用上述思路么？很明显不能，咱们得另寻良策。 ### [](https://github.com/julycoding/The-Art-Of-Programming-By-July/blob/master/ebook/zh/04.03.md#解法四)解法四 更进一步，考虑到这个问题本身的特殊性，我们可以在遍历数组的时候保存两个值：一个candidate，用来保存数组中遍历到的某个数字；一个nTimes，表示当前数字的出现次数，其中，nTimes初始化为1。当我们遍历到数组中下一个数字的时候： * 如果下一个数字与之前candidate保存的数字相同，则nTimes加1； * 如果下一个数字与之前candidate保存的数字不同，则nTimes减1； * 每当出现次数nTimes变为0后，用candidate保存下一个数字，并把nTimes重新设为1。 直到遍历完数组中的所有数字为止。 举个例子，假定数组为{0, 1, 2, 1, 1}，按照上述思路执行的步骤如下： * 1.开始时，candidate保存数字0，nTimes初始化为1； * 2.然后遍历到数字1，与数字0不同，则nTimes减1变为0； * 3.因为nTimes变为了0，故candidate保存下一个遍历到的数字2，且nTimes被重新设为1； * 4.继续遍历到第4个数字1，与之前candidate保存的数字2不同，故nTimes减1变为0； * 5.因nTimes再次被变为了0，故我们让candidate保存下一个遍历到的数字1，且nTimes被重新设为1。最后返回的就是最后一次把nTimes设为1的数字1。 思路清楚了，完整的代码如下： ~~~ //a代表数组，length代表数组长度 int FindOneNumber(int* a, int length) { int candidate = a[0]; int nTimes = 1; for (int i = 1; i < length; i++) { if (nTimes == 0) { candidate = a[i]; nTimes = 1; } else { if (candidate == a[i]) nTimes++; else nTimes--; } } return candidate; } ~~~ 即针对数组{0, 1, 2, 1, 1}，套用上述程序可得： ~~~ i=0，candidate=0，nTimes=1； i=1，a[1] != candidate，nTimes--，=0； i=2，candidate=2，nTimes=1； i=3，a[3] != candidate，nTimes--，=0； i=4，candidate=1，nTimes=1； 如果是0，1，2，1，1，1的话，那么i=5，a[5] == candidate，nTimes++，=2；...... ~~~ ## [](https://github.com/julycoding/The-Art-Of-Programming-By-July/blob/master/ebook/zh/04.03.md#举一反三)举一反三 加强版水王：找出出现次数刚好是一半的数字 分析：我们知道，水王问题：有N个数，其中有一个数出现超过一半，要求在线性时间求出这个数。那么，我的问题是，加强版水王：有N个数，其中有一个数刚好出现一半次数，要求在线性时间内求出这个数。 因为，很明显，如果是刚好出现一半的话，如此例： 0，1，2，1 ： ~~~ 遍历到0时，candidate为0，times为1 遍历到1时，与candidate不同，times减为0 遍历到2时，times为0，则candidate更新为2，times加1 遍历到1时，与candidate不同，则times减为0；我们需要返回所保存candidate（数字2）的下一个数字，即数字1。 ~~~