Come viene determinata la complessità temporale dell'algoritmo di ricerca binaria?

La complessità temporale dell'algoritmo di ricerca binaria è definita come O(log n), dove n è il numero di elementi nell'array ordinato. Ciò è dovuto al fatto che ad ogni passo l'algoritmo divide l'area di ricerca a metà, riducendo il numero di elementi considerati della metà, fino a trovare l'elemento cercato o a confermarne l'assenza.

Esempio in Go:

func binarySearch(arr []int, target int) int {
    left, right := 0, len(arr)-1
    for left <= right {
        mid := left + (right-left)/2
        if arr[mid] == target {
            return mid
        } else if arr[mid] < target {
            left = mid + 1
        } else {
            right = mid - 1
        }
    }
    return -1 // elemento non trovato
}