leetcode hot100------169. 多数元素-Boyer-Moore 投票算法

方法：Boyer-Moore 投票算法

该算法时间复杂度为O(n)，空间复杂度为O(1)，只需要对原数组进行两趟扫描，并且简单易实现。第一趟扫描我们得到一个候选节点candidate，第二趟扫描我们判断candidate出现的次数是否大于⌊ n/2 ⌋。

第一趟扫描中，我们需要记录2个值：

candidate，初值可以为任何数
count，初值为0
之后，对于数组中每一个元素，首先判断count是否为0，若为0，则把candidate设置为当前元素。之后判断candidate是否与当前元素相等，若相等则count+=1，否则count-=1。

在第一趟扫描结束后，如果数组中存在多数元素，那么candidate即为其值，如果原数组不存在多数元素，则candidate的值没有意义。所以需要第二趟扫描来统计candidate出现的次数来判断其是否为多数元素。

原理解析
为了解析算法的原理，我们只要考虑存在多数元素的情况即可，因为第二趟扫描可以检测出不存在多数元素的情况。

举个例子，我们的输入数组为[1,1,0,0,0,1,0]，那么0就是多数元素。
首先，candidate被设置为第一个元素1，count也变成1，由于1不是多数元素，所以当扫描到数组某个位置时，count一定会减为0。在我们的例子中，当扫描到第四个位置时，count变成0.

count 值变化过程：
[1,2,1,0……

当count变成0时，对于每一个出现的1，我们都用一个0与其进行抵消，所以我们消耗掉了与其一样多的0，而0是多数元素，这意味着当扫描到第四个位置时，我们已经最大程度的消耗掉了多数元素。然而，对于数组从第五个位置开始的剩余部分，0依然是其中的多数元素(注意，多数元素出现次数大于⌊ n/2 ⌋，而我们扫描过的部分中多数元素只占一般，那剩余部分中多数元素必然还是那个数字)。如果之前用于抵消的元素中存在非多数元素，那么数组剩余部分包含的多数元素就更多了。

类似的，假设第一个数字就是多数元素，那么当count减为0时，我们消耗掉了与多数元素一样多的非多数元素，那么同样道理，数组剩余部分中的多数元素数值不变。

这两种情况证明了关键的一点：数组中从candidate被赋值到count减到0的那一段可以被去除，余下部分的多数元素依然是原数组的多数元素。我们可以不断重复这个过程，直到扫描到数组尾部，那么count必然会大于0，而且这个count对应的candinate就是原数组的多数元素。

class Solution {
    public int majorityElement(int[] nums) {
        int count = 0;
        Integer candidate = null;
//foreach循环，对nums这个数组进行遍历，有多少遍历多少
        for(int num : nums){
            //如果count经过投票减票变回0，就重新用目前遍历到的数作为新的candidate
            //因为我们要找的是大于n/2的，所以把前半段抛弃掉，这个大于n/2个的数字在后半段
            //中还是多的
            if(count == 0){
                candidate = num;
            }
            //如果count ！= 0
            //计数，是candidate就+1，不是就-1
            count += (num == candidate) ? 1 : -1;
        }
        return candidate;

    }

借鉴：
https://blog.csdn.net/kimixuchen/article/details/52787307