re: RUM Conjecture - Reasoning About Data Access VIEW POST

VIEW PARENT COMMENT VIEW FULL DISCUSSION

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?

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

code of conduct - report abuse