1. CLRS-Lean
  2. Chapter 19. Fibonacci Heaps
  3. 19.1. Fibonacci Heap Model
  4. Legacy Import: Amortized Costs
Imports
import CLRSLean.Chapter_19.Section_19_3_Decreasing_A_Key_And_Deleting_A_Node.Amortized_Costs

Legacy import: amortized Fibonacci-heap costs

This compatibility module preserves the former import path. The canonical cost analysis now lives under the Section 19.3 module.