![\"이진](\"/assets/algorithm.png\" "\\"이진")
이진 탐색은 정렬이 전제되어야 하며, 중간값과의 비교를 반복하여 빠르게 목표를 찾는다.
\n정렬된 배열에서 중간값을 기준으로, 찾는 값이 왼쪽에 있을지 오른쪽에 있을지를 판단해 탐색 구간을 절반으로 줄여 나간다. 한 번 비교할 때마다 가능한 후보의 수가 반으로 준다는 점이 핵심이다. 이 덕분에 선형 탐색보다 훨씬 빠른 O(log N) 시간 안에 값을 찾거나, 없다는 사실을 확실히 알 수 있다.
\n두 포인터 lo와 hi로 현재 탐색 구간의 양 끝을 가리키고, 중간 인덱스 mid=(lo+hi)>>1에서 값을 확인한다. 목표가 더 크면 왼쪽 절반을 버리고 lo=mid+1, 더 작으면 오른쪽 절반을 버리고 hi=mid-1로 좁힌다. 값이 일치하면 인덱스를, 구간이 엇갈리면 존재하지 않으므로 -1을 반환한다.
부동소수점 오차를 피하기 위해 중간 계산은 정수 덧셈·시프트로 처리하고, 중복 값이 있는 배열에서 “첫/마지막 인덱스”를 찾고 싶다면 등호(=)의 위치를 조정해 하한/상한 탐색(lower/upper bound) 형태로 바꾸면 된다.
\nfunction binarySearch(arr, target) {\n let lo = 0, hi = arr.length - 1\n while (lo <= hi) {\n const mid = (lo + hi) >> 1\n if (arr[mid] === target) return mid\n if (arr[mid] < target) lo = mid + 1\n else hi = mid - 1\n }\n return -1\n}\n\n// 예시 실행\nconst a = [1, 3, 4, 7, 9, 12]\nconsole.log(binarySearch(a, 7)) // 3\nconsole.log(binarySearch(a, 8)) // -1