411 REFERENCE · Wiktionary
Savitch's theorem
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
Proved by Walter Savitch in 1970.
Proper noun
en comptheory A theorem giving a relationship between deterministic and non-deterministic space complexity.
en eponyms