Leetcode第169题Boyer-Moore 投票算法证明

原题：

给定一个大小为 n 的数组，找到其中的多数元素。多数元素是指在数组中出现次数 大于 ⌊ n/2 ⌋ 的元素。

你可以假设数组是非空的，并且给定的数组总是存在多数元素。

Boyer-Moore 算法：

1.维护一个候选众数 candidate 和它出现的次数 count。初始时 candidate 可以为任意值，count 为 0；

2.遍历数组 nums 中的所有元素，对于每个元素 x，在判断 x 之前，如果 count 的值为 0，我们先将 x 的值赋予 candidate，随后我们判断 x：

如果 x 与 candidate 相等，那么计数器 count 的值增加 1；

如果 x 与 candidate 不等，那么计数器 count 的值减少 1。

3.在遍历完成后，candidate 即为整个数组的众数。

证明：

此处默认读者已经阅读了leetcode官方解答提出的例子,如果没有请查看后再阅读本文。官方地址：

多数元素 - 多数元素 - 力扣（LeetCode） (leetcode-cn.com)