ウィキペディア |
ウォルター・サヴィッチ
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2009/01/19 20:58 UTC 版)
ウォルター・サヴィッチ(英: Walter Savitch)は、計算複雑性理論におけるNL(非決定性対数領域)クラスを生み出したこと、NSPACEとDSPACEの関係を定義したサヴィッチの定理で知られている。その複雑性クラスに関する業績は、非決定性推論や確率的推論の基礎を形成する助けとなった。
- 1 ウォルター・サヴィッチとは
- 2 ウォルター・サヴィッチの概要