Encyclopedia > W > Walter Savitch
Walter Savitch
Walter Savitch is best known for creating the NL (nondeterministic logarithmic) class of complexity problems, and for Savitch's theorem which defines a relationship between the NSPACE and DSPACE complexity classes. NL was the first formally defined complete language and has subsequently lead to a large body of research in computational complexity theory.
Information are taken from Wikipedia, the open encyclopedia, to which contribute many volunteers from around the whole world. Texts are available under the following conditions GNU Free Documentation License.
Encyklopedie (cz) Encyklopédia (sk) Enzyklopädie (de)