Chapter 3 — Characterizing Running Times

Native fourth-edition chapter guide.

Current source

This guide sources fourth-edition §§3.1--3.2 from CLRSLean.FourthEdition.Chapter_03.Section_03_1_Asymptotic_Notation and §3.3 from CLRSLean.FourthEdition.Chapter_03.Section_03_2_Standard_Functions. Declarations retain the CLRS.Chapter03 namespace; the legacy import CLRSLean.Chapter_03 forwards to this guide during the compatibility period.

Coverage boundary

The asymptotic-notation file supplies fourth-edition §§3.1--3.2, and the standard-functions file supplies §3.3. The represented mathematical interfaces are covered: the five asymptotic relations are defined with discrete witness forms, the shared-threshold two-sided Θ witness, and the o/ω algebra and duality wrappers.

See docs/clrs-fourth-edition-map.csv for the section-level mapping and docs/migrations/clrs4.md for compatibility and deprecation policy.