Skip to content

Static optimality for splay trees - #22

Open
berendsohn wants to merge 15 commits into
cslib-community:mainfrom
berendsohn:splay-static-opt
Open

Static optimality for splay trees#22
berendsohn wants to merge 15 commits into
cslib-community:mainfrom
berendsohn:splay-static-opt

Simplified splay_total_weighted_cost' proof as per Antoine's suggestion

066dea5
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs