Invariant Trace

매 반복 뒤에도 같은 문장이 남아야 한다

[lo, hi) 규칙에서는 “lo 앞은 답 아님, hi부터는 후보”라는 문장을 끝까지 유지합니다.

0
시작
lo=0, hi=6
정답은 전체 구간 안
버린 곳 없음
?
0..5
1
거짓이면 왼쪽 제거
arr[mid] < t
mid까지 답 아님
0..mid
lo
남은 후보
2
참이면 mid 보존
mid가 첫 후보일 수 있음
hi = mid
lo 앞
hi
mid 포함
실패 신호: 후보인 mid를 버리거나, 답 아닌 구간을 다시 포함하면 무한 루프와 오프바이원이 생깁니다.