Accueil🇫🇷Chercher

Walter Savitch

Walter John Savitch, né le et mort le [1], est professeur et chercheur en informatique et informatique théorique. Il est surtout connu pour le théorème de Savitch (Savitch 1970), en théorie de la complexité qui précise les relations entre les classes en espace utilisant des machines de Turing déterministes et celles utilisant du non-déterminisme. En particulier ce théorème donne l'égalité PSPACE=NPSPACE.

Walter Savitch
une illustration sous licence libre serait bienvenue
Autres informations
A travaillé pour
Directeur de thèse

Savitch a obtenu son doctorat (PhD) de mathématiques à l'université de Berkeley en 1969, sous la direction de Stephen Cook[2]. Il est professeur émérite à l'UCSD[3].

Bibliographie

(en) Walter John Savitch, « Relationships between nondeterministic and deterministic tape complexities », Journal of Computer and System Sciences, vol. 4, no 2,‎ , p. 177-192

Notes et références

Liens externes

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.