OAI/Combinatorics/LowSpaceSubsetSum/Separators/
595 declarations, 0 contain sorry, 0 declared as axioms; 55 files
Files
- BudgetedIncidencePreparation.lean 9 declarations
- BudgetedPreparedSeparator.lean 5 declarations
- BudgetedSeparatorAllowance.lean 5 declarations
- BudgetedSeparatorArrays.lean 9 declarations
- BudgetedSeparatorCall.lean 7 declarations
- BudgetedSeparatorCells.lean 11 declarations
- BudgetedSeparatorCheck.lean 5 declarations
- BudgetedSeparatorCheckAllowance.lean 5 declarations
- BudgetedSeparatorCheckRefinement.lean 3 declarations
- BudgetedSeparatorFlow.lean 7 declarations
- BudgetedSeparatorNode.lean 9 declarations
- BudgetedSeparatorRefinement.lean 3 declarations
- BudgetedSeparatorRemaining.lean 2 declarations
- BudgetedSeparatorTerminal.lean 6 declarations
- BudgetedSeparatorTraversal.lean 3 declarations
- ComputedSeparatorFamilies.lean 16 declarations
- IncidenceBuildCells.lean 21 declarations
- MeasuredSeparatorTraversal.lean 10 declarations
- PreparedIncidenceCells.lean 24 declarations
- PreparedSeparatorContext.lean 8 declarations
- PreparedSeparatorExpectation.lean 10 declarations
- PreparedSeparatorRefinement.lean 9 declarations
- PreparedSeparatorWork.lean 6 declarations
- SeparatorBlocks.lean 15 declarations
- SeparatorCharge.lean 6 declarations
- SeparatorCheck.lean 14 declarations
- SeparatorConcreteIncidence.lean 5 declarations
- SeparatorCoverage.lean 6 declarations
- SeparatorEncodedBounds.lean 3 declarations
- SeparatorEncodedCheck.lean 10 declarations
- SeparatorEntropy.lean 26 declarations
- SeparatorExecutionMap.lean 12 declarations
- SeparatorExpectation.lean 13 declarations
- SeparatorExpectedWork.lean 12 declarations
- SeparatorFamilies.lean 19 declarations
- SeparatorFamilyExecution.lean 9 declarations
- SeparatorIncidence.lean 14 declarations
- SeparatorIncidenceTable.lean 17 declarations
- SeparatorNumericWork.lean 3 declarations
- SeparatorParameterCells.lean 16 declarations
- SeparatorParameterExecution.lean 19 declarations
- SeparatorParameters.lean 17 declarations
- SeparatorSamplerBounds.lean 6 declarations
- SeparatorSamplerCells.lean 11 declarations
- SeparatorSamplerCoupling.lean 8 declarations
- SeparatorSamplingBounds.lean 4 declarations
- SeparatorStoredMasks.lean 11 declarations
- SeparatorStoredSpace.lean 4 declarations
- SeparatorTerminal.lean 13 declarations
- SeparatorTraversal.lean 13 declarations
- SeparatorTraversalCost.lean 6 declarations
- SeparatorWorkBound.lean 14 declarations
- StoredIncidenceBuild.lean 26 declarations
- StoredSeparatorCheck.lean 30 declarations
- StoredSeparatorQueries.lean 20 declarations