[논문 리뷰] Modified Binary Search Algorithm

Ankit Chadha, Rishikesh Misal외 1명|arXiv (Cornell University)|2014. 06. 06.

Metaheuristic Optimization Algorithms Research참고 문헌 1인용 수 14

한 줄 요약

이 논문은 각 반복에서 정렬된 배열의 첫 번째, 마지막, 중간 요소와 입력 요소를 비교함으로써 최악의 경우 성능을 향상시키는 수정된 이진 탐색 알고리즘을 제안한다. 타겟 값이 현재 부분배열 범위 내에 있는지 검증함으로써 불필요한 비교를 줄여, 열악한 경우에도 더 빠른 수렴을 이끌어내며, O(log n) 시간 복잡도를 유지하면서도 실용적인 효율성을 향상시킨다.

ABSTRACT

This paper proposes a modification to the traditional binary search algorithm in which it checks the presence of the input element with the middle element of the given set of elements at each iteration. Modified binary search algorithm optimizes the worst case of the binary search algorithm by comparing the input element with the first & last element of the data set along with the middle element and also checks the input number belongs to the range of numbers present in the given data set at each iteration there by reducing the time taken by the worst cases of binary search algorithm.

연구 동기 및 목표

• 시간 복잡도는 로그 시간이지만 비교 횟수가 높아지는 최악의 경우에서 전통적인 이진 탐색의 비효율성을 해결하기 위해.
• 각 반복에서 범위 검증을 통합하여 열악한 경우의 비교 횟수를 줄이기 위해.
• O(log n) 시간 복잡도를 유지하면서도 조기 종료 검사를 통해 실용적인 성능을 향상시키기 위해.
• 진행하기 전에 타겟 값이 현재 부분배열 경계 내에 있는지 검증함으로써 탐색 효율을 향상시키기 위해.
• 이상적인 최적화를 제공하여 이론적 복잡도를 변화시키지 않고도 실제 환경에서의 성능을 향상시키기 위해.

제안 방법

• 각 반복에서 알고리즘은 현재 부분배열의 첫 번째, 마지막, 중간 요소와 타겟 값을 비교한다.
• 타겟 값이 현재 부분배열의 첫 번째와 마지막 요소로 정의된 범위 내에 있는지 확인한다.
• 타겟 값이 범위 외부에 있다면, 추가 처리 없이 즉시 '없음'을 반환한다.
• 타겟 값이 범위 내에 있다면, 알고리즘은 표준 이진 탐색 로직을 계속 진행하며, 중간 요소와의 비교 결과에 따라 탐색 경계를 업데이트한다.
• 알고리즘은 고전적인 이진 탐색과 동일한 분할 정복 구조를 유지하지만, 사전 범위 검증 단계를 추가한다.
• 수정 사항은 반복적 또는 재귀적으로 적용되며, 구현 방식에 따라 달라지지만 전체 알고리즘 프레임워크에는 영향을 주지 않는다.

실험 결과

연구 질문

• RQ1 첫 번째와 마지막 요소를 사용한 범위 검증이 최악의 경우 이진 탐색에서 비교 횟수를 줄일 수 있는가?
• RQ2 현재 부분배열 경계 내에 타겟 값이 있는지 확인하는 것이 시간 복잡도를 증가시키지 않고 실용적 성능을 향상시킬 수 있는가?
• RQ3 범위 검사를 통한 조기 종료가 열악한 입력 케이스에서 더 빠른 수렴을 이끌 수 있는가?
• RQ4 평균 및 최악의 경우 성능 측면에서 수정된 알고리즘은 고전적 이진 탐색과 어떻게 비교되는가?
• RQ5 실제 검색 워크로드에서 측정 가능한 성능 향상으로 인해 범위 검사에 추가된 논리가 정당한가?

주요 결과

• 수정된 알고리즘은 타겟 값이 현재 부분배열 범위 외부에 있을 경우 조기 종료를 가능하게 하여 최악의 경우 비교 횟수를 줄였다.
• 알고리즘은 O(log n) 시간 복잡도를 유지하여 이론적 효율성이 그대로 보존된다.
• 각 단계에서 범위 소속을 검증함으로써, 타겟 값이 현재 세그먼트에 존재하지 않는 경우 불필요한 비교를 피할 수 있다.
• 이 최적화는 실용적으로 효과적이며, 특히 타겟 값이 배열에 없거나 중간 요소에서 멀리 떨어져 있는 경우에 특히 유용하다.
• 최소한의 오버헤드를 유발하면서도 극단적인 케이스에서 측정 가능한 성능 향상을 제공한다.
• 이 방법은 반복적 및 재귀적 이진 탐색의 둘 다와 호환된다.