OAI/Combinatorics/CliqueFree/
402 declarations, 0 contain sorry, 0 declared as axioms; 31 files
Files
- CrossBound.lean 5 declarations
- Deletion.lean 6 declarations
- DisjointCross.lean 4 declarations
- EdgeState.lean 20 declarations
- FiniteCoupling.lean 22 declarations
- FiniteEntropy.lean 28 declarations
- FiniteKernel.lean 46 declarations
- IndependentSet.lean 6 declarations
- LocalWalk.lean 18 declarations
- Lottery.lean 19 declarations
- Main.lean 2 declarations
- MaxDegree.lean 7 declarations
- Model.lean 1 declarations
- MultiplierLaw.lean 12 declarations
- Numerical.lean 18 declarations
- Optimizer.lean 26 declarations
- OptimizerBounds.lean 5 declarations
- Packing.lean 1 declarations
- Peeling.lean 8 declarations
- Projection.lean 12 declarations
- Reach.lean 18 declarations
- SparseMultipliers.lean 5 declarations
- Splitting.lean 5 declarations
- SplittingLoss.lean 5 declarations
- TriangleBound.lean 7 declarations
- TriangleState.lean 32 declarations
- VariationalCross.lean 8 declarations
- VertexSplitting.lean 3 declarations
- WalkCoupling.lean 2 declarations
- WalkEntropy.lean 17 declarations
- WeightedGraph.lean 34 declarations