Savitch's theorem
English
Etymology
Proved by Walter Savitch in 1970.
Proper noun
- (computing theory) A theorem giving a relationship between deterministic and non-deterministic space complexity.
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.