Merge pull request #457 from gmevel/linear-heap-building

Improvements to CCHeap
c-cube · Oct 2, 2024 · afb93cf · afb93cf
2 parents 3efaa02 + 3c530f4
commit afb93cf
Show file tree

Hide file tree

Showing 5 changed files with 704 additions and 289 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,14 @@
 # Changelog
 
+## main
+
+- `CCHeap`: building a heap from an almost-sorted sequence
+- perf: `CCHeap`: building a heap from n elements is now in time O(n)
+  instead of O(n log n)
+- perf: `CCHeap`: `filter` and `delete_all` are now in time O(n)
+  instead of O(n log n), and they ensure physical equality
+  (for `delete_all` this is a bugfix)
+
 ## 3.14
 
 

diff --git a/README.md b/README.md
@@ -539,7 +539,7 @@ val h' : IntHeap.t = <abstr>
 val x : int = 2
 
 # IntHeap.to_list h' (* see, 2 is removed *);;
-- : int list = [4; 6; 8; 10]
+- : int list = [4; 8; 10; 6]
 ```
 
 ### IO helpers