Abstract
This article formalizes the amortized analysis of dynamic tables
parameterized with their minimal and maximal load factors and the
expansion and contraction factors.
BSD LicenseA full description is found in a companion paper.
June 7, 2015
A full description is found in a companion paper.