空間複雜度是衡量算法在運行過程中額外佔用存儲空間大小的指標，通常表示爲S(n)=O(f(n))。
其中，n是問題的規模，f(n)是隨着問題規模增長的存儲空間函數。空間複雜度的分析主要關注於算法運行過程中額外佔用的存儲空間，而不是輸入數據本身所佔用的空間。這個額外的存儲空間可能包括局部變量、參數、遞歸調用時的棧空間等。例如，直接插入排序的算法具有O(n^2)的時間複雜度，但其空間複雜度爲O(1)，即其額外存儲需求爲常數。
另一方面，一些遞歸算法可能會有線性的空間複雜度，因爲它們需要存儲每次遞歸調用的信息。空間複雜度的分析有助於評估算法在實際應用中的效率，特別是在處理大數據時。