Parameterized Dynamic Tables
We analyze the amortized complexity of dynamic tables with arbitrary
minimal and maximal load factors and arbitrary expansion and contraction
factors.
pdf
Submitted for publication. 2015.
Isabelle theories in the
Archive of Formal Proofs