issues
search
mmore500
/
hstrat-algorithm-analysis
Formal analysis of the hereditary stratigraphy algorithm
0
stars
0
forks
source link
Prove stratum retention algorithm space complexity
#3
Open
mmore500
opened
1 year ago
mmore500
commented
1 year ago
[x] fixed-resolution algorithm
O(n)
[x] depth-proportional resolution algorithm
O(1)
[ ] recency-proportional resolution algorithm
O(log(n))
[x] geometric sequence nth root algorithm
O(1)
[ ] curbed recency-proportional resolution algorithm
O(1)
this is probably trivial once recency-proportional resolution algorithm and geometric sequence nth root algorithm are proved
O(n)O(1)O(log(n))O(1)O(1)