Proving tree algorithms for succinct data structures

Reynald Affeldt, Jacques Garrigue, Xuanrui Qi +1

Succinct data structures give space-efficient representations of large amounts of data without sacrificing performance. They rely one cleverly designed data representations and alg…