DEV Community

Discussion on: RUM Conjecture - Reasoning About Data Access

 
frosnerd profile image
Frank Rosner

Please note that in a log, i.e. the update optimal solution, we also have a linear structure but non-linear memory overhead. This is because our logical structure is a set and not a list and all the "outdated" entries in the log must be considered as they consume space although they are not really part of the logical set anymore. Do you know what I mean?

Thread Thread
 
dangolant profile image
Daniel Golant

Man, totally, I completely like... read the MO definition, grokked it, then promptly forgot to think about it! Thank you, Frank!