From a067c3ad82441726543b739e4b57b9a3018f9416 Mon Sep 17 00:00:00 2001 From: Andreas Grois Date: Sat, 24 Aug 2024 23:30:10 +0200 Subject: heapPushRetainsHeapValues --- TODO | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'TODO') diff --git a/TODO b/TODO index 0d18880..45b469d 100644 --- a/TODO +++ b/TODO @@ -2,7 +2,7 @@ This is a rough outline of upcoming tasks: [x] Prove that an index exists such that after CompleteTree.heapPush the pushed element can be obtained by CompleteTree.get -[ ] Prove that CompleteTree.heapPush leaves all elements that were already in the heap in the heap. +[x] Prove that CompleteTree.heapPush leaves all elements that were already in the heap in the heap. [x] Prove that CompleteTree.heapRemoveLastWithIndex and CompleteTree.heapRemoveLast yield the same tree [x] Prove that CompleteTree.heapRemoveLastWithIndex and CompleteTree.heapRemoveLast yield the same element [x] Prove that CompleteTree.heapRemoveLastWithIndex only removes one element and leaves the rest unchanged -- cgit v1.2.3