Wir schreiben eine Funktion namens binary_search(li, el). Die Funktion nimmt eine sortierte Liste li und ein gesuchtes Element el an. Wenn sie das Element in der Liste findet, gibt sie die Position (den Index) des Elements zurück. Wenn nicht, gibt sie None zurück.

Vor uns liegt eine sortierte Liste mit dem kleinsten Element ganz links und dem grössten Element ganz rechts. Bei der Binärsuche schauen wir uns jeweils das mittlere Element des Suchbereichs¹⁾ an und vergleichen es mit dem gesuchten Element. Es ergeben sich drei Möglichkeiten:

1. Das mittlere Element entspricht dem gesuchten Element. Also geben wir den Index des mittleren Elements zurück und sind fertig.
2. Das mittlere Element ist grösser als das gesuchte Element. Also schränken wir den Suchbereich ein, sodass alles ab der Mitte rechts nicht weiter betrachtet wird.
3. Das mittlere Element ist kleiner als das gesuchte Element. Also müssen wir nur noch in dem Bereich suchen, der rechts der Mitte liegt.

Bei 2. und 3. wird der Suchbereich halbiert und es ergibt sich daraus eine neue Mitteposition. Das Element an dieser Position verleichen wir erneut mit dem gesuchten Element. Wir wiederholen diese Schritte solange, bis:

• das Element gefunden wurde oder
• der Suchbereich nicht mehr kleiner werden kann. In diesem Fall haben wir das Element nicht gefunden. Also geben wir None zurück.

Wir programmieren also einen Algorithnus, bei dem eindeutige Schrite immer wieder durchgeführt werden – solange, bis die Arbeit erledigt ist. Wie bei den meisten Algorithmen sind hierzu zuerst ein paar einmalige Schritte nötig. Dann kommt eine Schleife, in der die Schritte stehen, die wiederholt werden sollen.

Nachdem wir den Funktionskopf hingeschrieben haben, legen wir die beiden Variablen left und right fest, mit denen wir den Suchbereich abstecken. Zu Beginn ist left 0 und right so gross wie der grösste Index der Liste.

Python

def binary_search(li,el):
    left = 0
    right = len(li)-1

Wir müssen so lange suchen, wie wir den Suchbereich noch verkleinern können. Es kann sein, dass solange gesucht wird, bis der Suchbereich sich nur noch auf ein einziges Element beschränkt. Dann sind die Variablen left und right gleich gross. Wenn jetzt nichts gefunden wird, müssen wir abbrechen. Wir suchen also solange, wie left kleiner als oder gleich gross wie right ist.²⁾

Python

while left <= right: 

Zuerst berechnen wir die Mitteposition. Sie ergibt sich aus zwei Schritten: Erstens von der rechten Position die linke abziehen und diesen Wert durch 2 teilen. Zweitens die linke Position hinzuaddieren. Also: middle = (right - left) // 2 + left. Dieser Term lässt sich in eine einfachere Form bringen: middle = (left + right) // 2.³⁾

Danach vergleichen wir das Element an der Mitteposition mit dem gesuchten Element. Da es drei Möglichkeiten gibt, ist eine if-elif-else-Verzweigung geeignet:

• Wenn das Element an der Mitteposition gleich gross ist wie das gesuchte Element, geben wir die Mitteposition zurück.
• Wenn das Element an der Mitteposition kleiner ist als das gesuchte Element, befindet sich das gesuchte Element rechts davon. Wir begrenzen den Suchbereich auf die rechte Hälfte, indem wir die Variable links auf die Mitteposition + 1 setzen.
• Wenn das Element an der Mitteposition grösser ist als das gesuchte Element, befindet sich das gesuchte Element links davon. Wir begrenzen den Suchbereich auf die linke Hälfte, indem wir die Variable rechts auf die Mitteposition - 1 setzen.

Python

   middle = (left + right) // 2
   if li[middle] == el:
      return middle
   elif li[middle] < el:
      left = middle + 1
   else:
      right = middle - 1

Wenn wir uns in der Funktion und nach der while-Schleife befinden, heisst das: Wir sind nie zur Zeile return middle gekommen, denn mit return wird die Funktion verlassen. Die Bedingung der while-Schleife ist nicht mehr erfüllt, das heisst: es ist kein Suchbereich mehr übrig. Also geben wir None zurück.

Python – Gesamte Funktion

def binary_search(li,el):
    left = 0
    right = len(li)-1
    while left <= right:
        middle = (left + right) //2
        if li[middle] == el:
            return middle
        elif li[middle] < el:
            left = middle + 1
        else:
            right = middle - 1
    return None