From 824f6328a847805fdc6fd89d9c447824fa5e36e6 Mon Sep 17 00:00:00 2001 From: Andreas Grois Date: Sun, 4 Aug 2024 21:57:44 +0200 Subject: heapPopReturnsRoot --- TODO | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'TODO') diff --git a/TODO b/TODO index 3f08bcd..b5e7d4f 100644 --- a/TODO +++ b/TODO @@ -14,7 +14,7 @@ This is a rough outline of upcoming tasks: [x] Prove that CompleteTree.heapUpdateRoot indeed exchanges the value at the root. - Done by showing that the new tree contains all elements except the root, and the updated value. [ ] Prove that heapPop leaves all values in the tree, except the root. -[ ] Prove that heapPop returns the root +[x] Prove that heapPop returns the root [ ] Prove that CompleteTree.heapUpdateAt returns the element at the given index [ ] Prove that CompleteTree.heapUpdateAt indeed updates the value at the given index. - Use the same approach as heapUpdateRoot -- cgit v1.2.3