1.Previous
3.Next

states that, for all space-constructible functions there exists a problem that can be solved by a machine with memory space, but cannot be solved by a machine with asymptotically less than space.

The following containments between complexity classes hold.

Furthermore, Savitch's theorem gives the reverse containment that if

As a direct corollary, This result is surprising because it suggests that non-determinism can reduce

1.Previous
3.Next