Hallo,
Suchen ? Sortieren! Binary Insertion Sort ist deshalb nicht zwingend schneller, weil das Verschieben der Elemente beim Einfüge-Vorgang im Durchschnitt immer noch quadratische Komplexität besitzt. Der Einfüge-Vorgang dominiert also den Such-Vorgang, sodass die Suche (asymptotisch) nicht in's Gewicht fällt. Die Komplexität im besten Fall (bereits sortierte Sequenz) verschlechtert sich bei Binary Insertion Sort sogar auf ?(n log n) gegenüber ?(n) beim normalen Insertion Sort.
Grüße,
Matthias