“MIT researcher Ryan Williams proved in a paper that algorithms can always be converted to use significantly less memory (space) than previously thought.”