Star Trek: Deep Space Nine | International Space Station | Space Shuttle | European Space Agency | Kennedy Space Center | National Air and Space Museum | Space Shuttle Challenger | Hubble Space Telescope | Marshall Space Flight Center | Lost in Space | Lyndon B. Johnson Space Center | 2001: A Space Odyssey | Goddard Space Flight Center | Three-dimensional space | Space Invaders | 2001: A Space Odyssey (film) | Space: 1999 | Space Shuttle Columbia | Symphony Space | space | Euclidean space | space shuttle | Space Shuttle Challenger disaster | Space Jam | Space Shuttle Discovery | Space Shuttle Columbia disaster | Space Oddity | Spitzer Space Telescope | outer space | It Came from Outer Space |
In computational complexity theory, Savitch's theorem, proved by Walter Savitch in 1970, gives a relationship between deterministic and non-deterministic space complexity.