From e58783388fb83a0b53075855955a99f947ee0f7d Mon Sep 17 00:00:00 2001 From: Andreas Grois Date: Thu, 22 Aug 2024 23:26:17 +0200 Subject: heapPushContainsValue --- TODO | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'TODO') diff --git a/TODO b/TODO index 99bb92e..0d18880 100644 --- a/TODO +++ b/TODO @@ -1,6 +1,6 @@ This is a rough outline of upcoming tasks: -[ ] Prove that an index exists such that after CompleteTree.heapPush the pushed element can be obtained by +[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.heapRemoveLastWithIndex and CompleteTree.heapRemoveLast yield the same tree -- cgit v1.2.3