OAI/Combinatorics/KMedian/Programs/
537 declarations, 0 contain sorry, 0 declared as axioms; 38 files
Files
- BoundedEnumerationProgram.lean 11 declarations
- BranchProgram.lean 19 declarations
- BundleGeometryProgram.lean 20 declarations
- BundlesProgram.lean 14 declarations
- CardinalRoundProgram.lean 11 declarations
- DependentSparseProgram.lean 14 declarations
- FinalSelectionProgram.lean 14 declarations
- FinsetMaskProgram.lean 11 declarations
- GraphLawProgram.lean 14 declarations
- GraphRunProgram.lean 18 declarations
- GraphStepProgram.lean 30 declarations
- GreedyPackingProgram.lean 26 declarations
- HistorySelectionProgram.lean 20 declarations
- InstanceComputedPseudo.lean 5 declarations
- InstanceDataProgram.lean 24 declarations
- InstanceFractionalRound.lean 6 declarations
- InstanceRoundProgram.lean 11 declarations
- InstanceRounding.lean 4 declarations
- InstanceZeroProgram.lean 20 declarations
- LastFractionProgram.lean 17 declarations
- MaskBestProgram.lean 11 declarations
- MaximumProgram.lean 7 declarations
- NearestListProgram.lean 17 declarations
- NearestMaskProgram.lean 9 declarations
- OriginalMaskProgram.lean 9 declarations
- OuterLawProgram.lean 10 declarations
- PivotListProgram.lean 19 declarations
- RationalFeatureProgram.lean 16 declarations
- RationalSortProgram.lean 12 declarations
- RestrictionProgram.lean 19 declarations
- ScaleListProgram.lean 7 declarations
- ScoreProgram.lean 3 declarations
- SplitListProgram.lean 20 declarations
- StarActivationProgram.lean 15 declarations
- TaggedBestProgram.lean 12 declarations
- UnitGeometryProgram.lean 11 declarations
- UnitRepresentativeProgram.lean 17 declarations
- UnitScanProgram.lean 14 declarations