薩維奇定理

薩維奇定理  是計算複雜性理論中的一個定理 ， 由沃爾特 · 薩維奇 （ Walter Savitch ） 於1970年證明 。 定理的結論爲對於任何函數滿足 ， 下列關係成立 ： 亦即 ， 如果一臺非確定型圖靈機能夠利用空間解決某個問題 ， 那麼一臺確定型圖靈機能夠在至多空間解決相同的問題 。 儘管非確定性的引入能夠在時間上帶來指數的提升 ， 但是 ， 這種引入對於空間而言作用有限 。