Persistentní datové struktury

Abstract

V této práci studujeme persistentní datové struktury, tedy takové, které si uchovávají svou historii změn. Zabýváme se zejméena strukturami založenými na ukazatelích, pro něž lze dosáhnout plné, a tedy i částečné persistence s amortizovaně konstantním časem i prostorem na operaci. Popisujeme také zpersistentnění polí, u nějž je existence optimální struktury nadále otevřena. Uvádíme těž konkrétní aplikace obecných zpersistentňovacích postupů a příklady použití persistentních struktur.

This thesis discusses persistent data structures, that is structures which preserve their own history. We focus on pointer-based structures, where it is possible to reach both full and partial persistence in constant amortized time and space per operation. Persistent arrays are also discussed, but the existence of optimal persistent arrays remains an open problem. We also include specific applications of the general techniques and also examples of use of persistent data structures.