Why Backtracking and What Greedy Cannot Solve in DSA Go - Quick Recap

Recall & Review

beginner

What is the main idea behind backtracking?

Backtracking tries all possible choices step-by-step and goes back (undoes) when a choice leads to a dead end, ensuring all solutions are explored.

beginner

Why can't greedy algorithms solve all problems?

Greedy algorithms make the best local choice at each step but may miss the best overall solution because they don't reconsider past choices.

intermediate

Give an example of a problem where greedy fails but backtracking works.

The "Subset Sum" problem: greedy may pick large numbers first and miss a valid subset, but backtracking tries all subsets to find the correct answer.

intermediate

How does backtracking handle constraints in problems?

Backtracking checks constraints at each step and stops exploring a path as soon as a constraint is violated, saving time by pruning bad paths.

beginner

What is a key difference in approach between greedy and backtracking?

Greedy makes one choice and never looks back; backtracking tries choices and can undo them to explore other options.

Which algorithm tries all possible solutions by undoing choices when needed?

A Dynamic Programming

B Greedy

C Binary Search

D Backtracking

Backtracking explores all options and backtracks when a path fails.

Why might a greedy algorithm fail to find the best solution?

A It only makes local best choices without reconsidering

B It uses too much memory

C It tries all possibilities

D It always finds the best solution

Greedy algorithms pick the best immediate choice but may miss better overall solutions.

Which problem is a classic example where greedy fails but backtracking succeeds?

A Sorting numbers

B Subset Sum

C Finding maximum

D Linear Search

Subset Sum requires checking many combinations, which greedy can't handle correctly.

What does backtracking do when it hits a constraint violation?

A Stops exploring that path and goes back

B Continues anyway

C Restarts the whole algorithm

D Ignores constraints

Backtracking prunes paths that break constraints to save time.

Which approach never revisits previous choices?

A Breadth-first search

B Backtracking

C Greedy

D Depth-first search

Greedy algorithms commit to choices and do not backtrack.

Explain why backtracking is needed when greedy algorithms fail. Include an example.

Think about how greedy picks quickly but might miss solutions.

Describe how backtracking uses constraints to prune the search space.

Imagine stopping early when you know a path won't work.

Practice

1. Why do we need backtracking instead of just using a greedy approach for some problems?

easy

A. Because backtracking only works for sorting problems.

B. Because backtracking always runs faster than greedy algorithms.

C. Because greedy algorithms use more memory than backtracking.

D. Because greedy algorithms make local choices that may not lead to the best overall solution.

Solution

1. Step 1: Understand greedy algorithm behavior

   Greedy algorithms pick the best option at each step without reconsidering previous choices.

2. Step 2: Understand backtracking advantage

   Backtracking tries all possibilities and can undo choices to find the best overall solution.

3. Final Answer:

   Because greedy algorithms make local choices that may not lead to the best overall solution. -> Option D

4. Quick Check:

   Greedy local choice ≠ global best [OK]

Hint: Backtracking explores all options; greedy picks locally best only [OK]

Common Mistakes:

• Thinking greedy is always faster and better
• Confusing memory use between algorithms
• Believing backtracking is only for sorting

2. Which of the following Go code snippets correctly starts a backtracking function signature for solving a problem?

easy

A. func backtrack(path []int, choices []int) { }

B. func backtrack(path int, choices int) { }

C. func backtrack() int { }

D. func backtrack(path string) string { }

Solution

1. Step 1: Identify typical backtracking parameters

   Backtracking usually passes the current path (partial solution) and remaining choices as slices.

2. Step 2: Check each function signature

   func backtrack(path []int, choices []int) { } uses slices for path and choices, suitable for backtracking. Others use single values or wrong types.

3. Final Answer:

   func backtrack(path []int, choices []int) { } -> Option A

4. Quick Check:

   Backtracking uses slices for path and choices [OK]

Hint: Backtracking functions usually take slices for path and choices [OK]

Common Mistakes:

• Using single int instead of slices
• Returning values when not needed
• Using wrong parameter types

3. What is the output of this Go code snippet that tries to solve the subset sum problem using backtracking?

package main
import "fmt"

func backtrack(nums []int, target int, start int, path []int) {
    if target == 0 {
        fmt.Println(path)
        return
    }
    for i := start; i < len(nums); i++ {
        if nums[i] > target {
            continue
        }
        backtrack(nums, target-nums[i], i+1, append(path, nums[i]))
    }
}

func main() {
    nums := []int{2, 3, 6, 7}
    backtrack(nums, 7, 0, []int{})
}

medium

A. [2 3 6]
[7]

B. [2 3 7]
[7]

C. [7]

D. [7]
[2 3 6]

Solution

1. Step 1: Understand the problem and code

   The code finds subsets of nums that sum to 7, using backtracking and no repeats.

2. Step 2: Trace the backtracking calls

   Possible subsets: [7] sums to 7; [2,3,6] sums to 11 (too big), so skipped; only [7] prints.

3. Final Answer:

   [7] -> Option C

4. Quick Check:

   Only subset summing to 7 is [7] [OK]

Hint: Check sums carefully; skip subsets exceeding target [OK]

Common Mistakes:

• Assuming [2 3 6] sums to 7
• Confusing order of printed subsets
• Ignoring the continue condition

4. Find the bug in this Go backtracking code snippet that tries to generate all permutations of a slice of integers:

func permute(nums []int, path []int, used []bool) {
    if len(path) == len(nums) {
        fmt.Println(path)
        return
    }
    for i := 0; i < len(nums); i++ {
        if used[i] {
            continue
        }
        path = append(path, nums[i])
        used[i] = true
        permute(nums, path, used)
        used[i] = false
    }
}

medium

A. Missing removal of last element from path after recursion

B. Used slice is not initialized

C. Base case condition is incorrect

D. Loop index should start from 1

Solution

1. Step 1: Analyze backtracking recursion steps

   After recursive call, path must remove last added element to backtrack correctly.

2. Step 2: Identify missing backtracking step

   Code appends to path but never removes last element after recursion, causing incorrect paths.

3. Final Answer:

   Missing removal of last element from path after recursion -> Option A

4. Quick Check:

   Backtracking needs to undo path changes [OK]

Hint: Always undo changes to path after recursive call [OK]

Common Mistakes:

• Forgetting to remove last element from path
• Not initializing used slice before call
• Incorrect base case length check

5. You want to solve the classic N-Queens problem where you place N queens on an NxN chessboard so that no two queens attack each other. Why can't a greedy algorithm solve this correctly, and how does backtracking help?

hard

A. Greedy only works for even N; backtracking works for all N.

B. Greedy places queens row by row without checking future conflicts; backtracking tries all placements and backtracks on conflicts.

C. Greedy uses too much memory; backtracking uses less memory by pruning.

D. Greedy sorts queens by position; backtracking sorts by attack count.

Solution

1. Step 1: Understand greedy limitations for N-Queens

   Greedy tries to place queens row by row choosing first safe spot, but may miss solutions requiring backtracking.

2. Step 2: Understand backtracking approach

   Backtracking tries all possible queen placements, undoing choices when conflicts arise, ensuring all solutions are found.

3. Final Answer:

   Greedy places queens row by row without checking future conflicts; backtracking tries all placements and backtracks on conflicts. -> Option B

4. Quick Check:

   N-Queens needs full search, not greedy local choice [OK]

Hint: N-Queens needs full search; greedy fails on future conflicts [OK]

Common Mistakes:

• Thinking greedy can always find a solution
• Confusing memory use differences
• Believing greedy works only for even N