Data structureintro
Parent-pointer tree
Also called parent array, parent pointers.
Rooted tree stored as an array in which each vertex records its parent.
Rooted tree stored as an array in which each vertex records its parent.
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 87C07Z Edit this page History Report an error