OAI/Combinatorics/KMedian/Optimization/
365 declarations, 0 contain sorry, 0 declared as axioms; 35 files
Files
- ApproximateFractional.lean 9 declarations
- ApproximateLPSelection.lean 10 declarations
- ApproximationListProgram.lean 21 declarations
- ApproximationSlack.lean 3 declarations
- ComputedNearest.lean 6 declarations
- DualListCompiler.lean 8 declarations
- DualListOperations.lean 12 declarations
- FractionalDual.lean 13 declarations
- FractionalInputProgram.lean 17 declarations
- FractionalListChecks.lean 13 declarations
- FractionalScanProgram.lean 15 declarations
- FractionalSelectProgram.lean 15 declarations
- GradientDenominator.lean 10 declarations
- IndexedInstanceLP.lean 5 declarations
- IntegralFractionalComparison.lean 2 declarations
- LPBinaryInput.lean 23 declarations
- LPBinaryStart.lean 30 declarations
- LPBinaryTrajectory.lean 16 declarations
- LPListFacts.lean 13 declarations
- LPMinimumSelection.lean 8 declarations
- MatrixNormalization.lean 4 declarations
- OptimizationBitBound.lean 5 declarations
- ProjectedSubgradient.lean 15 declarations
- RationalArgmin.lean 2 declarations
- SimplexDiameter.lean 3 declarations
- SimplexListProgram.lean 16 declarations
- SimplexProjection.lean 13 declarations
- SubgradientDenominator.lean 2 declarations
- SubgradientTrajectoryHeight.lean 1 declarations
- TruncatedListCompiler.lean 8 declarations
- TruncatedListOperations.lean 13 declarations
- TruncatedObjective.lean 9 declarations
- TruncatedOptimization.lean 9 declarations
- TruncatedRepair.lean 8 declarations
- ZeroCostBranch.lean 8 declarations