Techniqueadvanced
Backwards analysis
Also called Seidel's backwards analysis, backward analysis.
Bounds expected cost by asking which object would be last to be inserted and how often its removal changes the structure.
Bounds expected cost by asking which object would be last to be inserted and how often its removal changes the structure.
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 G7YMB0 Edit this page History Report an error