萨维奇定理(英語:Savitch'stheorem)是计算复杂性理论中的一个定理,由沃尔特·萨维奇(英语:Walter Savitch)于1970年证明。定理的结论为对于任何函数 f ( n ) {\displaystyle f(n)} 满足 f ( n ) ≥ log n {\displaystyle
hep-th/0005184. 2000 [2011-01-04]. (原始内容存档于2022-04-14). Kevin McCrimmon. Hurwitz'stheorem 2.6.2. A taste of Jordan algebras. Springer. 2004: 166. ISBN 0387954473