Modifikation der Binärsuche

Eine lineare Liste L[] der L¨ange n sei wie folgt teilsortiert: F¨ur alle Indizes k, l ∈ {1, . . . , n} gilt

a[k] > a[l] ⇒ k ≥ l − 1
Wenn also zwei Elemente in der falschen Reihenfolge stehen, dann steht das Gr¨oßere direkt vor
dem Kleineren.
Geben Sie eine m¨oglichst einfache Modifikation der Bin¨arsuche aus der Vorlesung an, die L[]
auf das Vorhandensein eines gegebenen Schl¨ussels ¨uberpr¨uft. Die maximalen Kosten (Laufzeit)
sollen in O(log n) liegen.

ich kapier da garnix...also was die groß O notation ist weiss ich mittlerweile aber kann mit info sonst nix anfangen.