Conceptadvanced
Distance labeling
Also called distance labels.
Assigning each vertex a short label so that the distance between two vertices is computed from their two labels alone.
Assigning each vertex a short label so that the distance between two vertices is computed from their two labels alone.
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 T7281R Edit this page History Report an error