Conceptcore
Limited independence
Also called bounded independence.
Using random variables with only bounded independence to get the concentration bounds of full independence at much lower randomness cost.
Using random variables with only bounded independence to get the concentration bounds of full independence at much lower randomness cost.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag MDBYDY Edit this page History Report an error