Sort an array containing only 0, 1, and 2 in place without a library sort.
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
Maintain low, scan, and high regions. Explain why the scan index should not advance after swapping an unknown value from the high end.
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.