ウォルター・サヴィッチ

読み方、または別称：

英: Walter Savitch

ウォルター・サヴィッチとは

ウォルター・サヴィッチ（英: Walter Savitch）は、計算複雑性理論におけるNL（非決定性対数領域）クラスを生み出したこと、NSPACEとDSPACEの関係を定義したサヴィッチの定理で知られている。その複雑性クラスに関する業績は、非決定性推論や確率的推論の基礎を形成する助けとなった。

• 出典: フリー百科事典『ウィキペディア（Wikipedia）』
• [ ウォルター・サヴィッチの改定履歴 ]