Techniqueintro
Rolling-array space reduction
Also called space-optimised dynamic programming.
Keep only the last few rows of a DP table when each row depends only on the previous ones.
Keep only the last few rows of a DP table when each row depends only on the previous ones.
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 BF0TJV Edit this page History Report an error