OAI/Combinatorics/KMedianRecovery/Algorithms/
499 declarations, 0 contain sorry, 0 declared as axioms; 30 files
Files
- BudgetBound.lean 12 declarations
- CandidateSanitize.lean 38 declarations
- CompletionAlgorithm.lean 10 declarations
- CompletionResultGuarantee.lean 1 declarations
- ExtendBudget.lean 5 declarations
- FinalBudgetPos.lean 8 declarations
- GlobalCall.lean 51 declarations
- GlobalOuter.lean 55 declarations
- GlobalOuterProbability.lean 8 declarations
- GlobalPolynomialFairExperiment.lean 1 declarations
- GlobalRawFairExperiment.lean 1 declarations
- GlobalRoundMetric.lean 13 declarations
- GlobalZero.lean 15 declarations
- IntegralAll.lean 29 declarations
- IntegralDispatchGuarantee.lean 3 declarations
- IntegralDispatchLaws.lean 11 declarations
- IntegralPrecision.lean 6 declarations
- IntegralProgram.lean 1 declarations
- IntegralRecoveryAll.lean 43 declarations
- IntegralRecoveryAmplified.lean 18 declarations
- IntegralRecoveryDemand.lean 23 declarations
- IntegralRecoveryFeasible.lean 5 declarations
- IntegralRecoveryGuesses.lean 36 declarations
- IntegralRecoveryMachine.lean 36 declarations
- IntegralRecoveryRepeat.lean 23 declarations
- IntegralRecoverySelection.lean 15 declarations
- IntegralRecoverySemantics.lean 8 declarations
- IntegralRecoverySuccess.lean 17 declarations
- IntegralUniform.lean 3 declarations
- LocalIntegral.lean 4 declarations