OAI/Combinatorics/KMedianRecovery/Recovery/
4350 declarations, 0 contain sorry, 0 declared as axioms; 234 files
Files
- ActiveInsert.lean 15 declarations
- Advance.lean 11 declarations
- AffineLogBound.lean 2 declarations
- AllBad.lean 6 declarations
- Answer.lean 14 declarations
- Average.lean 40 declarations
- AveragePrecomposeEmbedding.lean 5 declarations
- BadClientWeighted.lean 6 declarations
- Ball.lean 16 declarations
- BallSet.lean 9 declarations
- Basic.lean 49 declarations
- Basic2.lean 22 declarations
- BestDesignation.lean 6 declarations
- BestFallback.lean 11 declarations
- BitCount.lean 10 declarations
- BlindUpdate.lean 13 declarations
- Blocks.lean 26 declarations
- BorrowBit.lean 10 declarations
- BottomMath.lean 6 declarations
- BoundOp.lean 32 declarations
- BoundRow.lean 20 declarations
- BoundedDecision.lean 118 declarations
- BoundedMinimizingExtreme.lean 8 declarations
- CanonicalParents.lean 24 declarations
- Cap.lean 12 declarations
- CenterUpdate.lean 11 declarations
- Cf.lean 16 declarations
- Chosen.lean 14 declarations
- Claim.lean 5 declarations
- ClassFilter.lean 8 declarations
- ClassSlotsMem.lean 19 declarations
- CloseSandwich.lean 3 declarations
- Cluster.lean 42 declarations
- CommonDen.lean 21 declarations
- CommonL.lean 23 declarations
- Computes.lean 33 declarations
- CoordinateRow.lean 22 declarations
- Copies.lean 29 declarations
- CountedTrace.lean 12 declarations
- Coupled.lean 5 declarations
- CoupledFinish.lean 8 declarations
- CoupledInitial.lean 9 declarations
- CoupledLeaf.lean 9 declarations
- CoupledResolve.lean 7 declarations
- CoveredCenter.lean 25 declarations
- CrossCount.lean 48 declarations
- CrossEdge.lean 41 declarations
- Data.lean 8 declarations
- DataHeight.lean 18 declarations
- DecisionOps.lean 11 declarations
- Destination.lean 12 declarations
- DestinationFacility.lean 14 declarations
- Destinations.lean 16 declarations
- DigitBit.lean 23 declarations
- DirectionChoiceErrors.lean 5 declarations
- DisjointFiniteExperiment.lean 3 declarations
- DisjointPool.lean 11 declarations
- DyadicExponent.lean 11 declarations
- DyadicGrid.lean 12 declarations
- DyadicLookup.lean 4 declarations
- EllipsoidForms.lean 8 declarations
- Entry.lean 14 declarations
- EntryFreeMono.lean 10 declarations
- EntryReplay.lean 9 declarations
- EnumeratedBest.lean 25 declarations
- EnumeratedRow.lean 20 declarations
- EvalTrans.lean 11 declarations
- ExchangeAddNonempty.lean 4 declarations
- ExecutionState.lean 18 declarations
- FacePoint.lean 9 declarations
- FaceSelection.lean 43 declarations
- Failure.lean 6 declarations
- FilterItem.lean 16 declarations
- FinImages.lean 24 declarations
- FinishPhase.lean 32 declarations
- FinishSpec.lean 5 declarations
- Finished.lean 8 declarations
- FiniteContext.lean 15 declarations
- FiniteContinuation.lean 20 declarations
- FiniteCross.lean 14 declarations
- FirstPresent.lean 46 declarations
- FnProdEnum.lean 2 declarations
- Form.lean 23 declarations
- FormTrans.lean 14 declarations
- FrameStacks.lean 35 declarations
- Freeze.lean 15 declarations
- Fuel.lean 11 declarations
- GetRow.lean 51 declarations
- GetRow2.lean 51 declarations
- GreedyOutputExpected.lean 8 declarations
- Grid.lean 10 declarations
- GridFloor.lean 11 declarations
- Guide.lean 29 declarations
- Height.lean 14 declarations
- HitsState.lean 7 declarations
- IfNat.lean 28 declarations
- ImageClass.lean 6 declarations
- ImagePhaseUnion.lean 9 declarations
- IncomingSwapBound.lean 9 declarations
- InflationPos.lean 9 declarations
- InitialAuto.lean 24 declarations
- InitialCorrect.lean 34 declarations
- InitialCoupling.lean 2 declarations
- InitialCoupling2.lean 2 declarations
- InitialPack.lean 16 declarations
- InitialProject.lean 10 declarations
- InitialRows.lean 7 declarations
- InitialState.lean 19 declarations
- InitialState2.lean 11 declarations
- Iterate.lean 15 declarations
- IterationBlocks.lean 8 declarations
- KindRows.lean 14 declarations
- Leaf.lean 10 declarations
- LeafBracket.lean 6 declarations
- LeafOrder.lean 16 declarations
- LeafOutcome.lean 12 declarations
- LeafReplay.lean 7 declarations
- LeftNum.lean 41 declarations
- LengthCandidates.lean 16 declarations
- LengthHeight.lean 5 declarations
- LengthPolynomial.lean 42 declarations
- LengthSearch.lean 10 declarations
- ListSetExtra.lean 2 declarations
- Live.lean 9 declarations
- LogSubsetBound.lean 2 declarations
- LowCandidate.lean 7 declarations
- Map.lean 8 declarations
- MaximalSuperset.lean 1 declarations
- MergeCross.lean 38 declarations
- MergePath.lean 22 declarations
- MergeRefine.lean 52 declarations
- Min.lean 35 declarations
- Mono.lean 11 declarations
- Mul.lean 42 declarations
- MulComputes.lean 27 declarations
- NatConnection.lean 6 declarations
- NearEligible.lean 33 declarations
- NearMass.lean 12 declarations
- Next.lean 33 declarations
- Normalize.lean 19 declarations
- NormalizeInput.lean 44 declarations
- NumAbs.lean 70 declarations
- OneStepLower.lean 3 declarations
- Op.lean 24 declarations
- Op2.lean 50 declarations
- Order.lean 1 declarations
- OrderedMaximum.lean 12 declarations
- OrientedSearch.lean 21 declarations
- Pack.lean 39 declarations
- Pack10.lean 7 declarations
- Pack11.lean 18 declarations
- Pack2.lean 42 declarations
- Pack3.lean 30 declarations
- Pack4.lean 44 declarations
- Pack5.lean 75 declarations
- Pack6.lean 50 declarations
- Pack7.lean 54 declarations
- Pack8.lean 57 declarations
- Pack9.lean 54 declarations
- PartitionPullback.lean 3 declarations
- PathBounds.lean 4 declarations
- PhasesBounded.lean 18 declarations
- PlanResult.lean 40 declarations
- PolynomialProduct.lean 6 declarations
- Pool.lean 17 declarations
- PowerBound.lean 4 declarations
- ProcessOutputs.lean 31 declarations
- Produce.lean 10 declarations
- Project.lean 7 declarations
- QuadSmulVec.lean 8 declarations
- RawCount.lean 14 declarations
- RawRun.lean 4 declarations
- RawSlices.lean 20 declarations
- RawUnary.lean 4 declarations
- ReachFar.lean 3 declarations
- ReadUnary.lean 19 declarations
- RealFilling.lean 6 declarations
- RealVector.lean 15 declarations
- RealizationChargingAssignment.lean 3 declarations
- RecoveryCandidates.lean 9 declarations
- RecoveryContext.lean 31 declarations
- RecoveryEnumeration.lean 24 declarations
- RecoveryFeasible.lean 4 declarations
- RecoveryGuesses.lean 9 declarations
- RecoveryRepeat.lean 3 declarations
- RecoverySuccess.lean 1 declarations
- RecoveryTrialUniformExponential.lean 2 declarations
- Rectangular.lean 33 declarations
- ReferenceBridge.lean 9 declarations
- RefineMath.lean 26 declarations
- Region.lean 9 declarations
- RegularCardBounds.lean 4 declarations
- RegularChain.lean 22 declarations
- RegularMap.lean 2 declarations
- Removal.lean 30 declarations
- RemovalReplay.lean 11 declarations
- ReverseRow.lean 11 declarations
- Row.lean 30 declarations
- RowInput.lean 51 declarations
- Score.lean 29 declarations
- SetFunction.lean 48 declarations
- ShortPrice.lean 9 declarations
- SingleRadiusRatio.lean 6 declarations
- SmallSubsets.lean 12 declarations
- SortMath.lean 19 declarations
- SqNorm.lean 14 declarations
- Stack.lean 17 declarations
- Stack2.lean 17 declarations
- StackLength.lean 13 declarations
- State.lean 14 declarations
- State2.lean 27 declarations
- Step.lean 19 declarations
- Step2.lean 36 declarations
- StepPack.lean 19 declarations
- StepThen.lean 32 declarations
- Store.lean 33 declarations
- Store2.lean 25 declarations
- StoredForms.lean 20 declarations
- SubsetSubtypeRepresentative.lean 6 declarations
- Success.lean 8 declarations
- SwapOriginal.lean 5 declarations
- Table.lean 26 declarations
- TableValue.lean 18 declarations
- Threshold.lean 14 declarations
- ThresholdTimesPower.lean 17 declarations
- ToleranceReciprocalBound.lean 3 declarations
- TotalAssignmentExcess.lean 3 declarations
- Value.lean 33 declarations
- Values.lean 52 declarations
- VectorHeight.lean 11 declarations
- Virtual.lean 22 declarations
- VirtualCast.lean 20 declarations
- ZeroClasses.lean 11 declarations
- ZeroObjective.lean 6 declarations