サヴィッチの定理（英:Savitch'stheorem）とは、1970年にウォルター・サヴィッチが証明した計算量理論における定理である。
萨维奇定理（英语：Savitch'stheorem）是计算复杂性理论中的一个定理，由沃尔特·萨维奇（WalterSavitch）于1970年证明。