Why it matters

Persistent treaps for versioned sequences.

Advertisement

The architecture

Path copying on modifications.

Split/merge with sharing.

Persistent treapPath copyingon modifySplit/mergewith sharingMultiple versionscoexistEnables persistent sequence with all operations
Persistent treap.
Advertisement

How it works end to end

Applications: undo/redo, functional data structures, offline algorithms.

Trade-off: log factor overhead vs versioning power.