Problemadvanced
L0 sampling problem
Also called uniform sampling of the support, support sampling.
Return a nearly uniform random nonzero coordinate of the frequency vector under turnstile updates.
Return a nearly uniform random nonzero coordinate of the frequency vector under turnstile updates.
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 JGTKTE Edit this page History Report an error