Why it matters
Potential method is elegant technique. Understanding shapes analysis.
Advertisement
The architecture
Choose phi mapping states to reals.
Amortized = actual + phi' - phi.
Total actual = total amortized + phi_0 - phi_n.
Advertisement
How it works end to end
Bounds total = amortized + phi_0 - phi_n.
Choose phi to smooth expensive ops.
Standard for many DS.