1. CLRS-Lean
  2. CLRS Fourth Edition
  3. Chapter 26. Parallel Algorithms
  4. 26.2-26.3. Multithreaded Algorithms (Historical 2_4 Compatibility)
  5. Chapter 27 Extension — Parallel Strassen Recurrences
  6. Chapter 27 Extension — Parallel Strassen Recurrences
Imports
import CLRSLean.FourthEdition.Chapter_26.Section_26_2_4_Algorithms.ParallelStrassen.Recurrences.Definitions import CLRSLean.FourthEdition.Chapter_26.Section_26_2_4_Algorithms.ParallelStrassen.Recurrences.Monotonicity import CLRSLean.FourthEdition.Chapter_26.Section_26_2_4_Algorithms.ParallelStrassen.Recurrences.AllInputBounds

Chapter 26 extension — parallel Strassen recurrences

Compatibility aggregator for the parallel-Strassen recurrence definitions, exact power-of-two solutions, monotonicity, adjacent-power sandwiches, and all-input asymptotic bounds. This extension is not a Chapter 26 main-text section.