Generate All Subsets Powerset in DSA C++ - Time & Space Complexity

Time Complexity: Generate All Subsets Powerset

O(2^n * n)

Understanding Time Complexity

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

How does the number of subsets affect the work done by the algorithm?

Scenario Under Consideration

Analyze the time complexity of the following code snippet.

void generateSubsets(vector<int>& nums, vector<int>& current, int index, vector<vector<int>>& result) {
    if (index == nums.size()) {
        result.push_back(current);
        return;
    }
    // Include nums[index]
    current.push_back(nums[index]);
    generateSubsets(nums, current, index + 1, result);
    // Exclude nums[index]
    current.pop_back();
    generateSubsets(nums, current, index + 1, result);
}

This code generates all subsets (the powerset) of the input list by choosing to include or exclude each element recursively.

Identify Repeating Operations

• Primary operation: Recursive calls that branch twice at each element.
• How many times: For n elements, there are 2 choices (include/exclude) per element, leading to 2^n recursive calls.

How Execution Grows With Input

Each new element doubles the number of subsets, so the work grows very fast.

Input Size (n)	Approx. Operations
10	About 1,024 subsets generated
20	About 1,048,576 subsets generated
30	About 1,073,741,824 subsets generated

Pattern observation: The number of operations doubles with each additional element, showing exponential growth.

Final Time Complexity

Time Complexity: O(2^n * n)

This means the time grows exponentially with the number of elements, because we generate all subsets and each subset can take up to n steps to copy.

Common Mistake

[X] Wrong: "Generating all subsets is just like looping once over the array, so it should be O(n)."

[OK] Correct: Each element doubles the number of subsets, so the total work grows exponentially, not linearly.

Interview Connect

Understanding this exponential growth helps you explain why generating all subsets is costly and when it is practical to use.

Self-Check

"What if we only wanted subsets of a fixed size k? How would the time complexity change?"

Practice

1. What does the "Generate All Subsets (Powerset)" algorithm produce when given a set {1, 2}?

easy

A. Only subsets with two elements: {1, 2}

B. All possible subsets including empty set: {}, {1}, {2}, {1, 2}

C. Only subsets with one element: {1}, {2}

D. Only the empty set: {}

Solution

1. Step 1: Understand what subsets mean

   Subsets include all combinations of elements, from empty to full set.

2. Step 2: List all subsets of {1, 2}

   They are {}, {1}, {2}, and {1, 2}.

3. Final Answer:

   All possible subsets including empty set: {}, {1}, {2}, {1, 2} -> Option B

4. Quick Check:

   Subsets = all combinations [OK]

Hint: Remember powerset includes empty and full sets [OK]

Common Mistakes:

• Thinking subsets only have full or single elements
• Ignoring the empty subset
• Confusing subsets with permutations

2. Which of the following C++ code snippets correctly initializes an empty vector of vectors to store subsets?

easy

A. std::vector<int> subsets;

B. std::vector subsets = {{}};

C. std::vector subsets;

D. std::vector subsets<int>;

Solution

1. Step 1: Identify correct vector declaration

   We need a vector of vectors of int to store subsets.

2. Step 2: Check syntax correctness

   std::vector subsets; uses correct syntax: std::vector subsets; initializes empty vector of vectors.

3. Final Answer:

   std::vector subsets; -> Option C

4. Quick Check:

   Correct vector of vectors syntax [OK]

Hint: Use vector for subsets storage [OK]

Common Mistakes:

• Using vector<int> instead of vector
• Incorrect template syntax like vector subsets<int>
• Trying to initialize with empty braces incorrectly

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

std::vector<int> nums = {1, 2};
std::vector subsets = {{}};
for (int num : nums) {
    int n = subsets.size();
    for (int i = 0; i < n; i++) {
        std::vector<int> newSubset = subsets[i];
        newSubset.push_back(num);
        subsets.push_back(newSubset);
    }
}
for (auto &subset : subsets) {
    for (int x : subset) std::cout << x << " ";
    std::cout << "| ";
}

medium

A. | | 1 | 2 | 1 2 |

B. | | 1 2 | 1 | 2 |

C. | 1 | 2 | 1 2 |

D. | 1 2 | 1 | 2 |

Solution

1. Step 1: Understand initial subsets and loop

   Initially subsets = {{}}, empty subset only. For each num, we add new subsets by adding num to existing subsets.

2. Step 2: Trace iterations

   For num=1: subsets become {}, {1}. For num=2: subsets become {}, {1}, {2}, {1, 2}.

3. Final Answer:

   | | 1 | 2 | 1 2 | -> Option A

4. Quick Check:

   All subsets printed with spaces and separators [OK]

Hint: Start with empty subset and add elements iteratively [OK]

Common Mistakes:

• Missing the empty subset in output
• Printing subsets in wrong order
• Confusing push_back inside loop

4. Identify the error in this C++ code snippet for generating subsets:

std::vector<int> nums = {1, 2};
std::vector subsets;
for (int num : nums) {
    int n = subsets.size();
    for (int i = 0; i < n; i++) {
        std::vector<int> newSubset = subsets[i];
        newSubset.push_back(num);
        subsets.push_back(newSubset);
    }
}

medium

A. subsets vector is not initialized with empty subset before loop

B. Loop variable i should start from 1, not 0

C. newSubset.push_back(num) should be outside inner loop

D. nums vector should be empty to generate subsets

Solution

1. Step 1: Check initialization of subsets

   subsets is empty initially, so subsets.size() is 0, inner loop never runs.

2. Step 2: Identify missing empty subset

   We must start subsets with empty subset {{}} to build new subsets correctly.

3. Final Answer:

   subsets vector is not initialized with empty subset before loop -> Option A

4. Quick Check:

   Empty subset needed to start building subsets [OK]

Hint: Always start subsets with empty subset {{}} [OK]

Common Mistakes:

• Not initializing subsets with empty subset
• Changing loop start index incorrectly
• Misplacing push_back calls

5. Given a vector nums = {1, 2, 2}, which code modification ensures the generated subsets contain no duplicate subsets?

hard

A. Generate subsets normally; duplicates are impossible with vector<int>.

B. Use a set to store subsets after generation to remove duplicates.

C. Ignore duplicate elements in nums vector before generating subsets.

D. Sort nums first and skip adding duplicates during subset generation.

Solution

1. Step 1: Understand duplicates in input

   Input has duplicate 2's, so subsets like {2} can appear multiple times.

2. Step 2: Use sorting and skip duplicates

   Sorting nums helps detect duplicates; skip adding subsets with same element consecutively to avoid duplicates.

3. Final Answer:

   Sort nums first and skip adding duplicates during subset generation. -> Option D

4. Quick Check:

   Sorting + skipping duplicates avoids repeated subsets [OK]

Hint: Sort input and skip duplicates while generating subsets [OK]

Common Mistakes:

• Assuming duplicates never occur
• Removing duplicates from input loses valid subsets
• Using set after generation is less efficient