Skip to content
  1. CLRS-Lean
  2. Chapters 1–35 · CLRS Fourth Edition
  3. Chapter 2. Getting Started
  4. 2.3. Designing Algorithms
  5. 2.3. MERGE
Browse chapters
Imports
import CLRSLean.FourthEdition.Chapter_02.Section_02_3_Designing_Algorithms.Merge.Definitions import CLRSLean.FourthEdition.Chapter_02.Section_02_3_Designing_Algorithms.Merge.Correctness import CLRSLean.FourthEdition.Chapter_02.Section_02_3_Designing_Algorithms.Merge.Cost

CLRS Section 2.3 - Explicit MERGE

Stable facade for the executable list-level MERGE procedure, its correctness proof, and its linear comparison and output-write bounds.

Implementation details