Longest Common Subsequence in DSA Rust - Cheat Sheet & Quick Revision

Recall & Review

beginner

What is the Longest Common Subsequence (LCS)?

LCS is the longest sequence that appears in the same relative order, but not necessarily contiguously, in two sequences.

intermediate

How does the LCS dynamic programming approach work?

It builds a 2D table where each cell represents the LCS length of prefixes of the two sequences, using previous results to find the current one.

beginner

In LCS, what does it mean if characters at current indices match?

If characters match, add 1 to the LCS length from the previous indices and move diagonally in the DP table.

intermediate

What is the time complexity of the classic LCS algorithm using dynamic programming?

The time complexity is O(m * n), where m and n are the lengths of the two sequences.

intermediate

How can you reconstruct the LCS string after filling the DP table?

Start from the bottom-right cell and move backwards: if characters match, add to LCS; else move in the direction of the larger DP value.

What does the LCS represent between two sequences?

A The longest sequence appearing in both in order

B The longest sequence appearing contiguously in both

C The shortest sequence common to both

D The sequence with the most different characters

LCS is the longest sequence that appears in both sequences in the same order, not necessarily contiguous.

In the DP table for LCS, what does a cell represent?

A Difference between sequence lengths

B Sum of characters in both sequences

C Number of matching characters only at that position

D Length of LCS for prefixes of both sequences up to that cell

Each cell stores the length of the LCS for the prefixes of the two sequences up to that point.

If characters at current indices do not match, how is the DP cell value computed?

A Zero

B Sum of left and top cell values

C Maximum of the left or top cell values

D Minimum of the left or top cell values

When characters don't match, take the maximum LCS length from either ignoring one character from either sequence.

What is the space complexity of the classic LCS DP solution?

A O(m * n)

B O(m + n)

C O(1)

D O(max(m, n))

The DP table requires space proportional to the product of the lengths of the two sequences.

Which of these is NOT true about LCS?

A LCS length is at most the length of the shorter sequence

B LCS characters must be contiguous in the original sequences

C LCS can be empty if no common characters exist

D LCS characters appear in the same order in both sequences

LCS characters do not need to be contiguous, only in the same relative order.

Explain how to use dynamic programming to find the Longest Common Subsequence between two strings.

Think about building solutions for smaller parts first.

Describe the steps to reconstruct the actual LCS string after computing the DP table.

Trace back through the DP table.

Practice

1. What does the Longest Common Subsequence (LCS) between two strings represent?

easy

A. The longest sequence of characters that appear in both strings in the same order, but not necessarily consecutively.

B. The longest substring that appears exactly the same in both strings.

C. The shortest sequence of characters that can be removed to make the strings identical.

D. The total number of characters that differ between the two strings.

Solution

1. Step 1: Understand the definition of LCS

   The LCS is the longest sequence of characters that appear in both strings in the same order, but not necessarily consecutively.

2. Step 2: Differentiate from substring and other concepts

   Unlike substring, LCS does not require characters to be consecutive. It is about order and presence.

3. Final Answer:

   The longest sequence of characters that appear in both strings in the same order, but not necessarily consecutively. -> Option A

4. Quick Check:

   LCS = longest ordered common sequence [OK]

Hint: LCS keeps order, skips gaps, unlike substring [OK]

Common Mistakes:

• Confusing LCS with longest common substring
• Thinking characters must be consecutive
• Mixing LCS with edit distance

2. Which of the following Rust function signatures correctly represents a function to compute LCS length between two string slices?

easy

A. fn lcs_length(s1: &str, s2: &str) -> bool

B. fn lcs_length(s1: String, s2: String) -> &str

C. fn lcs_length(s1: &String, s2: &String) -> String

D. fn lcs_length(s1: &str, s2: &str) -> usize

Solution

1. Step 1: Identify correct parameter types for string inputs

   Using &str is idiomatic for string slices in Rust, allowing borrowing without ownership transfer.

2. Step 2: Identify correct return type for LCS length

   LCS length is a number, so usize is appropriate. Returning &str or String is incorrect for length.

3. Final Answer:

   fn lcs_length(s1: &str, s2: &str) -> usize -> Option D

4. Quick Check:

   Input: &str, Output: usize for length [OK]

Hint: Use &str for inputs and usize for length output [OK]

Common Mistakes:

• Returning &str or String instead of length
• Using owned String unnecessarily
• Returning bool instead of length

3. What is the output of the following Rust code snippet that computes the LCS length of "AGGTAB" and "GXTXAYB"?

fn main() {
    let s1 = "AGGTAB";
    let s2 = "GXTXAYB";
    let lcs_len = lcs_length(s1, s2);
    println!("{}", lcs_len);
}

fn lcs_length(s1: &str, s2: &str) -> usize {
    let m = s1.len();
    let n = s2.len();
    let mut dp = vec![vec![0; n + 1]; m + 1];
    for i in 1..=m {
        for j in 1..=n {
            if s1.as_bytes()[i - 1] == s2.as_bytes()[j - 1] {
                dp[i][j] = dp[i - 1][j - 1] + 1;
            } else {
                dp[i][j] = dp[i - 1][j].max(dp[i][j - 1]);
            }
        }
    }
    dp[m][n]
}

medium

A. 6

B. 3

C. 4

D. 5

Solution

1. Step 1: Understand the input strings and LCS algorithm

   Strings are "AGGTAB" and "GXTXAYB". The code uses dynamic programming to find LCS length.

2. Step 2: Trace the LCS calculation

   The LCS is "GTAB" with length 4. The code correctly computes this.

3. Step 3: Verify carefully

   Common subsequence: G T A B (positions match in order). Length is 4.

4. Final Answer:

   4 -> Option C

5. Quick Check:

   LCS length of "AGGTAB" and "GXTXAYB" = 4 [OK]

Hint: Trace matching chars in order, ignore gaps [OK]

Common Mistakes:

• Counting common characters not in order
• Confusing substring with subsequence
• Off-by-one errors in indexing

4. Identify the bug in the following Rust function that attempts to compute the LCS length:

fn lcs_length(s1: &str, s2: &str) -> usize {
    let m = s1.len();
    let n = s2.len();
    let mut dp = vec![vec![0; n]; m];
    for i in 1..m {
        for j in 1..n {
            if s1.as_bytes()[i] == s2.as_bytes()[j] {
                dp[i][j] = dp[i - 1][j - 1] + 1;
            } else {
                dp[i][j] = dp[i - 1][j].max(dp[i][j - 1]);
            }
        }
    }
    dp[m - 1][n - 1]
}

medium

A. The dp vector is initialized with size m x n instead of (m+1) x (n+1).

B. The loops start from 0 instead of 1, causing index errors.

C. The loops use 1..=m and 1..=n instead of 1..m and 1..n, causing out of bounds.

D. The function returns dp[m][n] which is out of bounds.

Solution

1. Step 1: Check dp vector initialization

   The dp vector is initialized as m x n, but it should be (m+1) x (n+1) to handle base cases and indexing from 1.

2. Step 2: Understand loop ranges and indexing

   Loops start from 1..

3. Final Answer:

   The dp vector is initialized with size m x n instead of (m+1) x (n+1). -> Option A

4. Quick Check:

   dp size must be (m+1) x (n+1) [OK]

Hint: dp table size must include extra row and column [OK]

Common Mistakes:

• Initializing dp with wrong size
• Incorrect loop ranges causing panic
• Wrong indexing of string bytes

5. Given two strings, write a Rust function that returns the actual Longest Common Subsequence string (not just length). Which approach below correctly reconstructs the LCS from the dp table?

hard

A. Start from dp[0][0], move right or down collecting characters whenever dp[i][j] increases.

B. Start from dp[m][n], move diagonally up-left if characters match, else move to the cell with the larger value, collecting matched characters in reverse order.

C. Traverse dp table row-wise and append characters when dp[i][j] is non-zero.

D. Reverse both strings and find LCS length, then reverse the result to get LCS string.

Solution

1. Step 1: Understand dp table usage for reconstruction

   The dp table stores lengths of LCS for substrings. To reconstruct, start from dp[m][n] and move backwards.

2. Step 2: Trace path to build LCS string

   If characters match at s1[i-1] and s2[j-1], move diagonally up-left and add character. Else move to cell with larger dp value (up or left).

3. Step 3: Reverse collected characters

   Since traversal is from end to start, collected characters must be reversed to get correct LCS.

4. Final Answer:

   Start from dp[m][n], move diagonally up-left if characters match, else move to the cell with the larger value, collecting matched characters in reverse order. -> Option B

5. Quick Check:

   Backtrack dp table from bottom-right to reconstruct LCS [OK]

Hint: Backtrack dp from bottom-right, collect matches, then reverse [OK]

Common Mistakes:

• Starting reconstruction from top-left
• Not reversing collected characters
• Ignoring dp values when moving