OAI/Combinatorics/CycleDecomposition/
1362 declarations, 0 contain sorry, 0 declared as axioms; 34 files
Files
- BatchEndpoints.lean 13 declarations
- BatchIndexing.lean 18 declarations
- BatchLovasz.lean 131 declarations
- BatchPathDeletion.lean 46 declarations
- BatchPreparation.lean 59 declarations
- BatchResolution.lean 11 declarations
- BatchRouting.lean 64 declarations
- CollisionEstimates.lean 38 declarations
- CostRegrouping.lean 44 declarations
- CoupledResolution.lean 50 declarations
- CycleLifting.lean 48 declarations
- Decomposition.lean 21 declarations
- DepthFirstSearch.lean 11 declarations
- EdgeSplitting.lean 27 declarations
- EndpointPartition.lean 13 declarations
- ExpansionBoxes.lean 37 declarations
- LayerCosts.lean 13 declarations
- Lovasz.lean 131 declarations
- Main.lean 10 declarations
- Pairing.lean 94 declarations
- PathDeletion.lean 46 declarations
- PrefixSelection.lean 2 declarations
- Representatives.lean 6 declarations
- ReservoirCycles.lean 29 declarations
- ReservoirRemainder.lean 43 declarations
- ReservoirSampling.lean 19 declarations
- Routing.lean 62 declarations
- Sampling.lean 33 declarations
- SamplingCuts.lean 31 declarations
- ScaleDecomposition.lean 62 declarations
- ScaleExtraction.lean 26 declarations
- ScaleHierarchy.lean 58 declarations
- Templates.lean 47 declarations
- UniformLayers.lean 19 declarations