Find the majority element in array

ArraysAlgorithmTime Complexity

Arrays Problem Overview


The majority element is the element that occurs more than half of the size of the array.

How to find the majority element in an array in O(n)?

Example input:

{2,1,2,3,4,2,1,2,2}

Expected output:

2

Arrays Solutions


Solution 1 - Arrays

// returns -1 if there is no element that is the majority element, otherwise that element

// funda :: if there is a majority element in an array, say x, then it is okay to discard 
// a part of that array that has no majority element, the remaining array will still have
// x as the majority element

// worst case complexity :  O(n)

int findMajorityElement(int* arr, int size) { 
    int count = 0, i, majorityElement;
    for (i = 0; i < size; i++) {
        if (count == 0)
            majorityElement = arr[i];
        if (arr[i] == majorityElement) 
            count++;
        else
            count--;
    }
    count = 0;
    for (i = 0; i < size; i++)
        if (arr[i] == majorityElement)
            count++;
    if (count > size/2)
        return majorityElement;
    return -1;
}

Solution 2 - Arrays

It is sad to see that in 5 years no one has written a proper explanation for this problem.

This is a standard problem in streaming algorithms (where you have a huge (potentially infinite) stream of data) and you have to calculate some statistics from this stream, passing through this stream once.


Clearly you can approach it with hashing or sorting, but with a potentially infinite stream you can clearly run out of memory. So you have to do something smart here.


The majority element is the element that occurs more than half of the size of the array. This means that the majority element occurs more than all the other elements combined. That is, if you count the number of times the majority element appears, and subtract the number of occurrences of all the other elements, you will get a positive number.

So if you count the occurrences of some element, and subtract the number of occurrences of all other elements and get the number 0 - then your original element can't be a majority element. This is the basis for a correct algorithm:

Declare two variables, counter and possible_element. Iterate the stream, if the counter is 0 - your overwrite the possible element and initialize the counter, if the number is the same as possible element - increase the counter, otherwise decrease it. Python code:

def majority_element(arr):
    counter, possible_element = 0, None
    for i in arr:
        if counter == 0:
            possible_element, counter = i, 1
        elif i == possible_element:
            counter += 1
        else:
            counter -= 1

    return possible_element

It is clear to see that the algorithm is O(n) with a very small constant before O(n) (like 3). Also it looks like the space complexity is O(1), because we have only three variable initialized. The problem is that one of these variables is a counter which potentially can grow up to n (when the array consists of the same numbers). And to store the number n you need O(log (n)) space. So from theoretical point of view it is O(n) time and O(log(n)) space. From practical, you can fit 2^128 number in a longint and this number of elements in the array is unimaginably huge.

Also note that the algorithm works only if there is a majority element. If such element does not exist it will still return some number, which will surely be wrong. (it is easy to modify the algorithm to tell whether the majority element exists)

History channel: this algorithm was invented somewhere in 1982 by Boyer, Moore and called Boyer–Moore majority vote algorithm

Solution 3 - Arrays

The majority element (if it exists) will also be the median. We can find the median in O(n) and then check that it is indeed a valid majority element in O(n). More details for implementation link

Solution 4 - Arrays

Majority Element:

A majority element in an array A[] of size n is an element that appears more than n/2 times (and hence there is at most one such element).

Finding a Candidate:

The algorithm for first phase that works in O(n) is known as Moore’s Voting Algorithm. Basic idea of the algorithm is if we cancel out each occurrence of an element e with all the other elements that are different from e then e will exist till end if it is a majority element.

findCandidate(a[], size)
1.  Initialize index and count of majority element
     maj_index = 0, count = 1
2.  Loop for i = 1 to size – 1
    (a)If a[maj_index] == a[i]
        count++
    (b)Else
        count--;
    (c)If count == 0
        maj_index = i;
        count = 1
3.  Return a[maj_index]

Above algorithm loops through each element and maintains a count of a[maj_index], If next element is same then increments the count, if next element is not same then decrements the count, and if the count reaches 0 then changes the maj_index to the current element and sets count to 1. First Phase algorithm gives us a candidate element. In second phase we need to check if the candidate is really a majority element.

Second phase is simple and can be easily done in O(n). We just need to check if count of the candidate element is greater than n/2.

Read geeksforgeeks for more details

Solution 5 - Arrays

Time:O(n)

Space:O(n)

Walk the tree and count the occurrence of elements in a hash table.

Time:O(n lg n) or O(n*m)(depends on the sort used)

space:(1)

sort the array then count occurrences of the elements.

The interview correct answer: Moore’s Voting Algorithm

Time: O(n)

Space:O(1)

Walk the list compare the current number vs current best guess number. If the number is equal to the current best guess number increment a counter, otherwise decrement the counter and if the counter hits zero replace the current best guess number with the current number and set the counter to 1. When you get to the end the current best guess is the Candidate number, walk the list again just counting instances of the candidate. If the final count is greater than n/2 then it is the majority number otherwise there isn't one.

Solution 6 - Arrays

How about a random sampling approach? You could sample, say sqrt(n) elements and for each element that occurred more than sqrt(n) / 4 times (can be accomplished naively in O(n) time and O(sqrt(n)) space), you could check whether it was a majority element in O(n) time.

This method finds the majority with high probability because the majority element would be sampled at least sqrt(n) / 2 times in expectation, with a standard deviation of at most n^{1/4} / 2.

Another sampling approach that is similar to an approach I saw in one of the duplicate links is to draw two samples, and if they are equal verify that you have found the majority element in O(n) time. The additional verification step is necessary because the other elements besides the majority may not be distinct.

Solution 7 - Arrays

In Monte-Carlo algorithm,

Majority (a,n)
//a[]-array of 'n' natural numbers
 {
  j=random(0,1,....,n-1)
  /*Selecting the integers at random ranging from 0 to n-1*/
  b=a[j];c=0;
  for k from 0 to n-1 do
   { 
    if a[k]=b then,
    c=c+1;
    }
    return (c>n/2)
   }

Solution 8 - Arrays

public class MajorityElement
    {
       public static void main(String[] args) 
          {
             int arr[]={3,4,3,5,3,90,3,3};
    
              for(int i=0;i<arr.length;i++)
                {
                  int count=0;
                   int j=0;
       
                    while(j<arr.length-1)
                     { 
                        if(i==j)
                        j=j+1;
                          if(arr[i]==arr[j])
                            count++;
                          j++;
                                  }

                             if(count>=arr.length/2)
                               {
                              System.out.println("majority element"+arr[i]);
                                   break;
    }
    }
    
   
}

}

Solution 9 - Arrays

To find the majority of an element in an array then you can use Moore's Majority Vote Algorithm which is one of best algorithm for it.

Time Complexity: O(n) or linear time

Space Complexity: O(1) or constant space

Read more at Moore's Majority Vote Algorithm and GeeksforGeeks

Solution 10 - Arrays

If you are allowed to create a hash-table and assume hash-entry lookup is constant you just hash_map each entry against the number of occurrences.

You could do a second pass through the table you get the one with the highest count, but if you know in advance the number of elements in the table, you will know immediately if we have a majority element on the first pass when we hit the required count on the element.

You cannot guarantee of course that there is even a sequence of 2 consecutive occurrences of the element eg 1010101010101010101 has no consecutive 1s but it is a majority element.

We are not told anything about whether there is any kind of ordering on the element type although obviously we must be able to compare two for equality.

Solution 11 - Arrays

    int majorityElement(int[] num) {
       int major=num[0], count = 1;
       for(int i=1; i<num.length;i++){
           if(count==0){
               count++;
               major=num[i];
           }
           else if(major==num[i]){
                    count++;
           }
           else 
               count--;
   }            
    return major;
}

Time Complexity O(n)

Solution 12 - Arrays

A modified version Boyer's Algorithm,

  • 3 passes where,
    • In the first pass, we do a forward iteration of the array
    • In the second pass, we do a reverse iteration of the array.
    • In third pass, get counts for both the majority elements obtained in first and second passes.

Technically a linear complexity algorithm (O(3n)). I believe this should work for an array with a majority element that occurs at least n/2 times.

#include <iostream>
#include <vector>
 
template <typename DataType>
DataType FindMajorityElement(std::vector<DataType> arr) {
    // Modified BOYERS ALGORITHM with forward and reverse passes
    // Count will stay positive if there is a majority element
    auto GetMajority = [](auto seq_begin, auto seq_end) -> DataType{
        int count = 1;
        DataType majority = *(seq_begin);
        for (auto itr = seq_begin+1; itr != seq_end; ++itr) {
            count += (*itr == majority) ? 1 : -1;
            if (count <= 0) {   // Flip the majority and set the count to zero whenever it falls below zero
                majority = *(itr);
                count = 0;
            }
        }
        return majority;
    };
    DataType majority1 = GetMajority(arr.begin(), arr.end());
    DataType majority2 = GetMajority(arr.rbegin(), arr.rend());
    int maj1_count = 0, maj2_count = 0;
    // Check if any of the the majority elements is really the majority
    for (const auto& itr: arr) {
        maj1_count += majority1 == itr ? 1 : 0;
        maj2_count += majority2 == itr ? 1 : 0;
    }
    if (maj1_count >= arr.size()/2)
        return majority1;
    if (maj2_count >= arr.size()/2)
        return majority2;
    // else return -1
    return -1;
}

Code tested here

Solution 13 - Arrays

Thanks for the previous answers which inspired me to know Bob Boyer's algo. :)

Java generic version: A modified version of Boyer's Algorithm

Note: array of primitive type could use wrapper.

import com.sun.deploy.util.ArrayUtil;
import com.sun.tools.javac.util.ArrayUtils;

/**
 * Created by yesimroy on 11/6/16.
 */
public class FindTheMajority {

/**
 *
 * @param array
 * @return the value of the majority elements
 */
public static <E> E findTheMajority(E[] array){
    E majority =null;
    int count =0;

    for(int i=0; i<array.length; i++){
        if(count==0){
            majority = array[i];
        }
        if(array[i].equals(majority)){
            count++;
        }else{
            count--;
        }

    }

    count = 0;
    for(int i=0; i<array.length ; i++){
        if(array[i].equals(majority)){
            count++;
        }
    }

    if(count > (array.length /2)){
        return majority;
    }else{
        return null;
    }
}

public static void main(String[] args){
    String[] test_case1 = {"Roy","Roy","Roy","Ane","Dan","Dan","Ane","Ane","Ane","Ane","Ane"};
    Integer[] test_case2 = {1,3,2,3,3,3,3,4,5};

    System.out.println("test_case1_result:" + findTheMajority(test_case1));
    System.out.println("test case1 the number of majority element should greater than" + test_case1.length/2);
    System.out.println();

    System.out.println("test_case2_result:" + findTheMajority(test_case2));
    System.out.println("test case2 the number of majority element should greater than" + test_case2.length/2);
    System.out.println();
}

}

Solution 14 - Arrays

//Suppose we are given an array A. //If we have all the elements in the given array such each element is less than K, then we can create an additional array B with length K+1.

//Initialize the value at each index of the array with 0. //Then iterate through the given array A, for each array value A[i], increment the value with 1 at the corresponding index A[i] in the created array B.

//After iterating through the array A, now iterate through the array B and find the maximum value. If you find the value greater than the n/2 then return that particular index.

//Time Complexity will be O(n+K) if K<=n then equivalent to O(n).

//We have a constraint here that all elements of the array are O(K). //Assuming that each element is less than or equal to 100, in this case K is 100.

import javax.print.attribute.standard.Finishings;
public class MajorityElement {

    private static int maxElement=100;

    //Will have all zero values initially
    private static int arrB[]=new int[maxElement+1];
    static int findMajorityElement(int[] arrA) { 
	     int count = 0, i, majorityElement;
	     int n=arrA.length;
	     for (i = 0; i < n; i++) {
	         arrB[arrA[i]]+=1;
	     }
	 
	     int maxElementIndex=1;
	     for (i = 2; i < arrB.length; i++){
		     if (arrB[i]>n/2) {
			    maxElementIndex=i;
			    break;
		    }
	    }
	    return maxElementIndex;
    }`

    public static void main(String[] args) {
	     int arr[]={2,6,3,2,2,3,2,2};
	     System.out.println(findMajorityElement(arr));
    }
}

Solution 15 - Arrays

This will Help you and if two elements repeat same number of times if will show none.

int findCandidate(int a[], int size)
{
int count,temp=0,i,j, maj;

for (i = 0; i < size; i++) {
count=0;      
for(j=i;j<size;j++)
{
	if(a[j]==a[i])
	count++;
}
if(count>temp)
{	
	temp=count;
	maj=i;
}
else if(count==temp)
{	
	maj=-1;	
}
}


return maj;
}

Solution 16 - Arrays

This is how I do it in C++ using vector and multimap (JSON with repeat keys).

#include <iostream>
#include <vector>
#include <algorithm>
#include <map>
#include <iterator>

using namespace std;

vector <int> majorityTwoElement(vector <int> nums) {
  // declare variables
  multimap <int, int> nums_map;
  vector <int> ret_vec, nums_unique (nums);
  int count = 0;
  bool debug = false;

  try {
    // get vector of unique numbers and sort them
    sort(nums_unique.begin(), nums_unique.end());
    nums_unique.erase(unique(nums_unique.begin(), nums_unique.end()), nums_unique.end());

    // create map of numbers and their count
    for(size_t i = 0; i < nums_unique.size(); i++){
      // get number
      int num = nums_unique.at(i);
      if (debug) {
        cout << "num = " << num << endl;
      }
      
      // get count of number
      count = 0;  // reset count
      for(size_t j = 0; j < nums.size(); j++) {
        if (num == nums.at(j)) {
          count++;
        }
      }

      // insert number and their count into map (sorted in ascending order by default)
      if (debug) {
        cout << "num = " << num << "; count = " << count << endl;
      }
      nums_map.insert(pair<int, int> (count, num));
    }

    // print map
    if (debug) {
      for (const auto &p : nums_map) {
          cout << "nums_map[" << p.first << "] = " << p.second << endl;
      }
    }

    // create return vector
    if (!nums_map.empty()) {
      // get data
      auto it = prev(nums_map.end(), 1);
      auto it1 = prev(nums_map.end(), 2);
      int last_key = it->first;
      int second_last_key = it1->first;
      
      // handle data
      if (last_key == second_last_key) {  // tie for repeat count
        ret_vec.push_back(it->second);
        ret_vec.push_back(it1->second);
      } else {  // no tie
        ret_vec.push_back(it->second);
      }
    }    
  } catch(const std::exception& e) {
    cerr << "e.what() = " << e.what() << endl;
    throw -1;
  }
  
  return ret_vec;
}

int main() {
  vector <int> nums = {2, 1, 2, 3, 4, 2, 1, 2, 2};
  
  try {
    // get vector
    vector <int> result = majorityTwoElement(nums);
    
    // print vector
    for(size_t i = 0; i < result.size(); i++) {
      cout << "result.at(" << i << ") = " << result.at(i) << endl;
    }
  } catch(int error) {
    cerr << "error = " << error << endl;
    return -1;
  }
  
  return 0;
}

// g++ test.cpp
// ./a.out

Solution 17 - Arrays

Use Divide and Conquer to find majority element. If we divide the array in to two halves the majority element should be a majority in one of the halves. If we go ahead and combine the sub arrays we can find out if the majority element is also the majority of the combined array. This has O(nlogN)complexity.

Here is a C++ implementation:

#include <algorithm>
#include <iostream>
#include <vector>

using std::vector;

// return the count of elem in the array
int count(vector <int> &a, int elem, int low, int high)
{
	if (elem == -1) {
		return -1;
	}

	int num = 0;
	for (int i = low; i <= high; i++) {
		if (a[i] == elem) {
			num++;
		}
	}

	return num;
}

// return the majority element of combined sub-array. If no majority return -1
int combined(vector <int> &a, int maj1, int maj2, int low, int mid, int high)
{
	// if both sub arrays have same majority elem then we can safely say
	// the entire array has same majority elem.
	// NOTE: No majority ie. -1 will be taken care too
	if (maj1 == maj2) {
		return maj1;
	}

	// Conflicting majorities
	if (maj1 != maj2) {
		// Find the count of each maj1 and maj2 in complete array
		int num_maj1 = count(a, maj1, low, high);
		int num_maj2 = count(a, maj2, low, high);
		if (num_maj1 == num_maj2) {
			return -1;
		}
		int half = (high - low + 1) / 2;
		if (num_maj1 > half) {
			return maj1;
		} else if (num_maj2 > half) {
			return maj2;
		}
	}
	return -1;
}

// Divide the array into 2 sub-arrays. If we have a majority element, then it
// should be a majority in at least one of the half. In combine step we will
// check if this majority element is majority of the combination of sub-arrays.
// array a and low is lower index and high is the higher index of array
int get_majority_elem(vector<int> &a, int low, int high)
{
  if (low > high) return -1;
  if (low == high) return a[low];

  int mid = (low + high) / 2;

  int h1 = get_majority_elem(a, low, mid);
  int h2 = get_majority_elem(a, mid + 1, high);

  // calculate the majority from combined sub arrays
  int me = combined(a, h1, h2, low, mid, high);
  return me;
}
    

Solution 18 - Arrays

public class MajorityElement {

   public static void main(String[] args) {
	Scanner sc = new Scanner(System.in);
	int testCases = sc.nextInt();
	while(testCases-- > 0) {
		int n = sc.nextInt();
		int a[] = new int[n];
		int maxCount = 0;
		int index = -1;
		for(int i = 0 ; i < n; i++) {
			a[i] = sc.nextInt();
		}
		for(int i = 0; i < n; i++) {
			int count =0;
			for(int j = 0; j < n; j++) {
				if(a[i] == a[j])
					count++;
			}
			if(count > maxCount) {
				maxCount = count;
				index = i;
			}
		}
		if(maxCount > n/2)
			System.out.println(a[index]);
		else
			System.out.println(-1);
	}
	sc.close();
   }

}

Solution 19 - Arrays

> Find majority element in O(n*logn) time

  1. A majority element occurs at least (n/2 +1) times (say L equals this value), where n is the size of the array. Hence, its obvious that 2*L > n.

  2. Consequently, there cannot be 2 sequences of different values of length L in the array.

  3. Now, sort the array - which will take O(n*logn) time, if you are able to do it best.

  4. Here comes the tricky part: In the sorted list, try underlining each sequence of length L from the beginning till the end of the array. i.e. 1st sequence will be from 0 to L, 2nd will be 1 to (L+1),...and so on. Observe that the element at L-th position is common in all such sequences. In other words, if a majority element exists, it will always be in median. So, we can conclude that the element at the L-th position can be a candidate key.

  5. Now, count the number of occurrences of the element at the L-th position. If its greater than n/2, then voila! you have your answer, else I'm sorry, the array doesn't possess any majority element.

Solution 20 - Arrays

The majority element is the element that appears more than ⌊n / 2⌋ times.

Input: nums = [3,2,2,2,3]

Output: 2

Python Code:

def majorityElement(nums):
    nums.sort() or nums = sorted(nums)
    return nums[len(nums)//2]

nums = [int(x) for x in input()]
print(majorityElements(nums))

Solution 21 - Arrays

I have changed and added more to this question: Majority elements in an array[] of size n is an element that appears more than n/2 times ex: {1,2,1,3,1} here n/2 is 2, so 1 appeared more than 2 times o/p:1

{1,2,1,2,3} here also n/2 is 2, but no element is appeard more than 2 times so o/p is "No element"

import java.io.*;
import java.util.*;
import java.lang.Math;

class Demo{
	
	public static void main(String args[]) {
		Demo d=new Demo();
		
		int[] arr={2,2,2,3,1};
		int res=d.majorityNo(arr);
		int count=0;
		for(int i=0;i<arr.length;i++){
			
			if(res==arr[i]){
			count++;
			}
		}
		if(count>(arr.length/2)){
		System.out.println(arr[res]);
		}else{
			System.out.println("No element ");
		}
		
    }
	
	public static int majorityNo(int[] arr){
		int temp=1;
		int index=0;
		int res=0;
		for(int i=0;i<arr.length;i++){
			
				if(arr[index]==arr[i]){
					temp++;
				}else{
					temp--;
					if(temp==0){
						index=i;
						temp=1;
					}
				}
		}
		return arr[index];
	}
	
}

Solution 22 - Arrays

Sort the given array : O(nlogn).

If the array size is 7, then the majority element occurs atleast ceiling(7/2) = 4 times in the array.

After the array is sorted, it means that if the majority element is first found at position i, it is also found at position i + floor(7/2) (4 occurences).

Example - Given array A - {7,3,2,3,3,6,3}

Sort the array - {2,3,3,3,3,6,7}

The element 3 is found at position 1 (array index starting from 0.) If the position 1 + 3 = 4th element is also 3, then it means 3 is the majority element.

if we loop through the array from beginning..

compare position 0 with position 3, different elements 2 and 3. compare position 1 with position 4, same element. We found our majority match!

Complexity - O(n)

Total time complexity - O(n).

Attributions

All content for this solution is sourced from the original question on Stackoverflow.

The content on this page is licensed under the Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) license.

Content TypeOriginal AuthorOriginal Content on Stackoverflow
QuestionAli TarhiniView Question on Stackoverflow
Solution 1 - ArraysHitesh GuptaView Answer on Stackoverflow
Solution 2 - ArraysSalvador DaliView Answer on Stackoverflow
Solution 3 - ArraysAxnView Answer on Stackoverflow
Solution 4 - ArraysAdityaView Answer on Stackoverflow
Solution 5 - ArraysstonemetalView Answer on Stackoverflow
Solution 6 - ArraysjonderryView Answer on Stackoverflow
Solution 7 - ArraysSharief MuzammilView Answer on Stackoverflow
Solution 8 - Arraysrishabh singhView Answer on Stackoverflow
Solution 9 - ArraysDeepak ChawlaView Answer on Stackoverflow
Solution 10 - ArraysCashCowView Answer on Stackoverflow
Solution 11 - ArraysRajnishView Answer on Stackoverflow
Solution 12 - ArraysChenna VView Answer on Stackoverflow
Solution 13 - ArraysRoy GuanyuView Answer on Stackoverflow
Solution 14 - ArraysAvi TyagiView Answer on Stackoverflow
Solution 15 - ArraysShivam DawarView Answer on Stackoverflow
Solution 16 - ArraysxinthoseView Answer on Stackoverflow
Solution 17 - ArraysanubhavrView Answer on Stackoverflow
Solution 18 - ArraysAnanta Chandra DasView Answer on Stackoverflow
Solution 19 - ArraysDEBNATH KUNDUView Answer on Stackoverflow
Solution 20 - ArraysRavi SharmaView Answer on Stackoverflow
Solution 21 - ArraysBaba FakruddinView Answer on Stackoverflow
Solution 22 - Arraysuser1067334View Answer on Stackoverflow