Subsets Generation Using Bitmask in DSA C++ - Time & Space Complexity

Time Complexity: Subsets Generation Using Bitmask

O(n * 2^n)

Understanding Time Complexity

We want to understand how the time needed to generate all subsets grows as the input size increases.

Specifically, how does the number of operations change when using bitmask to create subsets?

Scenario Under Consideration

Analyze the time complexity of the following code snippet.

for (int mask = 0; mask < (1 << n); mask++) {
    vector subset;
    for (int i = 0; i < n; i++) {
        if (mask & (1 << i)) {
            subset.push_back(nums[i]);
        }
    }
    // process subset
}
    

This code generates all subsets of an array of size n using bitmasking.

Identify Repeating Operations

Identify the loops, recursion, array traversals that repeat.

• Primary operation: The outer loop runs through all possible bitmasks (from 0 to 2^n - 1), generating each subset.
• How many times: The outer loop runs 2^n times, and for each, the inner loop runs n times to check which elements to include.

How Execution Grows With Input

As n grows, the number of subsets doubles each time, and for each subset, we check n elements.

Input Size (n)	Approx. Operations
10	About 10 * 2^10 = 10,240 operations
100	About 100 * 2^100 (a huge number, very large)
1000	About 1000 * 2^1000 (impractical to compute)

Pattern observation: The operations grow exponentially with n, doubling the work for each additional element.

Final Time Complexity

Time Complexity: O(n * 2^n)

This means the time needed grows very fast, doubling for each new element, and checking each element for every subset.

Common Mistake

[X] Wrong: "Generating subsets takes only O(2^n) time because there are 2^n subsets."

[OK] Correct: Each subset requires checking up to n elements to build it, so the total work is n times 2^n, not just 2^n.

Interview Connect

Understanding this complexity helps you explain why subset generation is expensive and when it is practical to use in real problems.

Self-Check

"What if we used recursion instead of bitmasking to generate subsets? How would the time complexity change?"

Practice

1. What does the bitmask technique help to generate when applied to a set of elements?

easy

A. Only the largest subset of the set

B. All possible subsets of the set

C. The sum of all elements in the set

D. The sorted version of the set

Solution

1. Step 1: Understand bitmask representation

   Each bit in the bitmask represents whether an element is included (1) or excluded (0) in a subset.

2. Step 2: Generate subsets using bitmask

   By iterating over all bitmasks from 0 to 2^n - 1, we get all possible subsets of the set.

3. Final Answer:

   All possible subsets of the set -> Option B

4. Quick Check:

   Bitmask = subsets generator [OK]

Hint: Bitmask bits map directly to subset elements included [OK]

Common Mistakes:

• Thinking bitmask generates only one subset
• Confusing subsets with permutations
• Assuming bitmask sorts elements

2. Which of the following is the correct C++ syntax to iterate over all bitmasks for a set of size n?

easy

A. for (int mask = 0; mask <= n; mask++)

B. for (int mask = 1; mask <= n; mask++)

C. for (int mask = 0; mask < (1 << n); mask++)

D. for (int mask = 0; mask < n; mask++)

Solution

1. Step 1: Understand bitmask range

   Bitmask ranges from 0 to 2^n - 1, which is (1 << n) - 1 in C++.

2. Step 2: Correct loop syntax

   The loop must run from 0 to less than (1 << n) to cover all subsets.

3. Final Answer:

   for (int mask = 0; mask < (1 << n); mask++) -> Option C

4. Quick Check:

   Loop runs 0 to 2^n-1 [OK]

Hint: Use (1 << n) for 2^n subsets count [OK]

Common Mistakes:

• Using mask <= n instead of mask < (1 << n)
• Starting loop from 1 instead of 0
• Using mask < n which is too small

3. What is the output of the following C++ code snippet?

std::vector<int> nums = {1, 2};
for (int mask = 0; mask < (1 << 2); mask++) {
    std::cout << "Subset: ";
    for (int i = 0; i < 2; i++) {
        if (mask & (1 << i)) std::cout << nums[i] << " ";
    }
    std::cout << std::endl;
}

medium

A. Subset:
Subset: 1
Subset: 2
Subset: 1 2

B. Subset: 1 2
Subset: 1
Subset: 2
Subset:

C. Subset: 1
Subset: 2
Subset: 1 2
Subset:

D. Subset:
Subset: 2
Subset: 1
Subset: 1 2

Solution

1. Step 1: Identify bitmask values and subsets

   For n=2, masks go 0 to 3:
   0 (00) no elements,
   1 (01) includes nums[0]=1,
   2 (10) includes nums[1]=2,
   3 (11) includes nums[0]=1 and nums[1]=2.

2. Step 2: Match output lines to subsets

   Output lines print subsets in order:
   "Subset: " (empty),
   "Subset: 1 ",
   "Subset: 2 ",
   "Subset: 1 2 "

3. Final Answer:

   Subset: Subset: 1 Subset: 2 Subset: 1 2 -> Option A

4. Quick Check:

   Bitmask 0 to 3 prints subsets in order [OK]

Hint: Map bits to elements; 0 means exclude, 1 means include [OK]

Common Mistakes:

• Mixing order of subsets
• Printing elements in wrong bit order
• Skipping empty subset output

4. Identify the error in the following code snippet for generating subsets using bitmask:

std::vector<int> nums = {1, 2, 3};
for (int mask = 0; mask <= (1 << nums.size()); mask++) {
    for (int i = 0; i < nums.size(); i++) {
        if (mask & (1 << i)) std::cout << nums[i] << " ";
    }
    std::cout << std::endl;
}

medium

A. The vector nums should be declared as std::list instead.

B. The inner loop should run from i = 1 to nums.size().

C. The bitwise AND operator & should be replaced with &&.

D. The loop condition should be mask < (1 << nums.size()), not <=.

Solution

1. Step 1: Analyze loop range for bitmask

   The bitmask must go from 0 to 2^n - 1, so mask < (1 << n). Using <= causes one extra iteration beyond valid range.

2. Step 2: Check other parts

   Inner loop from 0 is correct, bitwise AND & is correct, vector type is fine.

3. Final Answer:

   The loop condition should be mask < (1 << nums.size()), not <=. -> Option D

4. Quick Check:

   Loop must run 0 to 2^n-1 [OK]

Hint: Use <, not <=, for bitmask loop upper bound [OK]

Common Mistakes:

• Using <= instead of < in loop condition
• Replacing bitwise & with logical &&
• Starting inner loop at 1 instead of 0

5. Given a set nums = {1, 2, 2}, which code modification correctly generates all unique subsets using bitmask technique in C++?

hard

A. Use a std::set<std::vector<int>> to store subsets and sort each subset before insertion.

B. Use bitmask from 1 to (1 << n) and print subsets directly without sorting.

C. Use a std::map<int, int> to count elements and generate subsets.

D. Skip duplicates by checking if current element equals previous without sorting.

Solution

1. Step 1: Understand duplicate issue in subsets

   With duplicates in input, bitmask generates duplicate subsets. Sorting subsets before storing helps identify duplicates.

2. Step 2: Use std::set to store unique subsets

   Storing sorted subsets in a set automatically removes duplicates, ensuring unique subsets only.

3. Final Answer:

   Use a std::set<std::vector<int>> to store subsets and sort each subset before insertion. -> Option A

4. Quick Check:

   Sort subsets + set = unique subsets [OK]

Hint: Sort subsets and use set to avoid duplicates [OK]

Common Mistakes:

• Not sorting subsets before inserting in set
• Using map instead of set for uniqueness
• Ignoring duplicates without sorting