1. F Sharp Programming

Code for Binary Search Algorithm (F Sharp)

What does Binary Search Algorithm do? Given a sorted array of n elements, write a function to search for the index of a given element (target).

Process of working of Binary Search Algorithm?

  • Search for the array by dividing the array in half repeatedly.
  • Initially consider the actual array and pick the element at the middle index
  • Keep a lower index i.e. 0 and higher index i.e. length of array
  • If it is equal to the target element then return the index
  • Else if it is greater than the target element then consider only the left half of array. (lower index = 0, higher = middle – 1)
  • Else if it is less than the target element then consider only the right half of array. (lower index = middle + 1, higher = length of array)
  • Return -(insertion index + 1) if the target element is not found in the array (If the lower index is greater than or equal to higher index). Some simpler implementations just return -1 if the element is not found. The offset of 1 must be added as the insertion index might be 0 (the searched value might be smaller than all elements in the array). As indexing starts at 0, this must be distinguishable from the case where the target element has the index 0.

Time Complexity of Binary Search Algorithm

  • O(log n) Worst Case
  • O(1) Best Case (If middle element of initial array is the target element)

Space Complexity of Binary Search Algorithm

  • O(1) For iterative approach
  • O(1) For recursive approach if tail call optimization is used, O(log n) due to recursion call stack, otherwise

FSharp Code for Binary Search Algorithm

For copying this code to your local Code Editor please click little arrow on top right corner just next to “Binary Search Algorithm” and then hit Command + C if your on Mac or Control + C if your on Windows. This will copy the code to your laptop’s Clipboard and then you can go to your local Code Editor and paste it.

namespace Algorithms.Search

open System

module BinarySearch =
    let rec byRecursion (sortedData: IComparable [], item: int, left: int, right: int) =

        let middle = left + (right - left) / 2

        match sortedData.[middle] with
        | s when s.CompareTo(sortedData.[middle]) > item -> byRecursion (sortedData, item, left, middle - 1)
        | s when s.CompareTo(sortedData.[middle]) < item -> byRecursion (sortedData, item, left, middle + 1)
        | _ -> middle

    /// 
    /// Finds index of item in array that equals to item searched for,
    /// time complexity: O(log(n)),
    /// space complexity: O(1),
    /// where n - array size.
    /// 
    /// Sorted array to search in.
    /// Item to search for.
    /// Index of item that equals to item searched for or -1 if none found.
    let rec findIndex (sortedData: IComparable [], item: int) =

        let left = 0
        let right = sortedData.Length - 1

        let middle = left + (right - left) / 2
        let currentItem = sortedData.[middle]

        match currentItem with
        | c when c.CompareTo(sortedData.[middle]) > item -> findIndex (sortedData, item)
        | c when c.CompareTo(sortedData.[middle]) < item -> findIndex (sortedData, item)
        | _ -> item
Comments to: Code for Binary Search Algorithm (F Sharp)

Your email address will not be published.

Ads