The Boyer–Moore majority votealgorithm is an algorithm for finding the majority of a sequence of elements using linear time and constant space. It is named after Robert S. Boyer and J Strother Moore, who published it in 1981, and is a prototypical example of a streaming algorithm. In its simplest form, the algorithm finds a majority element, if there is one: that is, an element that occurs repeatedly for more than half of the elements of the input. A version of the algorithm that makes a second pass through the data can be used to verify that the element found in the first pass really is a majority. If a second pass is not performed and there is no majority the algorithm will not detect that no majority exists. In the case that no strict majority exists, the returned element can be arbitrary; it is not guaranteed to be the element that occurs most often. It is not possible for a streaming algorithm to find the most frequent element in less than linear space, for sequences whose number of repetitions can be small.
Description
The algorithm maintains in its local variables a sequence element and a counter, with the counter initially zero. It then processes the elements of the sequence, one at a time. When processing an element, if the counter is zero, the algorithm stores as its remembered sequence element and sets the counter to one. Otherwise, it compares to the stored element and either increments the counter or decrements the counter. At the end of this process, if the sequence has a majority, it will be the element stored by the algorithm. This can be expressed in pseudocode as the following steps:
Even when the input sequence has no majority, the algorithm will report one of the sequence elements as its result. However, it is possible to perform a second pass over the same input sequence in order to count the number of times the reported element occurs and determine whether it is actually a majority. This second pass is needed, as it is not possible for a sublinear-space algorithm to determine whether there exists a majority element in a single pass through the input.
Analysis
The amount of memory that the algorithm needs is the space for one element and one counter. In the random access model of computing usually used for the analysis of algorithms, each of these values can be stored in a machine word and the total space needed is. If an array index is needed to keep track of the algorithm's position in the input sequence, it doesn't change the overall constant space bound. The algorithm's bit complexity is higher, the sum of the binary logarithms of the input length and the size of the universe from which the elements are drawn. Both the random access model and bit complexity analyses only count the working storage of the algorithm, and not the storage for the input sequence itself. Similarly, on a random access machine the algorithm takes time on an input sequence of items, because it performs only a constant number of operations per input item. The algorithm can also be implemented on a Turing machine in time linear in the input length.
Correctness
If there is a majority element, the algorithm will always find it. For, supposing that the majority element is, let be a number defined at any step of the algorithm to be either the counter, if the stored element is, or the negation of the counter otherwise. Then at each step in which the algorithm encounters a valueequal to, the value of will increase by one, and at each step at which it encounters a different value, the value of may either increase or decrease by one. If truly is the majority, there will be more increases than decreases, and will be positive at the end of the algorithm. But this can be true only when the final stored element is, the majority element.
