The story
Proved by Walter Savitch in 1970.
Etymology from Wiktionary, CC BY-SA 4.0.
Savitch's theorem
Today it means: A theorem giving a relationship between deterministic and non-deterministic space complexity. Full definition →
Today it means: A theorem giving a relationship between deterministic and non-deterministic space complexity. Full definition →
Proved by Walter Savitch in 1970.
Etymology from Wiktionary, CC BY-SA 4.0.