Algorithmintro
Heap increase-key
Also called HEAP-INCREASE-KEY.
A max-heap operation that raises the key of an element and moves it up toward the root until the heap property holds.
A max-heap operation that raises the key of an element and moves it up toward the root until the heap property holds.
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 ZN9K6H Edit this page History Report an error