Time and space are fundamental parameters for measuring the efficiency of algorithms, and the notion of trading off one for the other is a familiar one in the programmer's informal repertoire. Nonetheless, providing satisfactory mathematical definitions of computational time and space and establishing formal relationships between them remains a central… (More)