Binary Search
Use When
- Monotonic condition exists over index or value domain
- Need index/position/boundary in sorted structure
- Can discard exactly half each iteration
Avoid When
- Decision is not monotonic
- Need pair interactions across both ends
Mental model: Cut the candidate space in half each step.