missing algs/theorems - Githubissues

mmore500 / hstrat-algorithm-analysis

Formal analysis of the hereditary stratigraphy algorithm

0 stars 0 forks source link

missing algs/theorems #14

Open rodsan0 opened 1 year ago

rodsan0 commented 1 year ago

algos:

[x] GSNR Enum Retained Ranks @rodsan0
[x] DPR gen-drop-ranks @rodsan0
[x] ~RPR Pred Keep Rank~ @rodsan0

i think we said we remove these? not sure

[ ] CRPR Enum Retained Ranks
[ ] CRPR Gen Drop Ranks
[ ] CRPR Pred Keep Rank

theorems:

[ ] RPR Self Consistency
[x] RPR Space Complexity @rodsan0
[ ] RPR Uncertainty Bound
[ ] GSNR Self Consistency
[ ] GSNR Space Complexity @rodsan0
[ ] GSNR Uncertainty Bound
[ ] CRPR Self Consistency
[ ] Perfect Tracking Average Space Complexity

mmore500 commented 1 year ago

:bowing_man: