OAI/Combinatorics/LowSpaceSubsetSum/Compression/
574 declarations, 0 contain sorry, 0 declared as axioms; 54 files
Files
- BudgetedCompressionJoin.lean 10 declarations
- BudgetedCompressionPass.lean 14 declarations
- BudgetedCompressionSchedule.lean 10 declarations
- BudgetedCompressionSource.lean 10 declarations
- BudgetedCompressionTrial.lean 10 declarations
- BudgetedPreparedCompressionPass.lean 9 declarations
- CompressionArrayBuild.lean 14 declarations
- CompressionArrayCells.lean 12 declarations
- CompressionArrayWork.lean 6 declarations
- CompressionBoundedTrial.lean 5 declarations
- CompressionBucket.lean 15 declarations
- CompressionCallbackBounds.lean 4 declarations
- CompressionCallbackCells.lean 11 declarations
- CompressionCallbacks.lean 15 declarations
- CompressionConcentration.lean 5 declarations
- CompressionContext.lean 14 declarations
- CompressionContextCells.lean 12 declarations
- CompressionDictionary.lean 27 declarations
- CompressionDomainCells.lean 3 declarations
- CompressionDomains.lean 11 declarations
- CompressionFromPermutation.lean 7 declarations
- CompressionFromPermutationCells.lean 9 declarations
- CompressionInitialization.lean 8 declarations
- CompressionInitializationCells.lean 10 declarations
- CompressionJoinCells.lean 6 declarations
- CompressionJoinErasure.lean 5 declarations
- CompressionPairCells.lean 4 declarations
- CompressionPassCells.lean 13 declarations
- CompressionPassLedger.lean 2 declarations
- CompressionPreparationLedger.lean 5 declarations
- CompressionPreparedCells.lean 9 declarations
- CompressionProgram.lean 26 declarations
- CompressionQueryBounds.lean 17 declarations
- CompressionReader.lean 13 declarations
- CompressionReaderCells.lean 15 declarations
- CompressionRowCells.lean 5 declarations
- CompressionSampleArrays.lean 5 declarations
- CompressionSampleCells.lean 4 declarations
- CompressionSamplerCoupling.lean 6 declarations
- CompressionSamplerExecution.lean 3 declarations
- CompressionScheduleCells.lean 5 declarations
- CompressionSoundness.lean 9 declarations
- CompressionStoppedAcceptance.lean 4 declarations
- CompressionStorageBounds.lean 3 declarations
- CompressionStreams.lean 12 declarations
- CompressionSurvival.lean 60 declarations
- CompressionTrial.lean 20 declarations
- CompressionTrialLedger.lean 11 declarations
- CompressionWeightCells.lean 9 declarations
- CompressionWeights.lean 12 declarations
- CompressionWorkBounds.lean 22 declarations
- PreparedCompressionPass.lean 7 declarations
- SampledCompressionCells.lean 5 declarations
- SampledCompressionTrial.lean 6 declarations