Imports
import CLRSLean.Chapter_17
import CLRSLean.FourthEdition.Chapter_16.Section_16_1_Amortized_Framework
import CLRSLean.FourthEdition.Chapter_16.Section_16_1_Amortized_Framework.Section_16_2_Stack_And_Counter
import CLRSLean.FourthEdition.Chapter_16.Section_16_4_Dynamic_Tables
import CLRSLean.FourthEdition.Chapter_16.Section_16_4_Dynamic_Tables.Section_16_4_Mutable_Array_TablesChapter 16 — Amortized Analysis
This is the canonical CLRS fourth-edition chapter guide during the migration period.
Current source
Sections 16.1--16.4 are native fourth-edition sections (the aggregate,
accounting, and potential-method framework; the stack and counter examples;
and the dynamic-tables development), imported directly from
Section 16.1,
Section 16.2,
and
Section 16.4.
Declarations retain the legacy CLRS.Chapter17 namespace during the
compatibility period; the third-edition-numbered imports
CLRSLean.Chapter_17 and CLRSLean.Chapter_17.Section_17_* forward
to these sources.
Implementation details
The supporting implementation pages remain available outside the main sidebar:
Coverage boundary
The native sections supply the fourth-edition amortized-analysis facade
(§16.1 aggregate analysis, §16.2 the accounting method, §16.3 the potential
method, §16.4 dynamic tables). §16.4 includes the sharper load-factor
potential with constant ≤ 3 insert/delete amortized bounds and the
interleaved insert/delete trace amortized analysis (≤ 3n total cost from the
empty table). The namespace migration CLRS.Chapter17 → CLRS.Chapter16 is
tracked chapter by chapter.
See docs/clrs-fourth-edition-map.csv for the section-level mapping and
docs/migrations/clrs4.md for compatibility and deprecation policy.