Walter Savitch

• abstract: Walter John Savitch (born February 21, 1943) is best known for discovering the complexity class NL (nondeterministic logarithmic space), and for Savitch's theorem, which defines a relationship between the NSPACE and DSPACE complexity classes. His work in establishing complexity classes has helped to create the background against which non-deterministic and probabilistic reasoning can be performed.

以上来源于: WordNet