Calendar

Posts organized

by date.

December 2021

Mon Tue Wed Thu Fri Sat Sun

1 Building A Self Balancing Binary Search Tree With Weighted Average Rotation (Wavl) For Better Worst Case Balance

2

3

4

5

6 The Algorithm For Building A Fibonacci Heap With Decrease Key And Meld In Logarithmic Time

7

8

9

10

11

12

13 Implementing A Van Emde Boas Tree For Predecessor Queries In O(Log Log U) Time

14

15

16

17

18 A Deep Dive Into The Hat Trie: Array Compressed Trie With Efficient Cache Locality

19 Domain Theory: Scott's D∞ Construction, Solving Recursive Domain Equations, and the Foundations of Denotational Semantics

20

21

22

23 The Complexity Of The Network Simplex Algorithm For Minimum Cost Flow

24

25

26

27

28

29 Abstract Interpretation: Cousot's Galois Connection Framework, Widening/Narrowing, and Sound Static Analysis by Construction

30

31