Design a reversible encoding for a list of arbitrary strings, including empty strings and embedded delimiters.
A good solution should
- State the invariant or decision rule that makes the approach correct.
- Explain the time and space complexity in terms of the input sizes and required output.
- Handle empty, minimal, duplicate, and boundary-shaped inputs covered by the contract.
Reasoning prompt
Use an unambiguous framing rule such as length-prefixing. Explain why a delimiter-only format fails when input can contain that delimiter.
Use the linked judge for the canonical problem. The examples above are compact TRT checks; write additional cases before submitting, especially for the boundary that tends to break your chosen invariant.