“A paper by Ryan Williams demonstrates that a computation taking 'T' units of time can be simulated using only approximately the square root of T in memory space.”