空間複雜度是衡量算法在運行過程中臨時佔用存儲空間大小的指標。
空間複雜度通常表示爲S(n)=O(f(n))，其中n是問題的輸入規模，f(n)是隨n變化的函數，表示算法使用的存儲空間與問題規模之間的關係。空間複雜度不僅考慮算法本身存儲空間的佔用，還包括輸入輸出數據所佔用的存儲空間和算法運行過程中臨時佔用的存儲空間。
理解空間複雜度有助於評估算法的效率和內存使用情況，從而進行優化。例如，遞歸算法通常會有額外的空間需求，如棧幀空間，而非遞歸算法可能具有較低的空間複雜度。空間複雜度與時間複雜度一樣，是算法分析中一箇重要的概念。