OAI/Combinatorics/EditApproximation/Probability/
243 declarations, 0 contain sorry, 0 declared as axioms; 36 files
Files
- AdaptiveMarginalLaw.lean 2 declarations
- AdaptiveSeedLaw.lean 8 declarations
- AdaptiveSeedTrace.lean 8 declarations
- Amplification.lean 3 declarations
- BernsteinEnvelope.lean 5 declarations
- BernsteinFinite.lean 3 declarations
- BernsteinMGF.lean 3 declarations
- Concentration.lean 2 declarations
- Exact.lean 6 declarations
- ExactSampling.lean 37 declarations
- ExactSuffixDP.lean 10 declarations
- ExactSuffixDPWork.lean 21 declarations
- ExpectedRegret.lean 2 declarations
- FiniteArrayMarginal.lean 2 declarations
- FiniteAssignments.lean 3 declarations
- FiniteBitPolynomial.lean 8 declarations
- FiniteBufferRanges.lean 3 declarations
- FiniteEnumerationWork.lean 9 declarations
- FiniteKeyRestriction.lean 4 declarations
- FiniteProductWork.lean 7 declarations
- FiniteQueryCostOrder.lean 3 declarations
- FiniteQueryRestriction.lean 7 declarations
- FiniteQueryWork.lean 7 declarations
- FiniteResampling.lean 4 declarations
- FiniteSampling.lean 7 declarations
- FiniteSeedFinal.lean 4 declarations
- FreshCoordinateCost.lean 7 declarations
- Median.lean 3 declarations
- RejectionArrayLaw.lean 11 declarations
- RejectionMemoCost.lean 3 declarations
- RejectionRuntimeLaw.lean 11 declarations
- RejectionSelectedCost.lean 7 declarations
- RejectionSelectedLaw.lean 6 declarations
- RejectionSpace.lean 4 declarations
- SampledRegret.lean 8 declarations
- ThresholdMoments.lean 5 declarations