Find the inclusive first and last indices of target in a sorted array, or [-1,-1].
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
Run lower and upper boundary searches in logarithmic time. Test duplicates spanning the midpoint.
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.