OAI/Combinatorics/LowSpaceSubsetSum/Counting/
755 declarations, 0 contain sorry, 0 declared as axioms; 60 files
Files
- Amplification.lean 1 declarations
- BalancedLeafEntropy.lean 8 declarations
- BalancedPartitions.lean 20 declarations
- BinarySlice.lean 12 declarations
- BoundedSampling.lean 33 declarations
- Buckets.lean 5 declarations
- CheckListWork.lean 5 declarations
- CountedBinomial.lean 16 declarations
- CountedCeilLog.lean 6 declarations
- CountedDedup.lean 10 declarations
- CountedFill.lean 9 declarations
- CountedMaskChecks.lean 12 declarations
- CountedReplay.lean 6 declarations
- CountedReplayPotential.lean 2 declarations
- CountedRepresentationEmit.lean 17 declarations
- CountedSubsets.lean 9 declarations
- CountedWeights.lean 23 declarations
- Deficiency.lean 33 declarations
- DeficiencyVariance.lean 7 declarations
- Entropy.lean 28 declarations
- ExactWordDraw.lean 9 declarations
- FiniteKernels.lean 17 declarations
- FiniteProductSamplerCoupling.lean 14 declarations
- FiniteRepetition.lean 17 declarations
- FiniteSamplerCoupling.lean 16 declarations
- FixedBuckets.lean 8 declarations
- GuessArrayExecution.lean 6 declarations
- HalfOrientations.lean 5 declarations
- LiveSequence.lean 3 declarations
- Magnitudes.lean 16 declarations
- MaskRestriction.lean 10 declarations
- MatchFold.lean 8 declarations
- MatchPotential.lean 14 declarations
- MixerBalance.lean 35 declarations
- MixerHalfLists.lean 8 declarations
- MixerParameterCount.lean 18 declarations
- MixerParameterExecution.lean 10 declarations
- Model.lean 15 declarations
- NestedOccupancy.lean 15 declarations
- NestedPrimes.lean 16 declarations
- ParentLiveBounds.lean 4 declarations
- ParentLiveState.lean 10 declarations
- ParentOverflow.lean 6 declarations
- ParentRestrictionUniverse.lean 7 declarations
- PrimeHash.lean 10 declarations
- PrimeHashCollision.lean 5 declarations
- PrimeSamplerCoupling.lean 10 declarations
- ProductHash.lean 2 declarations
- RejectionSamplerCoupling.lean 18 declarations
- Representatives.lean 13 declarations
- ResidueCoverage.lean 12 declarations
- ResidueMatchAccounting.lean 8 declarations
- Resources.lean 14 declarations
- SamplerAttempts.lean 25 declarations
- SamplerExecution.lean 36 declarations
- ScalarSamplerArrays.lean 15 declarations
- SignRandomization.lean 3 declarations
- SliceModular.lean 8 declarations
- SurvivalLayout.lean 21 declarations
- TopCoordinatesBlocks.lean 6 declarations