Return the longest sequence length shared by two strings in order, not necessarily contiguously.
A good solution should
- State the invariant or decision rule that makes the approach correct.
- Explain time and space costs in terms of input size and required output.
- Handle empty, minimal, duplicate, and boundary-shaped inputs.
Reasoning prompt
Use a state over string prefixes. Matching trailing characters extend the diagonal; otherwise discard one trailing character.
Use the linked judge for the canonical challenge. The examples above are compact TRT checks; create additional tests around the boundary most likely to break your invariant.