PSA-2

Functional Data Structures: Banker's Queue

Amortized analysis under persistence

Example notes entry. Replace with your own material — e.g. your PSA-2 write-up on Okasaki’s functional data structures.

Amortized cost bound example: $O(1)$ per operation under the banker’s method, using a credit invariant.