OAI/Combinatorics/KMedianRecovery/Branching/
1085 declarations, 0 contain sorry, 0 declared as axioms; 62 files
Files
- Blue.lean 13 declarations
- BlueBlocksMachine.lean 11 declarations
- BlueChoice.lean 22 declarations
- BlueDPValue.lean 22 declarations
- BlueItem.lean 43 declarations
- BlueLookup.lean 25 declarations
- BlueMerge.lean 35 declarations
- BlueNextTable.lean 27 declarations
- BluePlan.lean 11 declarations
- BlueProgram.lean 28 declarations
- BlueTable.lean 29 declarations
- BlueTableSize.lean 31 declarations
- BranchBalls.lean 15 declarations
- BranchChecksCorrect.lean 11 declarations
- BranchContext.lean 36 declarations
- BranchObjective.lean 13 declarations
- BranchPhysical.lean 25 declarations
- BranchPrefix.lean 8 declarations
- BranchSeedLayout.lean 61 declarations
- BranchTapeBound.lean 1 declarations
- BranchTapeSuccess.lean 1 declarations
- BranchWeights.lean 14 declarations
- CategoricalChoice.lean 27 declarations
- CategoricalExpected.lean 1 declarations
- CategoricalOutput.lean 49 declarations
- CategoricalRawPrep.lean 50 declarations
- CategoricalResources.lean 12 declarations
- CategoricalRule.lean 19 declarations
- CategoricalScore.lean 24 declarations
- CategoricalSize.lean 21 declarations
- CategoricalTable.lean 29 declarations
- CompletionBits.lean 2 declarations
- CompletionBound.lean 4 declarations
- CompletionCoefficient.lean 8 declarations
- CompletionExponential.lean 2 declarations
- CompletionFair.lean 34 declarations
- CompletionFairCorrect.lean 2 declarations
- CompletionFillMath.lean 23 declarations
- CompletionIndex.lean 5 declarations
- CompletionRealize.lean 38 declarations
- CompletionRealizeMath.lean 2 declarations
- CopyAge.lean 10 declarations
- CopyComparison.lean 6 declarations
- CopyComputes.lean 23 declarations
- CopyGround.lean 45 declarations
- DesignatedBranchSuccess.lean 4 declarations
- EnumerateBranches.lean 6 declarations
- FairZeroCompletion.lean 2 declarations
- FavorableReady.lean 5 declarations
- ObservableCapacity.lean 17 declarations
- ObservableSuccessfulCompletion.lean 1 declarations
- ObservableSuccessfulProbability.lean 1 declarations
- PopulationBridge.lean 7 declarations
- PopulationMachine.lean 17 declarations
- RandomizedZeroBranch.lean 37 declarations
- RationalBranch.lean 7 declarations
- RationalSurrogate.lean 47 declarations
- SampledSurrogate.lean 3 declarations
- SuccessfulCompletionCharge.lean 1 declarations
- SuccessfulFavorableProbability.lean 9 declarations
- SurrogateRealization.lean 1 declarations
- ZeroSuccessfulCompletion.lean 2 declarations