Definitionresearch
Hive graph
A restricted catalog graph of Chazelle and Guibas in which each catalog is linked to its neighbours by bridges, used for fractional cascading in planar and range searching.
A restricted catalog graph of Chazelle and Guibas in which each catalog is linked to its neighbours by bridges, used for fractional cascading in planar and range searching.
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 W3DZD3 Edit this page History Report an error