Viele ausgeglichene Baumstrukturen (rot / schwarze Bäume, Spreizbäume usw.) und einige andere sortierte Wörterbuchstrukturen (Skiplisten) unterstützen eine Verknüpfungsoperation, die zwei Wörterbücher umfasst, in denen alle Schlüssel in der ersten Struktur kleiner sind als alle Schlüssel in der zweiten. kombiniert dann die beiden Wörterbücher zu einem einzigen sortierten Wörterbuch in der Zeit , wobei n die Gesamtzahl der Schlüssel ist. Dies funktioniert jedoch nur, wenn sich die in diesen Bäumen gespeicherten Schlüsselbereiche nicht überschneiden.
In ähnlicher Weise unterstützen viele Prioritätswarteschlangen (Binomial-Heaps, Fibonacci-Heaps usw.) -Zeit-Zusammenführungen. Diese Zusammenführungen funktionieren unabhängig davon, welche Schlüssel gespeichert sind. Da es sich bei den Datenstrukturen jedoch um Prioritätswarteschlangen handelt, können wir in der resultierenden Struktur keine Suche nach zufälligen Elementen durchführen.
Gibt es eine sortierte Wörterbuchstruktur, die das Zusammenführen beliebiger Wörterbücher in der Zeit und gleichzeitig normale sortierte Wörterbuchoperationen (Einfügungen, Löschungen, Suchvorgänge, Nachfolger- / Vorgängerabfragen usw.) in der Zeit O ( log n ) oder unterstützt ? ein untergeordneter Beweis dafür, dass solche Strukturen nicht existieren können?