# Binary search

In computer science, binary search, also known as half-interval search, logarithmic search, or binary chop, is a search algorithm that finds the position of a target value within a sorted array. Binary search compares the target value to the middle element of the array. If they are not equal, the half in which the target cannot lie is eliminated and the search continues on the remaining half, again taking the middle element to compare to the target value, and repeating this until the target value is found. If the search ends with the remaining half being empty, the target is not in the array.
Binary search runs in logarithmic time in the worst case, making 
  
    
      
        O
        (
        log
        ⁡
        n
        )
      
    
    {\displaystyle O(\log n)}
  
 comparisons, where 
  
    
      
        n
      
    
    {\displaystyle n}
  
 is the number of elements in the array. Binary search is faster than linear search except for small arrays. However, the array must be sorted first to be able to apply binary search. There are specialized data structures designed for fast searching, such as hash tables, that can be searched more efficiently than binary search. However, binary search can be used to solve a wider range of problems, such as finding the next-smallest or next-largest element in the array relative to the target even if it is absent from the array.
There are numerous variations of binary search. In particular, fractional cascading speeds up binary searches for the same value in multiple arrays. Fractional cascading efficiently solves a number of search problems in computational geometry and in numerous other fields. Exponential search extends binary search to unbounded lists. The binary search tree and B-tree data structures are based on binary search.


## Algorithm
Binary search works on sorted arrays. Binary search begins by comparing an element in the middle of the array with the target value. If the target value matches the element, its position in the array is returned. If the target value is less than the element, the search continues in the lower half of the array. If the target value is greater than the element, the search continues in the upper half of the array. By doing this, the algorithm eliminates the half in which the target value cannot lie in each iteration.


### Procedure
Given an array 
  
    
      
        A
      
    
    {\displaystyle A}
  
 of 
  
    
      
        n
      
    
    {\displaystyle n}
  
 elements with values or records 
  
    
      
        
          A
          
            0
          
        
        ,
        
          A
          
            1
          
        
        ,
        
          A
          
            2
          
        
        ,
        …
        ,
        
          A
          
            n
            −
            1
          
        
      
    
    {\displaystyle A_{0},A_{1},A_{2},\ldots ,A_{n-1}}
  
sorted such that 
  
    
      
        
          A
          
            0
          
        
        ≤
        
          A
          
            1
          
        
        ≤
        
          A
          
            2
          
        
        ≤
        ⋯
        ≤
        
          A
          
            n
            −
            1
          
        
      
    
    {\displaystyle A_{0}\leq A_{1}\leq A_{2}\leq \cdots \leq A_{n-1}}
  
, and target value 
  
    
      
        T
      
    
    {\displaystyle T}
  
, the following subroutine uses binary search to find the index of 
  
    
      
        T
      
    
    {\displaystyle T}
  
 in 
  
    
      
        A
      
    
    {\displaystyle A}
  
.

Set 
  
    
      
        L
      
    
    {\displaystyle L}
  
 to 
  
    
      
        0
      
    
    {\displaystyle 0}
  
 and 
  
    
      
        R
      
    
    {\displaystyle R}
  
 to 
  
    
      
        n
        −
        1
      
    
    {\displaystyle n-1}
  
.
If 
  
    
      
        L
        >
        R
      
    
    {\displaystyle L>R}
  
, the search terminates as unsuccessful.
Set 
  
    
      
        m
      
    
    {\displaystyle m}
  
 (the position of the middle element) to 
  
    
      
        L
      
    
    {\displaystyle L}
  
 plus the floor of 
  
    
      
        
          
            
              R
              −
              L
            
            2
          
        
      
    
    {\displaystyle {\frac {R-L}{2}}}
  
, which is the greatest integer less than or equal to 
  
    
      
        
          
            
              R
              −
              L
            
            2
          
        
      
    
    {\displaystyle {\frac {R-L}{2}}}
  
.
If 
  
    
      
        
          A
          
            m
          
        
        <
        T
      
    
    {\displaystyle A_{m}<T}
  
, set 
  
    
      
        L
      
    
    {\displaystyle L}
  
 to 
  
    
      
        m
        +
        1
      
    
    {\displaystyle m+1}
  
 and go to step 2.
If 
  
    
      
        
          A
          
            m
          
        
        >
        T
      
    
    {\displaystyle A_{m}>T}
  
, set 
  
    
      
        R
      
    
    {\displaystyle R}
  
 to 
  
    
      
        m
        −
        1
      
    
    {\displaystyle m-1}
  
 and go to step 2.
Now 
  
    
      
        
          A
          
            m
          
        
        =
        T
      
    
    {\displaystyle A_{m}=T}
  
, the search is done; return 
  
    
      
        m
      
    
    {\displaystyle m}
  
.
This iterative procedure keeps track of the search boundaries with the two variables 
  
    
      
        L
      
    
    {\displaystyle L}
  
 and 
  
    
      
        R
      
    
    {\displaystyle R}
  
. The procedure may be expressed in pseudocode as follows, where the variable names and types remain the same as above, floor is the floor function, and unsuccessful refers to a specific value that conveys the failure of the search.

function binary_search(A, n, T) is
    L := 0
    R := n − 1
    while L ≤ R do
        m := L + floor((R - L) / 2)
        if A[m] < T then
            L := m + 1
        else if A[m] > T then
            R := m − 1
        else:
            return m
    return unsuccessful

Alternatively, the algorithm may take the ceiling of 
  
    
      
        
          
            
              R
              −
              L
            
            2
          
        
      
    
    {\displaystyle {\frac {R-L}{2}}}
  
. This may change the result if the target value appears more than once in the array.


#### Alternative procedure
In the above procedure, the algorithm checks whether the middle element (
  
    
      
        m
      
    
    {\displaystyle m}
  
) is equal to the target (
  
    
      
        T
      
    
    {\displaystyle T}
  
) in every iteration. Some implementations leave out this check during each iteration. The algorithm would perform this check only when one element is left (when 
  
    
      
        L
        =
        R
      
    
    {\displaystyle L=R}
  
). This results in a faster comparison loop, as one comparison is eliminated per iteration, while it requires only one more iteration on average.
Hermann Bottenbruch published the first implementation to leave out this check in 1962.

Set 
  
    
      
        L
      
    
    {\displaystyle L}
  
 to 
  
    
      
        0
      
    
    {\displaystyle 0}
  
 and 
  
    
      
        R
      
    
    {\displaystyle R}
  
 to 
  
    
      
        n
        −
        1
      
    
    {\displaystyle n-1}
  
.
While 
  
    
      
        L
        ≠
        R
      
    
    {\displaystyle L\neq R}
  
,
Set 
  
    
      
        m
      
    
    {\displaystyle m}
  
 (the position of the middle element) to 
  
    
      
        L
      
    
    {\displaystyle L}
  
 plus the ceiling of 
  
    
      
        
          
            
              R
              −
              L
            
            2
          
        
      
    
    {\displaystyle {\frac {R-L}{2}}}
  
, which is the least integer greater than or equal to 
  
    
      
        
          
            
              R
              −
              L
            
            2
          
        
      
    
    {\displaystyle {\frac {R-L}{2}}}
  
.
If 
  
    
      
        
          A
          
            m
          
        
        >
        T
      
    
    {\displaystyle A_{m}>T}
  
, set 
  
    
      
        R
      
    
    {\displaystyle R}
  
 to 
  
    
      
        m
        −
        1
      
    
    {\displaystyle m-1}
  
.
Else, 
  
    
      
        
          A
          
            m
          
        
        ≤
        T
      
    
    {\displaystyle A_{m}\leq T}
  
; set 
  
    
      
        L
      
    
    {\displaystyle L}
  
 to 
  
    
      
        m
      
    
    {\displaystyle m}
  
.
Now 
  
    
      
        L
        =
        R
      
    
    {\displaystyle L=R}
  
, the search is done. If 
  
    
      
        
          A
          
            L
          
        
        =
        T
      
    
    {\displaystyle A_{L}=T}
  
, return 
  
    
      
        L
      
    
    {\displaystyle L}
  
. Otherwise, the search terminates as unsuccessful.
Where ceil is the ceiling function, the pseudocode for this version is:

function binary_search_alternative(A, n, T) is
    L := 0
    R := n − 1
    while L != R do
        m := L + ceil((R - L) / 2)
        if A[m] > T then
            R := m − 1
        else:
            L := m
    if A[L] = T then
        return L
    return unsuccessful


### Duplicate elements
The procedure may return any index whose element is equal to the target value, even if there are duplicate elements in the array. For example, if the array to be searched was 
  
    
      
        [
        1
        ,
        2
        ,
        3
        ,
        4
        ,
        4
        ,
        5
        ,
        6
        ,
        7
        ]
      
    
    {\displaystyle [1,2,3,4,4,5,6,7]}
  
 and the target was 
  
    
      
        4
      
    
    {\displaystyle 4}
  
, then it would be correct for the algorithm to either return the 4th (index 3) or 5th (index 4) element. The regular procedure would return the 4th element (index 3) in this case. It does not always return the first duplicate (consider 
  
    
      
        [
        1
        ,
        2
        ,
        4
        ,
        4
        ,
        4
        ,
        5
        ,
        6
        ,
        7
        ]
      
    
    {\displaystyle [1,2,4,4,4,5,6,7]}
  
 which still returns the 4th element). However, it is sometimes necessary to find the leftmost element or the rightmost element for a target value that is duplicated in the array. In the above example, the 4th element is the leftmost element of the value 4, while the 5th element is the rightmost element of the value 4. The alternative procedure above will always return the index of the rightmost element if such an element exists.


#### Procedure for finding the leftmost element
To find the leftmost element, the following procedure can be used:

Set 
  
    
      
        L
      
    
    {\displaystyle L}
  
 to 
  
    
      
        0
      
    
    {\displaystyle 0}
  
 and 
  
    
      
        R
      
    
    {\displaystyle R}
  
 to 
  
    
      
        n
      
    
    {\displaystyle n}
  
.
While 
  
    
      
        L
        <
        R
      
    
    {\displaystyle L<R}
  
,
Set 
  
    
      
        m
      
    
    {\displaystyle m}
  
 (the position of the middle element) to 
  
    
      
        L
      
    
    {\displaystyle L}
  
 plus the floor of 
  
    
      
        
          
            
              R
              −
              L
            
            2
          
        
      
    
    {\displaystyle {\frac {R-L}{2}}}
  
, which is the greatest integer less than or equal to 
  
    
      
        
          
            
              R
              −
              L
            
            2
          
        
      
    
    {\displaystyle {\frac {R-L}{2}}}
  
.
If 
  
    
      
        
          A
          
            m
          
        
        <
        T
      
    
    {\displaystyle A_{m}<T}
  
, set 
  
    
      
        L
      
    
    {\displaystyle L}
  
 to 
  
    
      
        m
        +
        1
      
    
    {\displaystyle m+1}
  
.
Else, 
  
    
      
        
          A
          
            m
          
        
        ≥
        T
      
    
    {\displaystyle A_{m}\geq T}
  
; set 
  
    
      
        R
      
    
    {\displaystyle R}
  
 to 
  
    
      
        m
      
    
    {\displaystyle m}
  
.
Return 
  
    
      
        L
      
    
    {\displaystyle L}
  
.
If 
  
    
      
        L
        <
        n
      
    
    {\displaystyle L<n}
  
 and 
  
    
      
        
          A
          
            L
          
        
        =
        T
      
    
    {\displaystyle A_{L}=T}
  
, then 
  
    
      
        
          A
          
            L
          
        
      
    
    {\displaystyle A_{L}}
  
 is the leftmost element that equals 
  
    
      
        T
      
    
    {\displaystyle T}
  
. Even if 
  
    
      
        T
      
    
    {\displaystyle T}
  
 is not in the array, 
  
    
      
        L
      
    
    {\displaystyle L}
  
 is the rank of 
  
    
      
        T
      
    
    {\displaystyle T}
  
 in the array, or the number of elements in the array that are less than 
  
    
      
        T
      
    
    {\displaystyle T}
  
.
Where floor is the floor function, the pseudocode for this version is:

function binary_search_leftmost(A, n, T):
    L := 0
    R := n
    while L < R:
        m := L + floor((R - L) / 2)
        if A[m] < T:
            L := m + 1
        else:
            R := m
    return L


#### Procedure for finding the rightmost element
To find the rightmost element, the following procedure can be used:

Set 
  
    
      
        L
      
    
    {\displaystyle L}
  
 to 
  
    
      
        0
      
    
    {\displaystyle 0}
  
 and 
  
    
      
        R
      
    
    {\displaystyle R}
  
 to 
  
    
      
        n
      
    
    {\displaystyle n}
  
.
While 
  
    
      
        L
        <
        R
      
    
    {\displaystyle L<R}
  
,
Set 
  
    
      
        m
      
    
    {\displaystyle m}
  
 (the position of the middle element) to 
  
    
      
        L
      
    
    {\displaystyle L}
  
 plus the floor of 
  
    
      
        
          
            
              R
              −
              L
            
            2
          
        
      
    
    {\displaystyle {\frac {R-L}{2}}}
  
, which is the greatest integer less than or equal to 
  
    
      
        
          
            
              R
              −
              L
            
            2
          
        
      
    
    {\displaystyle {\frac {R-L}{2}}}
  
.
If 
  
    
      
        
          A
          
            m
          
        
        >
        T
      
    
    {\displaystyle A_{m}>T}
  
, set 
  
    
      
        R
      
    
    {\displaystyle R}
  
 to 
  
    
      
        m
      
    
    {\displaystyle m}
  
.
Else, 
  
    
      
        
          A
          
            m
          
        
        ≤
        T
      
    
    {\displaystyle A_{m}\leq T}
  
; set 
  
    
      
        L
      
    
    {\displaystyle L}
  
 to 
  
    
      
        m
        +
        1
      
    
    {\displaystyle m+1}
  
.
Return 
  
    
      
        R
        −
        1
      
    
    {\displaystyle R-1}
  
.
If 
  
    
      
        R
        >
        0
      
    
    {\displaystyle R>0}
  
 and 
  
    
      
        
          A
          
            R
            −
            1
          
        
        =
        T
      
    
    {\displaystyle A_{R-1}=T}
  
, then 
  
    
      
        
          A
          
            R
            −
            1
          
        
      
    
    {\displaystyle A_{R-1}}
  
 is the rightmost element that equals 
  
    
      
        T
      
    
    {\displaystyle T}
  
. Even if 
  
    
      
        T
      
    
    {\displaystyle T}
  
 is not in the array, 
  
    
      
        n
        −
        R
      
    
    {\displaystyle n-R}
  
 is the number of elements in the array that are greater than 
  
    
      
        T
      
    
    {\displaystyle T}
  
.
Where floor is the floor function, the pseudocode for this version is:

function binary_search_rightmost(A, n, T):
    L := 0
    R := n
    while L < R:
        m := L + floor((R - L) / 2)
        if A[m] > T:
            R := m
        else:
            L := m + 1
    return R - 1


### Approximate matches
The above procedure only performs exact matches, finding the position of a target value. However, it is trivial to extend binary search to perform approximate matches because binary search operates on sorted arrays. For example, binary search can be used to compute, for a given value, its rank (the number of smaller elements), predecessor (next-smallest element), successor (next-largest element), and nearest neighbor. Range queries seeking the number of elements between two values can be performed with two rank queries.

Rank queries can be performed with the procedure for finding the leftmost element. The number of elements less than the target value is returned by the procedure.
Predecessor queries can be performed with rank queries. If the rank of the target value is 
  
    
      
        r
      
    
    {\displaystyle r}
  
, its predecessor is 
  
    
      
        r
        −
        1
      
    
    {\displaystyle r-1}
  
.
For successor queries, the procedure for finding the rightmost element can be used. If the result of running the procedure for the target value is 
  
    
      
        r
      
    
    {\displaystyle r}
  
, then the successor of the target value is 
  
    
      
        r
        +
        1
      
    
    {\displaystyle r+1}
  
.
The nearest neighbor of the target value is either its predecessor or successor, whichever is closer.
Range queries are also straightforward. Once the ranks of the two values are known, the number of elements greater than or equal to the first value and less than the second is the difference of the two ranks. This count can be adjusted up or down by one according to whether the endpoints of the range should be considered to be part of the range and whether the array contains entries matching those endpoints.


## Performance
In terms of the number of comparisons, the performance of binary search can be analyzed by viewing the run of the procedure on a binary tree. The root node of the tree is the middle element of the array. The middle element of the lower half is the left child node of the root, and the middle element of the upper half is the right child node of the root. The rest of the tree is built in a similar fashion. Starting from the root node, the left or right subtrees are traversed depending on whether the target value is less or more than the node under consideration.
In the worst case, binary search makes 
  
    
      
        ⌊
        
          log
          
            2
          
        
        ⁡
        (
        n
        )
        +
        1
        ⌋
      
    
    {\textstyle \lfloor \log _{2}(n)+1\rfloor }
  
 iterations of the comparison loop, where the 
  
    
      
        ⌊
        ⋅
        ⌋
      
    
    {\textstyle \lfloor \cdot \rfloor }
  
 notation denotes the floor function that yields the greatest integer less than or equal to the argument, and 
  
    
      
        
          log
          
            2
          
        
      
    
    {\textstyle \log _{2}}
  
 is the binary logarithm. This is because the worst case is reached when the search reaches the deepest level of the tree, and there are always 
  
    
      
        ⌊
        
          log
          
            2
          
        
        ⁡
        (
        n
        )
        +
        1
        ⌋
      
    
    {\textstyle \lfloor \log _{2}(n)+1\rfloor }
  
 levels in the tree for any binary search.
The worst case may also be reached when the target element is not in the array. If 
  
    
      
        n
      
    
    {\textstyle n}
  
 is one less than a power of two, then this is always the case. Otherwise, the search may perform 
  
    
      
        ⌊
        
          log
          
            2
          
        
        ⁡
        (
        n
        )
        +
        1
        ⌋
      
    
    {\textstyle \lfloor \log _{2}(n)+1\rfloor }
  
iterations if the search reaches the deepest level of the tree. However, it may make 
  
    
      
        ⌊
        
          log
          
            2
          
        
        ⁡
        (
        n
        )
        ⌋
      
    
    {\textstyle \lfloor \log _{2}(n)\rfloor }
  
 iterations, which is one less than the worst case, if the search ends at the second-deepest level of the tree.
On average, assuming that each element is equally likely to be searched, binary search makes 
  
    
      
        ⌊
        
          log
          
            2
          
        
        ⁡
        (
        n
        )
        ⌋
        +
        1
        −
        (
        
          2
          
            ⌊
            
              log
              
                2
              
            
            ⁡
            (
            n
            )
            ⌋
            +
            1
          
        
        −
        ⌊
        
          log
          
            2
          
        
        ⁡
        (
        n
        )
        ⌋
        −
        2
        )
        
          /
        
        n
      
    
    {\displaystyle \lfloor \log _{2}(n)\rfloor +1-(2^{\lfloor \log _{2}(n)\rfloor +1}-\lfloor \log _{2}(n)\rfloor -2)/n}
  
 iterations when the target element is in the array. This is approximately equal to 
  
    
      
        
          log
          
            2
          
        
        ⁡
        (
        n
        )
        −
        1
      
    
    {\displaystyle \log _{2}(n)-1}
  
 iterations. When the target element is not in the array, binary search makes 
  
    
      
        ⌊
        
          log
          
            2
          
        
        ⁡
        (
        n
        )
        ⌋
        +
        2
        −
        
          2
          
            ⌊
            
              log
              
                2
              
            
            ⁡
            (
            n
            )
            ⌋
            +
            1
          
        
        
          /
        
        (
        n
        +
        1
        )
      
    
    {\displaystyle \lfloor \log _{2}(n)\rfloor +2-2^{\lfloor \log _{2}(n)\rfloor +1}/(n+1)}
  
 iterations on average, assuming that the range between and outside elements is equally likely to be searched.
In the best case, where the target value is the middle element of the array, its position is returned after one iteration.
In terms of iterations, no search algorithm that works only by comparing elements can exhibit better average and worst-case performance than binary search. The comparison tree representing binary search has the fewest levels possible as every level above the lowest level of the tree is filled completely. Otherwise, the search algorithm can eliminate few elements in an iteration, increasing the number of iterations required in the average and worst case. This is the case for other search algorithms based on comparisons, as while they may work faster on some target values, the average performance over all elements is worse than binary search. By dividing the array in half, binary search ensures that the size of both subarrays are as similar as possible.


### Space complexity
Binary search requires three pointers to elements, which may be array indices or pointers to memory locations, regardless of the size of the array. Therefore, the space complexity of binary search is 
  
    
      
        O
        (
        1
        )
      
    
    {\displaystyle O(1)}
  
 in the word RAM model of computation.


### Derivation of average case
The average number of iterations performed by binary search depends on the probability of each element being searched. The average case is different for successful searches and unsuccessful searches. It will be assumed that each element is equally likely to be searched for successful searches. For unsuccessful searches, it will be assumed that the intervals between and outside elements are equally likely to be searched. The average case for successful searches is the number of iterations required to search every element exactly once, divided by 
  
    
      
        n
      
    
    {\displaystyle n}
  
, the number of elements. The average case for unsuccessful searches is the number of iterations required to search an element within every interval exactly once, divided by the 
  
    
      
        n
        +
        1
      
    
    {\displaystyle n+1}
  
 intervals.


#### Successful searches
In the binary tree representation, a successful search can be represented by a path from the root to the target node, called an internal path. The length of a path is the number of edges (connections between nodes) that the path passes through. The number of iterations performed by a search, given that the corresponding path has length l, is 
  
    
      
        l
        +
        1
      
    
    {\displaystyle l+1}
  
 counting the initial iteration. The internal path length is the sum of the lengths of all unique internal paths. Since there is only one path from the root to any single node, each internal path represents a search for a specific element. If there are n elements, which is a positive integer, and the internal path length is 
  
    
      
        I
        (
        n
        )
      
    
    {\displaystyle I(n)}
  
, then the average number of iterations for a successful search 
  
    
      
        T
        (
        n
        )
        =
        1
        +
        
          
            
              I
              (
              n
              )
            
            n
          
        
      
    
    {\displaystyle T(n)=1+{\frac {I(n)}{n}}}
  
, with the one iteration added to count the initial iteration.
Since binary search is the optimal algorithm for searching with comparisons, this problem is reduced to calculating the minimum internal path length of all binary trees with n nodes, which is equal to:

  
    
      
        I
        (
        n
        )
        =
        
          ∑
          
            k
            =
            1
          
          
            n
          
        
        
          ⌊
          
            
              log
              
                2
              
            
            ⁡
            (
            k
            )
          
          ⌋
        
      
    
    {\displaystyle I(n)=\sum _{k=1}^{n}\left\lfloor \log _{2}(k)\right\rfloor }
  

For example, in a 7-element array, the root requires one iteration, the two elements below the root require two iterations, and the four elements below require three iterations. In this case, the internal path length is:

  
    
      
        
          ∑
          
            k
            =
            1
          
          
            7
          
        
        
          ⌊
          
            
              log
              
                2
              
            
            ⁡
            (
            k
            )
          
          ⌋
        
        =
        0
        +
        2
        (
        1
        )
        +
        4
        (
        2
        )
        =
        2
        +
        8
        =
        10
      
    
    {\displaystyle \sum _{k=1}^{7}\left\lfloor \log _{2}(k)\right\rfloor =0+2(1)+4(2)=2+8=10}
  

The average number of iterations would be 
  
    
      
        1
        +
        
          
            10
            7
          
        
        =
        2
        
          
            3
            7
          
        
      
    
    {\displaystyle 1+{\frac {10}{7}}=2{\frac {3}{7}}}
  
 based on the equation for the average case. The sum for 
  
    
      
        I
        (
        n
        )
      
    
    {\displaystyle I(n)}
  
 can be simplified to:

  
    
      
        I
        (
        n
        )
        =
        
          ∑
          
            k
            =
            1
          
          
            n
          
        
        
          ⌊
          
            
              log
              
                2
              
            
            ⁡
            (
            k
            )
          
          ⌋
        
        =
        (
        n
        +
        1
        )
        
          ⌊
          
            
              log
              
                2
              
            
            ⁡
            (
            n
            +
            1
            )
          
          ⌋
        
        −
        
          2
          
            
              ⌊
              
                
                  log
                  
                    2
                  
                
                ⁡
                (
                n
                +
                1
                )
              
              ⌋
            
            +
            1
          
        
        +
        2
      
    
    {\displaystyle I(n)=\sum _{k=1}^{n}\left\lfloor \log _{2}(k)\right\rfloor =(n+1)\left\lfloor \log _{2}(n+1)\right\rfloor -2^{\left\lfloor \log _{2}(n+1)\right\rfloor +1}+2}
  

Substituting the equation for 
  
    
      
        I
        (
        n
        )
      
    
    {\displaystyle I(n)}
  
 into the equation for 
  
    
      
        T
        (
        n
        )
      
    
    {\displaystyle T(n)}
  
:

  
    
      
        T
        (
        n
        )
        =
        1
        +
        
          
            
              (
              n
              +
              1
              )
              
                ⌊
                
                  
                    log
                    
                      2
                    
                  
                  ⁡
                  (
                  n
                  +
                  1
                  )
                
                ⌋
              
              −
              
                2
                
                  
                    ⌊
                    
                      
                        log
                        
                          2
                        
                      
                      ⁡
                      (
                      n
                      +
                      1
                      )
                    
                    ⌋
                  
                  +
                  1
                
              
              +
              2
            
            n
          
        
        =
        ⌊
        
          log
          
            2
          
        
        ⁡
        (
        n
        )
        ⌋
        +
        1
        −
        (
        
          2
          
            ⌊
            
              log
              
                2
              
            
            ⁡
            (
            n
            )
            ⌋
            +
            1
          
        
        −
        ⌊
        
          log
          
            2
          
        
        ⁡
        (
        n
        )
        ⌋
        −
        2
        )
        
          /
        
        n
      
    
    {\displaystyle T(n)=1+{\frac {(n+1)\left\lfloor \log _{2}(n+1)\right\rfloor -2^{\left\lfloor \log _{2}(n+1)\right\rfloor +1}+2}{n}}=\lfloor \log _{2}(n)\rfloor +1-(2^{\lfloor \log _{2}(n)\rfloor +1}-\lfloor \log _{2}(n)\rfloor -2)/n}
  

For integer n, this is equivalent to the equation for the average case on a successful search specified above.


#### Unsuccessful searches
Unsuccessful searches can be represented by augmenting the tree with external nodes, which forms an extended binary tree. If an internal node, or a node present in the tree, has fewer than two child nodes, then additional child nodes, called external nodes, are added so that each internal node has two children. By doing so, an unsuccessful search can be represented as a path to an external node, whose parent is the single element that remains during the last iteration. An external path is a path from the root to an external node. The external path length is the sum of the lengths of all unique external paths. If there are 
  
    
      
        n
      
    
    {\displaystyle n}
  
 elements, which is a positive integer, and the external path length is 
  
    
      
        E
        (
        n
        )
      
    
    {\displaystyle E(n)}
  
, then the average number of iterations for an unsuccessful search 
  
    
      
        
          T
          ′
        
        (
        n
        )
        =
        
          
            
              E
              (
              n
              )
            
            
              n
              +
              1
            
          
        
      
    
    {\displaystyle T'(n)={\frac {E(n)}{n+1}}}
  
, with the one iteration added to count the initial iteration. The external path length is divided by 
  
    
      
        n
        +
        1
      
    
    {\displaystyle n+1}
  
 instead of 
  
    
      
        n
      
    
    {\displaystyle n}
  
 because there are 
  
    
      
        n
        +
        1
      
    
    {\displaystyle n+1}
  
 external paths, representing the intervals between and outside the elements of the array.
This problem can similarly be reduced to determining the minimum external path length of all binary trees with 
  
    
      
        n
      
    
    {\displaystyle n}
  
 nodes. For all binary trees, the external path length is equal to the internal path length plus 
  
    
      
        2
        n
      
    
    {\displaystyle 2n}
  
. Substituting the equation for 
  
    
      
        I
        (
        n
        )
      
    
    {\displaystyle I(n)}
  
:

  
    
      
        E
        (
        n
        )
        =
        I
        (
        n
        )
        +
        2
        n
        =
        
          [
          
            (
            n
            +
            1
            )
            
              ⌊
              
                
                  log
                  
                    2
                  
                
                ⁡
                (
                n
                +
                1
                )
              
              ⌋
            
            −
            
              2
              
                
                  ⌊
                  
                    
                      log
                      
                        2
                      
                    
                    ⁡
                    (
                    n
                    +
                    1
                    )
                  
                  ⌋
                
                +
                1
              
            
            +
            2
          
          ]
        
        +
        2
        n
        =
        (
        n
        +
        1
        )
        (
        ⌊
        
          log
          
            2
          
        
        ⁡
        (
        n
        )
        ⌋
        +
        2
        )
        −
        
          2
          
            ⌊
            
              log
              
                2
              
            
            ⁡
            (
            n
            )
            ⌋
            +
            1
          
        
      
    
    {\displaystyle E(n)=I(n)+2n=\left[(n+1)\left\lfloor \log _{2}(n+1)\right\rfloor -2^{\left\lfloor \log _{2}(n+1)\right\rfloor +1}+2\right]+2n=(n+1)(\lfloor \log _{2}(n)\rfloor +2)-2^{\lfloor \log _{2}(n)\rfloor +1}}
  

Substituting the equation for 
  
    
      
        E
        (
        n
        )
      
    
    {\displaystyle E(n)}
  
 into the equation for 
  
    
      
        
          T
          ′
        
        (
        n
        )
      
    
    {\displaystyle T'(n)}
  
, the average case for unsuccessful searches can be determined:

  
    
      
        
          T
          ′
        
        (
        n
        )
        =
        
          
            
              (
              n
              +
              1
              )
              (
              ⌊
              
                log
                
                  2
                
              
              ⁡
              (
              n
              )
              ⌋
              +
              2
              )
              −
              
                2
                
                  ⌊
                  
                    log
                    
                      2
                    
                  
                  ⁡
                  (
                  n
                  )
                  ⌋
                  +
                  1
                
              
            
            
              (
              n
              +
              1
              )
            
          
        
        =
        ⌊
        
          log
          
            2
          
        
        ⁡
        (
        n
        )
        ⌋
        +
        2
        −
        
          2
          
            ⌊
            
              log
              
                2
              
            
            ⁡
            (
            n
            )
            ⌋
            +
            1
          
        
        
          /
        
        (
        n
        +
        1
        )
      
    
    {\displaystyle T'(n)={\frac {(n+1)(\lfloor \log _{2}(n)\rfloor +2)-2^{\lfloor \log _{2}(n)\rfloor +1}}{(n+1)}}=\lfloor \log _{2}(n)\rfloor +2-2^{\lfloor \log _{2}(n)\rfloor +1}/(n+1)}
  


#### Performance of alternative procedure
Each iteration of the binary search procedure defined above makes one or two comparisons, checking if the middle element is equal to the target in each iteration. Assuming that each element is equally likely to be searched, each iteration makes 1.5 comparisons on average. A variation of the algorithm checks whether the middle element is equal to the target at the end of the search. On average, this eliminates half a comparison from each iteration. This slightly cuts the time taken per iteration on most computers. However, it guarantees that the search takes the maximum number of iterations, on average adding one iteration to the search. Because the comparison loop is performed only 
  
    
      
        ⌊
        
          log
          
            2
          
        
        ⁡
        (
        n
        )
        +
        1
        ⌋
      
    
    {\textstyle \lfloor \log _{2}(n)+1\rfloor }
  
 times in the worst case, the slight increase in efficiency per iteration does not compensate for the extra iteration for all but very large 
  
    
      
        n
      
    
    {\textstyle n}
  
.


### Additional considerations
#### Cost of comparison
In analyzing the performance of binary search, another consideration is the time required to compare two elements. For integers and strings, the time required increases linearly as the encoding length (usually the number of bits) of the elements increase. For example, comparing a pair of 64-bit unsigned integers would require comparing up to double the bits as comparing a pair of 32-bit unsigned integers. The worst case is achieved when the integers are equal. This can be significant when the encoding lengths of the elements are large, such as with large integer types or long strings, which makes comparing elements expensive. Furthermore, comparing floating-point values (the most common digital representation of real numbers) is often more expensive than comparing integers or short strings.
Fast floating point comparison is possible via comparing as an integer. However, this kind of comparison forms a total order, which makes every floating-point value compare differently from each other and the same as itself. This is different from the typical comparison where -0.0 should be the same as 0.0 and NaN should not compare the same as any other value including itself.


#### Branch prediction
According to Steel Bank Common Lisp contributor Paul Khuong, binary search leads to very few branch mispredictions despite its data-dependent nature. This is in part because most of it can be expressed as conditional moves instead of branches. The same applies to most logarithmic divide-and-conquer search algorithms.


#### Cache usage
On most computer architectures, the processor has a hardware cache separate from RAM. Since they are located within the processor itself, caches are much faster to access but usually store much less data than RAM. Therefore, most processors store memory locations that have been accessed recently, along with memory locations close to it. For example, when an array element is accessed, the element itself may be stored along with the elements that are stored close to it in RAM, making it faster to sequentially access array elements that are close in index to each other (locality of reference). On a sorted array, binary search can jump to distant memory locations if the array is large, unlike algorithms (such as linear search and linear probing in hash tables) which access elements in sequence. This adds slightly to the running time of binary search for large arrays on most systems.
Paul Khuong has noted that binary search on large (≥ 512 KiB) arrays of exactly a power-of-two size tends to cause an additional problem with how CPU caches are implemented. Specifically, the translation lookaside buffer (TLB) is often implemented as a content-addressable memory (CAM), with the "key" usually being the lower bits of a requested address. When searching on an array of exactly a power-of-two size, memory address with the same lower bits tend to be accessed, causing collisions ("aliasing") with the "key" used to fetch the CAM. The typical TLB is 4-way associative, meaning it can handle at most four addresses hitting the same "key", after which TLB thrashing happens. (Although the other levels of CPU caches also use a similar setup, they manage smaller areas with a higher way count, usually 8 or 16, so they are less affected.) This can be prevented by offsetting the split point of the binary search so it divides at 31⁄64 instead of exactly the middle.


## Binary search versus other schemes
Sorted arrays with binary search are a very inefficient solution when insertion and deletion operations are interleaved with retrieval, taking 
  
    
      
        O
        (
        n
        )
      
    
    {\textstyle O(n)}
  
 time for each such operation. In addition, sorted arrays can complicate memory use especially when elements are often inserted into the array. There are other data structures that support much more efficient insertion and deletion. Binary search can be used to perform exact matching and set membership (determining whether a target value is in a collection of values). There are data structures that support faster exact matching and set membership. However, unlike many other searching schemes, binary search can be used for efficient approximate matching, usually performing such matches in 
  
    
      
        O
        (
        log
        ⁡
        n
        )
      
    
    {\textstyle O(\log n)}
  
 time regardless of the type or structure of the values themselves. In addition, there are some operations, like finding the smallest and largest element, that can be performed efficiently on a sorted array.


### Linear search
Linear search is a simple search algorithm that checks every record until it finds the target value. Linear search can be done on a linked list, which allows for faster insertion and deletion than an array. Binary search is faster than linear search for sorted arrays except if the array is short, although the array needs to be sorted beforehand. All sorting algorithms based on comparing elements, such as quicksort and merge sort, require at least 
  
    
      
        O
        (
        n
        log
        ⁡
        n
        )
      
    
    {\textstyle O(n\log n)}
  
 comparisons in the worst case. Unlike linear search, binary search can be used for efficient approximate matching. There are operations such as finding the smallest and largest element that can be done efficiently on a sorted array but not on an unsorted array.


### Trees
A binary search tree is a binary tree data structure that works based on the principle of binary search. The records of the tree are arranged in sorted order, and each record in the tree can be searched using an algorithm similar to binary search, taking on average logarithmic time. Insertion and deletion also require on average logarithmic time in binary search trees. This can be faster than the linear time insertion and deletion of sorted arrays, and binary trees retain the ability to perform all the operations possible on a sorted array, including range and approximate queries.
However, binary search is usually more efficient for searching as binary search trees will most likely be imperfectly balanced, resulting in slightly worse performance than binary search. This even applies to balanced binary search trees, binary search trees that balance their own nodes, because they rarely produce the tree with the fewest possible levels. Except for balanced binary search trees, the tree may be severely imbalanced with few internal nodes with two children, resulting in the average and worst-case search time approaching 
  
    
      
        n
      
    
    {\textstyle n}
  
 comparisons. Binary search trees take more space than sorted arrays.
Binary search trees lend themselves to fast searching in external memory stored in hard disks, as binary search trees can be efficiently structured in filesystems. The B-tree generalizes this method of tree organization. B-trees are frequently used to organize long-term storage such as databases and filesystems.


### Hashing
For implementing associative arrays, hash tables, a data structure that maps keys to records using a hash function, are generally faster than binary search on a sorted array of records. Most hash table implementations require only amortized constant time on average. However, hashing is not useful for approximate matches, such as computing the next-smallest, next-largest, and nearest key, as the only information given on a failed search is that the target is not present in any record. Binary search is ideal for such matches, performing them in logarithmic time. Binary search also supports approximate matches. Some operations, like finding the smallest and largest element, can be done efficiently on sorted arrays but not on hash tables.


### Set membership algorithms
A related problem to search is set membership. Any algorithm that does lookup, like binary search, can also be used for set membership. There are other algorithms that are more specifically suited for set membership. A bit array is the simplest, useful when the range of keys is limited. It compactly stores a collection of bits, with each bit representing a single key within the range of keys. Bit arrays are very fast, requiring only 
  
    
      
        O
        (
        1
        )
      
    
    {\textstyle O(1)}
  
 time.  The Judy1 type of Judy array handles 64-bit keys efficiently.
For approximate results, Bloom filters, another probabilistic data structure based on hashing, store a set of keys by encoding the keys using a bit array and multiple hash functions. Bloom filters are much more space-efficient than bit arrays in most cases and not much slower: with 
  
    
      
        k
      
    
    {\textstyle k}
  
 hash functions, membership queries require only 
  
    
      
        O
        (
        k
        )
      
    
    {\textstyle O(k)}
  
 time. However, Bloom filters suffer from false positives.


### Other data structures
There exist data structures that may improve on binary search in some cases for both searching and other operations available for sorted arrays. For example, searches, approximate matches, and the operations available to sorted arrays can be performed more efficiently than binary search on specialized data structures such as van Emde Boas trees, fusion trees, tries, and bit arrays. These specialized data structures are usually only faster because they take advantage of the properties of keys with a certain attribute (usually keys that are small integers), and thus will be time or space consuming for keys that lack that attribute. As long as the keys can be ordered, these operations can always be done at least efficiently on a sorted array regardless of the keys. Some structures, such as Judy arrays, use a combination of approaches to mitigate this while retaining efficiency and the ability to perform approximate matching.


## Variations
### Uniform binary search
Uniform binary search stores, instead of the lower and upper bounds, the difference in the index of the middle element from the current iteration to the next iteration. A lookup table containing the differences is computed beforehand. For example, if the array to be searched is [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11], the middle element (
  
    
      
        m
      
    
    {\displaystyle m}
  
) would be 6. In this case, the middle element of the left subarray ([1, 2, 3, 4, 5]) is 3 and the middle element of the right subarray ([7, 8, 9, 10, 11]) is 9. Uniform binary search would store the value of 3 as both indices differ from 6 by this same amount. To reduce the search space, the algorithm either adds or subtracts this change from the index of the middle element. Uniform binary search may be faster on systems where it is inefficient to calculate the midpoint, such as on decimal computers.


### Exponential search
Exponential search extends binary search to unbounded lists. It starts by finding the first element with an index that is both a power of two and greater than the target value. Afterwards, it sets that index as the upper bound, and switches to binary search. A search takes 
  
    
      
        ⌊
        
          log
          
            2
          
        
        ⁡
        x
        +
        1
        ⌋
      
    
    {\textstyle \lfloor \log _{2}x+1\rfloor }
  
 iterations before binary search is started and at most 
  
    
      
        ⌊
        
          log
          
            2
          
        
        ⁡
        x
        ⌋
      
    
    {\textstyle \lfloor \log _{2}x\rfloor }
  
 iterations of the binary search, where 
  
    
      
        x
      
    
    {\textstyle x}
  
 is the position of the target value. Exponential search works on bounded lists, but becomes an improvement over binary search only if the target value lies near the beginning of the array.


### Interpolation search
Instead of calculating the midpoint, interpolation search estimates the position of the target value, taking into account the lowest and highest elements in the array as well as length of the array. It works on the basis that the midpoint is not the best guess in many cases. For example, if the target value is close to the highest element in the array, it is likely to be located near the end of the array.
A common interpolation function is linear interpolation. If 
  
    
      
        A
      
    
    {\displaystyle A}
  
 is the array, 
  
    
      
        L
        ,
        R
      
    
    {\displaystyle L,R}
  
 are the lower and upper bounds respectively, and 
  
    
      
        T
      
    
    {\displaystyle T}
  
 is the target, then the target is estimated to be about 
  
    
      
        (
        T
        −
        
          A
          
            L
          
        
        )
        
          /
        
        (
        
          A
          
            R
          
        
        −
        
          A
          
            L
          
        
        )
      
    
    {\displaystyle (T-A_{L})/(A_{R}-A_{L})}
  
 of the way between 
  
    
      
        L
      
    
    {\displaystyle L}
  
 and 
  
    
      
        R
      
    
    {\displaystyle R}
  
. When linear interpolation is used, and the distribution of the array elements is uniform or near uniform, interpolation search makes 
  
    
      
        O
        (
        log
        ⁡
        log
        ⁡
        n
        )
      
    
    {\textstyle O(\log \log n)}
  
 comparisons.
In practice, interpolation search is slower than binary search for small arrays, as interpolation search requires extra computation. Its time complexity grows more slowly than binary search, but this only compensates for the extra computation for large arrays.


### Fractional cascading
Fractional cascading is a technique that speeds up binary searches for the same element in multiple sorted arrays. Searching each array separately requires 
  
    
      
        O
        (
        k
        log
        ⁡
        n
        )
      
    
    {\textstyle O(k\log n)}
  
 time, where 
  
    
      
        k
      
    
    {\textstyle k}
  
 is the number of arrays. Fractional cascading reduces this to 
  
    
      
        O
        (
        k
        +
        log
        ⁡
        n
        )
      
    
    {\textstyle O(k+\log n)}
  
 by storing specific information in each array about each element and its position in the other arrays.
Fractional cascading was originally developed to efficiently solve various computational geometry problems. Fractional cascading has been applied elsewhere, such as in data mining and Internet Protocol routing.


### Generalization to graphs
Binary search has been generalized to work on certain types of graphs, where the target value is stored in a vertex instead of an array element. Binary search trees are one such generalization—when a vertex (node) in the tree is queried, the algorithm either learns that the vertex is the target, or otherwise which subtree the target would be located in. However, this can be further generalized as follows: given an undirected, positively weighted graph and a target vertex, the algorithm learns upon querying a vertex that it is equal to the target, or it is given an incident edge that is on the shortest path from the queried vertex to the target. The standard binary search algorithm is simply the case where the graph is a path. Similarly, binary search trees are the case where the edges to the left or right subtrees are given when the queried vertex is unequal to the target. For all undirected, positively weighted graphs, there is an algorithm that finds the target vertex in 
  
    
      
        O
        (
        log
        ⁡
        n
        )
      
    
    {\displaystyle O(\log n)}
  
 queries in the worst case.


### Noisy binary search
Noisy binary search algorithms solve the case where the algorithm cannot reliably compare elements of the array. For each pair of elements, there is a certain probability that the algorithm makes the wrong comparison. Noisy binary search can find the correct position of the target with a given probability that controls the reliability of the yielded position. Every noisy binary search procedure must make at least 
  
    
      
        (
        1
        −
        τ
        )
        
          
            
              
                log
                
                  2
                
              
              ⁡
              (
              n
              )
            
            
              H
              (
              p
              )
            
          
        
        −
        
          
            10
            
              H
              (
              p
              )
            
          
        
      
    
    {\displaystyle (1-\tau ){\frac {\log _{2}(n)}{H(p)}}-{\frac {10}{H(p)}}}
  
 comparisons on average, where 
  
    
      
        H
        (
        p
        )
        =
        −
        p
        
          log
          
            2
          
        
        ⁡
        (
        p
        )
        −
        (
        1
        −
        p
        )
        
          log
          
            2
          
        
        ⁡
        (
        1
        −
        p
        )
      
    
    {\displaystyle H(p)=-p\log _{2}(p)-(1-p)\log _{2}(1-p)}
  
 is the binary entropy function and 
  
    
      
        τ
      
    
    {\displaystyle \tau }
  
 is the probability that the procedure yields the wrong position. The noisy binary search problem can be considered as a case of the Rényi-Ulam game, a variant of Twenty Questions where the answers may be wrong.


### Quantum binary search
Classical computers are bounded to the worst case of exactly 
  
    
      
        ⌊
        
          log
          
            2
          
        
        ⁡
        n
        +
        1
        ⌋
      
    
    {\textstyle \lfloor \log _{2}n+1\rfloor }
  
 iterations when performing binary search. Quantum algorithms for binary search are still bounded to a proportion of 
  
    
      
        
          log
          
            2
          
        
        ⁡
        n
      
    
    {\textstyle \log _{2}n}
  
 queries (representing iterations of the classical procedure), but the constant factor is less than one, providing for a lower time complexity on quantum computers. Any exact quantum binary search procedure—that is, a procedure that always yields the correct result—requires at least 
  
    
      
        
          
            1
            π
          
        
        (
        ln
        ⁡
        n
        −
        1
        )
        ≈
        0.22
        
          log
          
            2
          
        
        ⁡
        n
      
    
    {\textstyle {\frac {1}{\pi }}(\ln n-1)\approx 0.22\log _{2}n}
  
 queries in the worst case, where 
  
    
      
        ln
      
    
    {\textstyle \ln }
  
 is the natural logarithm. There is an exact quantum binary search procedure that runs in 
  
    
      
        4
        
          log
          
            605
          
        
        ⁡
        n
        ≈
        0.433
        
          log
          
            2
          
        
        ⁡
        n
      
    
    {\textstyle 4\log _{605}n\approx 0.433\log _{2}n}
  
 queries in the worst case. In comparison, Grover's algorithm is the optimal quantum algorithm for searching an unordered list of elements, and it requires 
  
    
      
        O
        (
        
          
            n
          
        
        )
      
    
    {\displaystyle O({\sqrt {n}})}
  
 queries.


## History
The idea of sorting a list of items to allow for faster searching dates back to antiquity. The earliest known example was the Inakibit-Anu tablet from Babylon dating back to c. 200 BCE. The tablet contained about 500 sexagesimal numbers and their reciprocals sorted in lexicographical order, which made searching for a specific entry easier. In addition, several lists of names that were sorted by their first letter were discovered on the Aegean Islands. Catholicon, a Latin dictionary finished in 1286 CE, was the first work to describe rules for sorting words into alphabetical order, as opposed to just the first few letters.
In 1946, John Mauchly made the first mention of binary search as part of the Moore School Lectures, a seminal and foundational college course in computing. In 1957, William Wesley Peterson published the first method for interpolation search. Every published binary search algorithm worked only for arrays whose length is one less than a power of two until 1960, when Derrick Henry Lehmer published a binary search algorithm that worked on all arrays. In 1962, Hermann Bottenbruch presented an ALGOL 60 implementation of binary search that placed the comparison for equality at the end, increasing the average number of iterations by one, but reducing to one the number of comparisons per iteration. The uniform binary search was developed by A. K. Chandra of Stanford University in 1971. In 1986, Bernard Chazelle and Leonidas J. Guibas introduced fractional cascading as a method to solve numerous search problems in computational geometry.


## Implementation issues
Although the basic idea of binary search is comparatively straightforward, the details can be surprisingly tricky
When Jon Bentley assigned binary search as a problem in a course for professional programmers, he found that ninety percent failed to provide a correct solution after several hours of working on it, mainly because the incorrect implementations failed to run or returned a wrong answer in rare edge cases. A study published in 1988 shows that accurate code for it is only found in five out of twenty textbooks. Furthermore, Bentley's own implementation of binary search, published in his 1986 book Programming Pearls, contained an overflow error that remained undetected for over twenty years.  The Java programming language library implementation of binary search had the same overflow bug for more than nine years.
In a practical implementation, the variables used to represent the indices will often be of fixed size (integers), and this can result in an arithmetic overflow for very large arrays. If the midpoint of the span is calculated as 
  
    
      
        
          
            
              L
              +
              R
            
            2
          
        
      
    
    {\displaystyle {\frac {L+R}{2}}}
  
, then the value of 
  
    
      
        L
        +
        R
      
    
    {\displaystyle L+R}
  
 may exceed the range of integers of the data type used to store the midpoint, even if 
  
    
      
        L
      
    
    {\displaystyle L}
  
 and 
  
    
      
        R
      
    
    {\displaystyle R}
  
 are within the range. If 
  
    
      
        L
      
    
    {\displaystyle L}
  
 and 
  
    
      
        R
      
    
    {\displaystyle R}
  
 are nonnegative, this can be avoided by calculating the midpoint as 
  
    
      
        L
        +
        
          
            
              R
              −
              L
            
            2
          
        
      
    
    {\displaystyle L+{\frac {R-L}{2}}}
  
.
An infinite loop may occur if the exit conditions for the loop are not defined correctly. Once 
  
    
      
        L
      
    
    {\displaystyle L}
  
 exceeds 
  
    
      
        R
      
    
    {\displaystyle R}
  
, the search has failed and must convey the failure of the search. In addition, the loop must be exited when the target element is found, or in the case of an implementation where this check is moved to the end, checks for whether the search was successful or failed at the end must be in place. Bentley found that most of the programmers who incorrectly implemented binary search made an error in defining the exit conditions.


## Library support
Many languages' standard libraries include binary search routines:

C provides the function bsearch() in its standard library, which is typically implemented via binary search, although the official standard does not require it so.
C++'s standard library provides the functions binary_search(), lower_bound(), upper_bound() and equal_range(). Using the C++20 std::ranges library, it can be applied over a range as std::ranges::binary_search().
D's standard library Phobos, in std.range module provides a type SortedRange (returned by sort() and assumeSorted() functions) with methods contains(), equaleRange(), lowerBound() and trisect(), that use binary search techniques by default for ranges that offer random access.
COBOL provides the SEARCH ALL verb for performing binary searches on COBOL ordered tables.
Go's sort standard library package contains the functions Search, SearchInts, SearchFloat64s, and SearchStrings, which implement general binary search, as well as specific implementations for searching slices of integers, floating-point numbers, and strings, respectively.
Java offers a set of overloaded binarySearch() static methods in the classes Arrays and Collections in the standard java.util package for performing binary searches on Java arrays and on Lists, respectively.
Microsoft's .NET Framework 2.0 offers static generic versions of the binary search algorithm in its collection base classes. An example would be System.Array's method BinarySearch<T>(T[] array, T value).
For Objective-C, the Cocoa framework provides the NSArray -indexOfObject:inSortedRange:options:usingComparator: method in Mac OS X 10.6+. Apple's Core Foundation C framework also contains a CFArrayBSearchValues() function.
Python provides the bisect module that keeps a list in sorted order without having to sort the list after each insertion.
Ruby's Array class includes a bsearch method with built-in approximate matching.
Rust's slice primitive provides binary_search(), binary_search_by(), binary_search_by_key(), and partition_point().


## See also
Bisection method – Algorithm for finding a zero of a function – the same idea used to solve equations in the real numbers
Multiplicative binary search – Binary search variation with simplified midpoint calculation


## Notes and references
 This article was submitted to WikiJournal of Science for external academic peer review in 2018 (reviewer reports). The updated content was reintegrated into the Wikipedia page under a CC-BY-SA-3.0 license (2019). The version of record as reviewed is: 
Anthony Lin; et al. (2 July 2019). "Binary search algorithm" (PDF). WikiJournal of Science. 2 (1): 5. doi:10.15347/WJS/2019.005. ISSN 2470-6345. Wikidata Q81434400.


### Notes
### Citations
### Sources
## External links
NIST Dictionary of Algorithms and Data Structures: binary search
Comparisons and benchmarks of a variety of binary search implementations in C Archived 25 September 2019 at the Wayback Machine