Binary Search

Published on 24 October 2019 (Updated: 02 February 2024)

Welcome to the Binary Search page! Here, you'll find a description of the project as well as a list of sample programs written in various languages.

This article was written by:

Description

Binary search is a special type of search function which relies on a few properties of the search space. First, the search space must have constant time random access (i.e. an array). In addition, the search space must be sorted by some attribute. As a consequence, we're able to navigate the search space in O(log(N)) instead of O(N).

Jargon aside, binary search works by taking advantage of a sorted collection. As a result, we don't have to search every element in the collection. Instead, we can try the middle. If the middle element is greater than the element we want to find, we know that the element must be "to the left" of that element, assuming the collection is sorted least to greatest. From there, we can try the element in the middle of the left half, and so on.

Eventually, we'll find the element we're looking for, or we'll reach the end of our search. In either case, we'll only explore O(log(N)) elements. This gives us a dramatic improvement over linear search.

Requirements

For the purposes of this project, we'll assume that the search space is a list of integers. Specifically, we'll accept two inputs on the command line: the list of integers and the integer to find:

$ ./binary-search.lang "1, 4, 5, 11, 12" "4"

If successful, the script should return true. Otherwise, the script should return false. If any user input errors occur, the script should output the following usage message: Usage: please provide a list of sorted integers ("1, 4, 5, 11, 12") and the integer to find ("11").

Testing

Every project in the Sample Programs repo should be tested. In this section, we specify the set of tests specific to Binary Search. In order to keep things simple, we split up the testing as follows:

Binary Search Valid Tests

Description List Input Target Integer Input Output
Sample Input: First True "1, 3, 5, 7" "1" "true"
Sample Input: Last True "1, 3, 5, 7" "7" "true"
Sample Input: Middle True "1, 3, 5, 7" "5" "true"
Sample Input: One True "5" "5" "true"
Sample Input: One False "5" "7" "false"
Sample Input: Many False "1, 3, 5, 6" "7" "false"
Sample Input: Middle True "1, 2, 3, 4, 5, 6, 7" "3" "true"

Binary Search Invalid Tests

Description List Input Target Integer Input
No Input    
Missing Input: Target "1, 2, 3, 4"  
Missing Input: List "" "5"
Out Of Order Input "3, 5, 1, 2" "3"

All of these tests should output the following:

Usage: please provide a list of sorted integers ("1, 4, 5, 11, 12") and the integer to find ("11")

Articles