Home
Random
Log in
Settings
Donations
About Wiktionary
Disclaimers
Search
Savitch's theorem
Language
Watch
Edit
English
edit
English
Wikipedia
has an article on:
Savitch's theorem
Wikipedia
Etymology
edit
Proved by Walter Savitch in 1970.
Proper noun
edit
Savitch
's
theorem
(
computing
theory
)
A theorem giving a relationship between
deterministic
and non-deterministic
space complexity
.