Bird
Raised Fist0
DSA Cprogramming

0 1 Knapsack Problem in DSA C

Choose your learning style10 modes available
Mental Model
Choose items one by one to maximize value without exceeding weight limit, but you can only take each item once.
Analogy: Imagine packing a backpack for a trip with limited space. You pick items to get the most useful stuff without overloading the bag.
Knapsack capacity: 5
Items: [weight, value]
[1, 6], [2, 10], [3, 12]
Backpack: capacity 5 -> can hold items up to total weight 5
Dry Run Walkthrough
Input: items: [(weight=1, value=6), (weight=2, value=10), (weight=3, value=12)], capacity=5
Goal: Find the maximum value we can carry without exceeding capacity 5
Step 1: Consider first item (weight=1, value=6), update dp for capacities 1 to 5
dp array after step 1: [0, 6, 6, 6, 6, 6]
Why: We can take the first item if capacity allows, so value 6 is possible from capacity 1 upwards
Step 2: Consider second item (weight=2, value=10), update dp for capacities 2 to 5
dp array after step 2: [0, 6, 10, 16, 16, 16]
Why: At capacity 2, taking second item gives value 10 better than previous 6; at capacity 3, combine first and second items for value 16
Step 3: Consider third item (weight=3, value=12), update dp for capacities 3 to 5
dp array after step 3: [0, 6, 10, 16, 18, 22]
Why: At capacity 4, taking third item plus first item gives 18; at capacity 5, taking third and second items gives max value 22
Result:
dp array final: [0, 6, 10, 16, 18, 22]
Maximum value: 22
Annotated Code
DSA C
#include <stdio.h>

// Function to find max of two integers
int max(int a, int b) {
    return (a > b) ? a : b;
}

// 0 1 Knapsack function
int knapsack(int capacity, int weights[], int values[], int n) {
    int dp[capacity + 1];
    for (int i = 0; i <= capacity; i++) {
        dp[i] = 0; // initialize dp array with 0
    }

    // For each item
    for (int i = 0; i < n; i++) {
        // Traverse capacities from high to low to avoid reuse of same item
        for (int w = capacity; w >= weights[i]; w--) {
            // Update dp[w] if including item i gives better value
            dp[w] = max(dp[w], dp[w - weights[i]] + values[i]);
        }
    }
    return dp[capacity];
}

int main() {
    int weights[] = {1, 2, 3};
    int values[] = {6, 10, 12};
    int capacity = 5;
    int n = sizeof(weights) / sizeof(weights[0]);

    int max_value = knapsack(capacity, weights, values, n);
    printf("Maximum value: %d\n", max_value);
    return 0;
}
for (int i = 0; i < n; i++) {
iterate over each item to consider including it
for (int w = capacity; w >= weights[i]; w--) {
iterate backwards over capacities to avoid reusing the same item multiple times
dp[w] = max(dp[w], dp[w - weights[i]] + values[i]);
update dp[w] to max of excluding or including current item
OutputSuccess
Maximum value: 22
Complexity Analysis
Time: O(n * capacity) because we process each item for each capacity up to the limit
Space: O(capacity) because we use a one-dimensional dp array of size capacity+1
vs Alternative: Compared to a 2D dp approach with O(n * capacity) time and space, this optimized 1D dp reduces space to O(capacity)
Edge Cases
capacity is zero
maximum value is zero since no items can be taken
DSA C
for (int i = 0; i <= capacity; i++) { dp[i] = 0; }
no items (n=0)
maximum value is zero because no items to choose
DSA C
for (int i = 0; i < n; i++) { ... }
items heavier than capacity
those items are never included as weights[i] > capacity prevents dp update
DSA C
for (int w = capacity; w >= weights[i]; w--) { ... }
When to Use This Pattern
When you need to pick items with weights and values to maximize value without exceeding capacity, and each item can be chosen once, use the 0 1 Knapsack pattern with dynamic programming.
Common Mistakes
Mistake: Iterating capacities from low to high causing reuse of the same item multiple times
Fix: Iterate capacities from high to low to ensure each item is only counted once
Mistake: Using 2D dp without space optimization when 1D dp suffices
Fix: Use 1D dp array and iterate capacities backwards to optimize space
Summary
Find the maximum total value of items that fit in a knapsack without exceeding its capacity, choosing each item at most once.
Use when you have a set of items with weights and values and want to maximize value under a weight limit with no repeats.
The key is to build up solutions for smaller capacities and items, updating from high to low capacity to avoid reusing items.

Practice

(1/5)
1. In the 0/1 Knapsack problem, why can't we take fractions of items like in the Fractional Knapsack?
easy
A. Because the DP table only stores integers
B. Because each item must be taken as a whole unit or not at all - fractional inclusion violates the problem definition
C. Because fractions make the recursion infinite
D. Because the weight array only accepts integer values

Solution

  1. 0/1 Constraint

    The '0/1' in the name literally means each item has two states: not taken (0) or fully taken (1). There is no state for 0.5 or any fraction.
  2. Why Greedy Fails

    Because you cannot take fractions, the greedy 'highest value/weight ratio first' strategy fails - taking a high-ratio item may block a better combination of whole items.
  3. Why DP is Needed

    DP explores all combinations of 0/1 choices, which is required when greedy fails due to the binary selection constraint.
  4. Final Answer:

    Each item is binary - take it whole or skip it. → Option B
Hint: 0/1 = binary choice per item: take it whole or skip entirely. [OK]
Common Mistakes:
  • Confusing 0/1 Knapsack with Fractional Knapsack
  • Thinking DP table data type restricts selection
  • Assuming greedy works for 0/1 Knapsack
2. For 0/1 Knapsack with n=3 items and capacity W=5, what is the size of the standard DP table dp[n+1][W+1] in C?
easy
A. 3 × 5
B. 4 × 5
C. 3 × 6
D. 4 × 6

Solution

  1. Table Dimensions

    The DP table is dp[n+1][W+1]. With n=3 items and W=5 capacity: dp[4][6].
  2. Why +1

    Index 0 represents the base case: dp[0][w] = 0 (no items) and dp[i][0] = 0 (zero capacity). The +1 makes these base cases fit naturally without off-by-one adjustments.
  3. In C

    int dp[4][6]; - 4 rows (0 to 3 items), 6 columns (capacity 0 to 5).
  4. Final Answer:

    4 × 6 → Option D
Hint: dp[n+1][W+1] → always add 1 to both dimensions for the base case. [OK]
Common Mistakes:
  • Using dp[n][W] and missing the base case row/column
  • Adding +1 to only one dimension
  • Confusing n items with n+1 rows
3. In the 0/1 Knapsack DP recurrence, when weight[i] > w (current item is heavier than current capacity), what is dp[i][w]?
medium
A. 0
B. dp[i-1][w] - same value as without this item
C. dp[i][w-1]
D. value[i] + dp[i-1][w - weight[i]]

Solution

  1. Can't Include Overweight Item

    If weight[i] > w, item i cannot fit - we must skip it.
  2. Inherit from Previous Row

    dp[i][w] = dp[i-1][w]: the best value with first i items equals the best with first i-1 items.
  3. Full Recurrence

    if (weight[i] > w): dp[i][w] = dp[i-1][w]. else: dp[i][w] = max(dp[i-1][w], value[i] + dp[i-1][w-weight[i]])
  4. Final Answer:

    dp[i-1][w] → Option B
Hint: Item too heavy → skip → copy from row above: dp[i-1][w]. [OK]
Common Mistakes:
  • Setting dp[i][w]=0 instead of carrying forward the previous best
  • Applying include formula when item doesn't fit
  • Reading dp[i][w-1] instead of dp[i-1][w]
4. What is the time and space complexity of the standard bottom-up 0/1 Knapsack DP solution?
medium
A. Time O(n×W), Space O(n×W)
B. Time O(n×W), Space O(W)
C. Time O(2^n), Space O(n)
D. Time O(n log W), Space O(n×W)

Solution

  1. Time Complexity

    Two nested loops: outer over n items, inner over W+1 capacities. Each cell O(1). Total: O(n×W).
  2. Space Complexity

    Full table dp[n+1][W+1] → O(n×W) space.
  3. Note

    Space can be reduced to O(W) with 1D rolling array, but standard 2D table is O(n×W).
  4. Final Answer:

    Time O(n×W), Space O(n×W) → Option A
Hint: Standard 2D table = O(n×W) time AND space. 1D optimized = O(W) space only. [OK]
Common Mistakes:
  • Confusing standard O(n×W) space with optimized O(W)
  • Claiming O(2^n) which applies only to naive recursion
  • Mixing up time and space complexities
5. In the space-optimized 1D 0/1 Knapsack in C, why must the inner capacity loop iterate from W down to weight[i], not from 0 up to W?
hard
A. To avoid negative array indices
B. To prevent using item i more than once - forward iteration would allow the same item to be counted multiple times in the same pass
C. Because C arrays are stored in column-major order
D. To match the order of the weight array

Solution

  1. Problem With Left-to-Right

    With a 1D array, processing left to right means dp[w-weight[i]] has already been updated in this pass - item i gets counted again at smaller capacities.
  2. Right-to-Left Prevents Reuse

    Iterating from W down to weight[i] ensures dp[w-weight[i]] still holds the pre-item-i value. Each item counted at most once.
  3. 0/1 vs Unbounded

    Right-to-left = 0/1 Knapsack. Left-to-right = Unbounded Knapsack.
  4. Final Answer:

    Prevents reusing item i in the same pass. → Option B
Hint: Right-to-left = 0/1 (no reuse). Left-to-right = Unbounded (reuse allowed). [OK]
Common Mistakes:
  • Using left-to-right which implements Unbounded Knapsack accidentally
  • Thinking loop direction is about array bounds not item reuse
  • Not knowing right-to-left is the key 0/1 vs Unbounded distinction
Recommended

Ready to prove it?

Pass the test and this pattern moves unknown strong while earning +1 Grip toward your certificate.

10 questions~5 mineasy hard