Split binary search algorithm from algorithm_sort.h.