Majority Element Moore's Voting Algorithm in DSA Python - Cheat Sheet & Quick Revision

Recall & Review

beginner

What is the Majority Element in an array?

The Majority Element is the element that appears more than half the times in the array (more than n/2 times).

intermediate

What is the main idea behind Moore's Voting Algorithm?

Moore's Voting Algorithm finds the majority element by maintaining a candidate and a count. It increases the count when the same element appears and decreases it when a different element appears, resetting the candidate when count reaches zero.

intermediate

Why does Moore's Voting Algorithm work for finding the majority element?

Because the majority element appears more than half the time, it will remain as the candidate after canceling out all other elements paired with it.

beginner

What are the two main steps in Moore's Voting Algorithm?

1. Find a candidate for majority element by counting and canceling out different elements.
2. Verify if the candidate is actually the majority by counting its occurrences.

beginner

What is the time complexity of Moore's Voting Algorithm?

The time complexity is O(n) because it scans the array twice: once to find the candidate and once to verify it.

What does Moore's Voting Algorithm use to keep track of the majority element candidate?

A A stack to store elements

B A hash map to count frequencies

C Sorting the array first

D A candidate variable and a count variable

Moore's Voting Algorithm maintains a candidate and a count to find the majority element efficiently.

What happens when the count reaches zero in Moore's Voting Algorithm?

A The algorithm stops

B The candidate is reset to the current element

C The count is doubled

D The candidate is removed permanently

When count reaches zero, the algorithm resets the candidate to the current element and count to 1.

Why do we need to verify the candidate after finding it in Moore's Voting Algorithm?

A Because verification improves time complexity

B Because the algorithm always finds the majority element without verification

C Because the candidate might not actually be the majority element

D Because verification sorts the array

Verification is needed to confirm the candidate appears more than n/2 times.

What is the space complexity of Moore's Voting Algorithm?

A O(1)

B O(n)

C O(log n)

D O(n^2)

Moore's Voting Algorithm uses constant extra space, only two variables.

If no element appears more than n/2 times, what will Moore's Voting Algorithm return?

A A candidate that is not a majority element

B No candidate

C An error

D The smallest element

The algorithm returns a candidate, but verification will show it is not a majority element.

Explain how Moore's Voting Algorithm finds the majority element in an array.

Think about how the algorithm cancels out different elements.

Describe why Moore's Voting Algorithm is efficient compared to counting frequencies with a hash map.

Focus on space and time usage differences.

Practice

1. What is the main purpose of Moore's Voting Algorithm in an array of numbers?

easy

A. To find the element that appears more than half the time

B. To sort the array in ascending order

C. To find the smallest element in the array

D. To count the total number of unique elements

Solution

1. Step 1: Understand the problem Moore's Voting Algorithm solves

   The algorithm is designed to find the majority element, which is the element that appears more than half the time in the array.

2. Step 2: Compare with other options

   Sorting, finding smallest element, or counting unique elements are not the goals of this algorithm.

3. Final Answer:

   To find the element that appears more than half the time -> Option A

4. Quick Check:

   Majority element = element with >50% frequency [OK]

Hint: Majority element appears more than half times [OK]

Common Mistakes:

• Confusing majority element with most frequent element
• Thinking it sorts the array
• Assuming it counts unique elements

2. Which of the following is the correct initialization step in Moore's Voting Algorithm in Python?

easy

A. count = 0; candidate = 0

B. count = 1; candidate = 0

C. count = None; candidate = 0

D. count = 0; candidate = None

Solution

1. Step 1: Recall initialization in Moore's Voting Algorithm

   We start with count = 0 and candidate = None to indicate no candidate chosen yet.

2. Step 2: Check other options for correctness

   Starting count at 1 or candidate at 0 without context is incorrect; None is used to indicate no candidate.

3. Final Answer:

   count = 0; candidate = None -> Option D

4. Quick Check:

   Initialize count=0 and candidate=None [OK]

Hint: Start count at 0 and candidate as None [OK]

Common Mistakes:

• Starting count at 1 instead of 0
• Assigning candidate to 0 prematurely
• Using None for count instead of candidate

3. What will be the output of the following code snippet?

def majority_element(nums):
    count = 0
    candidate = None
    for num in nums:
        if count == 0:
            candidate = num
        count += (1 if num == candidate else -1)
    return candidate

print(majority_element([2,2,1,1,1,2,2]))

medium

A. 2

B. 1

C. None

D. Error

Solution

1. Step 1: Trace the candidate and count updates

   Start with count=0, candidate=None. Iterate: 2 (count=0->1, candidate=2), 2 (count=2), 1 (count=1), 1 (count=0), 1 (count=1, candidate=1), 2 (count=0), 2 (count=1, candidate=2).

2. Step 2: Final candidate after iteration

   The candidate ends as 2 after the loop finishes.

3. Final Answer:

   2 -> Option A

4. Quick Check:

   Majority element in [2,2,1,1,1,2,2] is 2 [OK]

Hint: Track candidate changes when count hits zero [OK]

Common Mistakes:

• Not updating candidate when count is zero
• Confusing candidate with last element
• Assuming candidate is None if count resets

4. Identify the bug in this Moore's Voting Algorithm implementation:

def majority_element(nums):
    count = 0
    candidate = None
    for num in nums:
        if count == 0:
            candidate = num
        if num == candidate:
            count += 1
        else:
            count -= 1
    return candidate

print(majority_element([3,3,4]))

medium

A. Count increment/decrement logic is reversed

B. No bug, code works correctly

C. Candidate not updated when count is zero

D. Function does not handle empty list

Solution

1. Step 1: Analyze candidate update and count logic

   Candidate updates when count is zero. Count increments if current num equals candidate, else decrements.

2. Step 2: Test with input [3,3,4]

   Iteration: 3 (count=1, candidate=3), 3 (count=2), 4 (count=1). Returns candidate 3 correctly.

3. Final Answer:

   No bug, code works correctly -> Option B

4. Quick Check:

   Code correctly finds majority element [OK]

Hint: Check candidate update and count changes carefully [OK]

Common Mistakes:

• Thinking candidate is not updated when count is zero
• Confusing increment and decrement logic
• Ignoring empty list edge case

5. Given an array where no element appears more than half the time, what will Moore's Voting Algorithm return?
Example: [1,2,3,4]

hard

A. Error or exception

B. The element with highest frequency

C. None or incorrect candidate

D. The first element of the array

Solution

1. Step 1: Understand Moore's Voting Algorithm assumption

   The algorithm assumes a majority element exists (more than half the array). If none exists, it still returns a candidate but it may be incorrect.

2. Step 2: Apply to example [1,2,3,4]

   No element appears more than 2 times (half of 4). The algorithm returns a candidate but it is not a true majority.

3. Final Answer:

   None or incorrect candidate -> Option C

4. Quick Check:

   No majority means candidate may be wrong [OK]

Hint: Algorithm assumes majority exists; else candidate may be wrong [OK]

Common Mistakes:

• Assuming algorithm returns error if no majority
• Thinking it returns highest frequency element always
• Believing it returns first element by default