이분 탐색 정렬된 배열에서 탐색 범위를 절반씩 줄여 가며 원하는 값을 찾는 방법. 매번 후보가 반으로 줄어드니 O(log N) . 핵심 전제는 단조성(monotonicity) 이다. "어떤 기준값 이전은 전부 참, 이후는 전부 거짓"