OAI/Combinatorics/KMedian/Hardness/
377 declarations, 0 contain sorry, 0 declared as axioms; 20 files
Files
- Analysis.lean 17 declarations
- Classes.lean 8 declarations
- Composition.lean 77 declarations
- Constants.lean 2 declarations
- Coverage.lean 37 declarations
- Encoding.lean 38 declarations
- Lists.lean 14 declarations
- Model.lean 10 declarations
- Partition.lean 11 declarations
- PartitionAverage.lean 3 declarations
- Projection.lean 18 declarations
- ProjectionEncoding.lean 31 declarations
- ProjectionInput.lean 14 declarations
- ProjectionReduction.lean 4 declarations
- Reduction.lean 4 declarations
- Sampling.lean 10 declarations
- SamplingCounts.lean 3 declarations
- Threads.lean 53 declarations
- TwoChoices.lean 4 declarations
- Verdict.lean 19 declarations