이진 탐색(Binary Search)
Last updated
Last updated
이진 탐색 알고리즘(Binary Search Algorithm)은 탐색 범위를 두 부분 리스트로 나눠 절반씩 좁혀가 필요한 부분에서만 탐색하도록 제한하여 원하는 값을 찾는 알고리즘이다.
이진 탐색 알고리즘의 장점으론 O(log n)의 시간 복잡도가 걸린다는 것이다. 이런 이진 탐색 알고리즘은 배열과 이진 탐색 트리로 구현할 수 있다.
선형 탐색 알고리즘은 순서대로 하나씩 찾는 탐색 알고리즘으로 O(n) 시간 복잡도가 걸린다.
배열로 이진 탐색 알고리즘을 구현하기 위해서는 배열은 기본적으로 정렬이 되어 있어야 한며 각 left, right, mid의 변수가 필요하다.
정렬된 배열의 중간에 있는 임의의 값을 선택하여 찾고자 하는 값 X와 비교한다. X가 중간 값보다 작으면 중간 값을 기준으로 좌측의 데이터들을 대상으로, X가 중간값보다 크면 배열의 우측을 대상으로 다시 탐색한다. 이런 탐색을 원하는 값을 찾을 때까지 반복한다.
반복문을 통해 target이 arr[mid]의 값과 같다면 그 때의 mid를 반환한다. 이때의 mid는 target이 위치한 index가 된다.
하지만 target이 arr[mid]보다 작다면 target은 mid보다 왼쪽에 위치함으로 end의 값을 mid의 바로 왼쪽으로 바꾼다.
반대로 target이 arr[mid]보다 크다면 target은 mid보다 오른쪽에 위치함으로 start의 값을 mid의 바로 오른쪽으로 바꾼다.
길이가 240000인 배열이 있다. 배열의 요소가 54644인 값을 이진 탐색으로 찾아보자. 또한 이진 탐색 함수의 반복문에 콘솔을 찍어 start, end, mid가 어떻게 변하는지 호출 횟수와 함께 살펴보자.
그러기 위해선 binarySearch 함수를 아래와 같이 바꾼 후 실행하여 콘솔을 보자.
총 18번의 반복문을 통해 원하는 데이터의 인덱스를 찾을 수 있다. 만약 이진 탐색이 아니라 배열의 첫 번째 요소 부터 탐색을 했다면 총 54644번의 반복문을 실행을 해야했다.
함수 내에서 자기 자신을 호출하는 binarySearch 함수는 재귀 함수이다. 특정 조건에선 특정 값을 리턴하지 않지만 그렇지 않으면 start 또는 end 값을 바꾸어 또 다시 binarySearch 함수를 호출한다.
binarySearch 함수 내의 조건문에 대해 살펴보자.
arr[mid]가 target가 같을 때: 원하는 값이므로 그 때의 mid를 반환한다.
start가 end보다 클 때: 있어서는 안 될 경우이기 때문에 -1를 반환한다.
arr[mid]가 target 보다 작을 때: target이 mid 보다 오른쪽에 있으므로 start값을 mid의 바로 오른쪽으로 바꾼다.
arr[mid]가 target 보다 클 때: targe이 mid 보다 왼쪽에 있으므로 end값을 mid의 바로 왼쪽으로 바꾼다.
재귀 함수로 통한 구현도 직접 콘솔로 찍어 확인해보자. 테스트 과정과 콘솔을 추가한 전체적인 코드는 아래와 같다.
길이가 240000인 배열 중 요소가 168798인 인덱스를 찾는 과정에서 binarySearch 함수는 아래의 사진에서 보는 것과 같이 단 17번만 호출된다. 만약 0번 인덱스 부터 찾았다면 무려 168798번을 반복해야 한다.
사실 이진 탐색 트리에 노드를 넣는 과정은 O(n)의 시간 복잡도를 가진다. 그렇기 때문에 이진 탐색 트리를 만드는 과정까지 생각한다면 그리 좋은 방법은 아니겠지만 이진 탐색 트리를 활용하여 탐색을 한다면 이점은 확실하기 때문에 많이 사용되는 듯 하다.
이진 탐색 트리에 대해서 따로 정리해둔 파트가 있기 때문에 해당 파트의 링크로 대신한다.
이진 탐색 알고리즘을 직접 배열로 만들어 실행보니 확실히 탐색시간이 줄어든 것이 보였다. 하지만 이를 이용한 문제를 풀 땐 아직 적용이 어려워 잘 사용하지는 못하나 개념 자체는 이해가 되었기 때문에 여러 문제를 풀면서 익숙해져야 겠다.
