Jak se určuje časová složitost algoritmu binárního vyhledávání?

Časová složitost binárního vyhledávacího algoritmu je definována jako O(log n), kde n je počet prvků v seřazeném poli. To je způsobeno tím, že v každém kroku algoritmus dělí oblast hledání na polovinu, čímž snižuje počet zkoumaných prvků na polovinu, dokud nenajde hledaný prvek nebo nepotvrdí jeho nepřítomnost.

Pří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 // prvek nenalezen
}