Ako sa určuje časová zložitosť algoritmu binárneho vyhľadávania?

Časová zložitosť binárneho vyhľadávacieho algoritmu je definovaná ako O(log n), kde n je počet prvkov v zoradenom poli. To je spôsobené tým, že v každom kroku algoritmus delí vyhľadávaciu oblasť na polovicu, čím znižuje počet prezeraných prvkov na polovicu, až kým nenájde hľadaný prvok alebo nepotvrdí jeho neprítomnosť.

Príklad v 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 // prvok nenajdený
}