Πώς καθορίζεται η χρονική πολυπλοκότητα του αλγορίθμου δυαδικής αναζήτησης;

Η χρονική πολυπλοκότητα του αλγορίθμου δυαδικής αναζήτησης ορίζεται ως O(log n), όπου n είναι ο αριθμός των στοιχείων στον ταξινομημένο πίνακα. Αυτό οφείλεται στο γεγονός ότι σε κάθε βήμα, ο αλγόριθμος διαιρεί την περιοχή αναζήτησης στη μέση, μειώνοντας τον αριθμό των εξεταζόμενων στοιχείων στο μισό, μέχρι να βρει το ζητούμενο στοιχείο ή να επιβεβαιώσει την απουσία του.

Παράδειγμα σε 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 // στοιχείο δεν βρέθηκε
}