CLRS-Lean
Chapter 29. Linear Programming
29.3. The Simplex Algorithm
29.3. Functional SIMPLEX
29.3. Bland Anti-Cycling

Imports

import CLRSLean.Chapter_29.Section_29_3_The_Simplex_Algorithm.Simplex.Bland.Pivot
import CLRSLean.Chapter_29.Section_29_3_The_Simplex_Algorithm.Simplex.Bland.Reachability
import CLRSLean.Chapter_29.Section_29_3_The_Simplex_Algorithm.Simplex.Bland.Trace
import CLRSLean.Chapter_29.Section_29_3_The_Simplex_Algorithm.Simplex.Bland.Coefficients
import CLRSLean.Chapter_29.Section_29_3_The_Simplex_Algorithm.Simplex.Bland.NoCycle

29.3 Bland's anti-cycling rule

This reader groups certified pivot traces, fickle-variable combinatorics, the cross-dictionary coefficient identity, and the anti-cycling theorem.

              namespace CLRSnamespace Chapter29end Chapter29end CLRS